Foundations of a functional approach to knowledge representation.
Artificial Intelligence
Model checking
The logic of knowledge bases
Modal and temporal properties of processes
Modal and temporal properties of processes
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Alternating-time temporal logic
Journal of the ACM (JACM)
Combining Terminological Logics with Tense Logic
EPIA '93 Proceedings of the 6th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Automata logics, and infinite games
Automated Planning: Theory & Practice
Automated Planning: Theory & Practice
Bringing Semantics to Web Services with OWL-S
World Wide Web
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
Conjunctive query containment and answering under description logic constraints
ACM Transactions on Computational Logic (TOCL)
Principles of Model Checking (Representation and Mind Series)
Principles of Model Checking (Representation and Mind Series)
Automatic verification of data-centric business processes
Proceedings of the 12th International Conference on Database Theory
EQL-lite: effective first-order query processing in description logics
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Reasoning on UML class diagrams
Artificial Intelligence
Towards formal analysis of artifact-centric business process models
BPM'07 Proceedings of the 5th international conference on Business process management
A description logic based situation calculus
Annals of Mathematics and Artificial Intelligence
Synthesis of reactive(1) designs
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
LTL over description logic axioms
ACM Transactions on Computational Logic (TOCL)
Ontology-based governance of data-aware processes
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Automatic behavior composition synthesis
Artificial Intelligence
Verification of relational data-centric dynamic systems with external services
Proceedings of the 32nd symposium on Principles of database systems
Hi-index | 0.00 |
In this paper, we devise a general framework for formalizing Description Logic Based Dynamic Systems that is parametric w.r.t. the description logic knowledge base and the progression mechanism of interest. Using this framework we study verification and adversarial synthesis for specifications expressed in a variant of first-order μ-calculus, with a controlled form of quantification across successive states. We provide key decidability results for both verification and synthesis, under a "bounded-state" assumption. We then study two instantiations of this general framework, where the description logic knowledge base is expressed in DL-Lite and $\mathcal{ALCQI}$, respectively