Terminological reasoning is inherently intractable (research note)
Artificial Intelligence
Frames in the space of situations (research note)
Artificial Intelligence
Artificial intelligence and mathematical theory of computation
Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms
Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday)
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Journal of Artificial Intelligence Research
Embracing causality in specifying the indeterminate effects of actions
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Aspects of automatic ontology extension: adapting and regeneralizing dynamic updates
AOW '06 Proceedings of the second Australasian workshop on Advances in ontologies - Volume 72
A logical framework for modeling and reasoning about semantic web services contract
Proceedings of the 17th international conference on World Wide Web
A KEYHOLE PLAN RECOGNITION MODEL FOR ALZHEIMER'S PATIENTS: FIRST RESULTS
Applied Artificial Intelligence
Integrating Action Calculi and Description Logics
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Reasoning about actions with sensing under qualitative and probabilistic uncertainty
ACM Transactions on Computational Logic (TOCL)
An Ontology-Based Approach to Validation of E-Services under Static and Dynamic Constraints
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Validation and Discovery of Non-deterministic Semantic e-Services
Web Services and Formal Methods
The Two-Variable Situation Calculus
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
A Theorem Prover with Dependent Types for Reasoning about Actions
Proceedings of the 2008 conference on STAIRS 2008: Proceedings of the Fourth Starting AI Researchers' Symposium
Towards Efficient Belief Update for Planning-Based Web Service Composition
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
Journal on Data Semantics XII
On the update of description logic ontologies at the instance level
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Deciding semantic matching of stateless services
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Abstraction in Knowledge-Rich Models for Case-Based Planning
ICCBR '09 Proceedings of the 8th International Conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
Decidable reasoning in a modified situation calculus
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Reasoning about Web Services with Local Closed World Assumption
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Journal of Artificial Intelligence Research
A hybrid plan recognition model for Alzheimer's patients: Interleaved-erroneous dilemma
Web Intelligence and Agent Systems
Beyond soundness: on the verification of semantic business process models
Distributed and Parallel Databases
A dynamic description logic for representation and reasoning about actions
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Complexity of planning in action formalisms based on description logics
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Putting abox updates into action
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
A declarative agent programming language based on action theories
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Verifying Properties of Infinite Sequences of Description Logic Actions
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A description logic based situation calculus
Annals of Mathematics and Artificial Intelligence
Pellet-HeaRT - proposal of an architecture for ontology systems with rules
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Implementing automated robot task planning and execution based on description logic KB
SIMPAR'10 Proceedings of the Second international conference on Simulation, modeling, and programming for autonomous robots
Specialization and validation of statecharts in OWL
EKAW'10 Proceedings of the 17th international conference on Knowledge engineering and management by the masses
Integration proposal for description logic and attributive logic: towards semantic web rules
Transactions on computational collective intelligence II
Research on semantic web reasoning based on event ontology
ICWL'10 Proceedings of the 2010 international conference on New horizons in web-based learning
Foundations of instance level updates in expressive description logics
Artificial Intelligence
Conjunctive query answering in the description logic SH using knots
Journal of Computer and System Sciences
Reasoning about actions using description logics with general TBoxes
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
An extended description logic for event ontology
GPC'10 Proceedings of the 5th international conference on Advances in Grid and Pervasive Computing
Adaptive ALE-Tbox for extending terminological knowledge
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
On compliance checking for clausal constraints in annotated process models
Information Systems Frontiers
A Family of Dynamic Description Logics for Representing and Reasoning About Actions
Journal of Automated Reasoning
A unifying perspective on knowledge updates
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Hi-index | 0.00 |
We propose an action formalism that is based on description logics (DLs) and may be viewed as an instance of the Situation Calculus (SitCalc). In particular, description logic concepts can be used for describing the state of the world, and the pre- and post-conditions of actions. The main advantage of such a combination is that. on the one hand, the expressive power for describing world states and conditions is higher than in other decidable fragments of the Sitcalc, which are usually propositional. On the other hand, in contrast to the full Sitcalc, effective reasoning is still possible. In this paper, we perform a detailed investigation of how the choice of the DL influences the complexity of the standard reasoning tasks executability and projection in the corresponding action formalism. We also discuss semantic and computational problems in natural extensions of our framework.