A description logic based situation calculus
From MaRDI portal
Publication:604908
Recommendations
Cites work
- A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments
- A practical decision method for propositional dynamic logic (preliminary report)
- A survey of temporal extensions of description logics
- A theory and implementation of cognitive mobile robots
- Analysis and simulation of Web services.
- Attributive concept descriptions with complements
- Belief change: from situation calculus to modal logic
- Challenges for action theories
- Complexity of Planning in Action Formalisms Based on Description Logics
- Complexity of the two-variable fragment with counting quantifiers
- Complexity Results for First-Order Two-Variable Logic with Counting
- Encoding two-valued nonclassical logics in classical logic
- GOLOG: A logic programming language for dynamic domains
- How to progress a database
- scientific article; zbMATH DE number 4041866 (Why is no real title available?)
- scientific article; zbMATH DE number 44621 (Why is no real title available?)
- scientific article; zbMATH DE number 67503 (Why is no real title available?)
- scientific article; zbMATH DE number 1735887 (Why is no real title available?)
- scientific article; zbMATH DE number 1989660 (Why is no real title available?)
- scientific article; zbMATH DE number 1765671 (Why is no real title available?)
- scientific article; zbMATH DE number 1820675 (Why is no real title available?)
- scientific article; zbMATH DE number 1841824 (Why is no real title available?)
- scientific article; zbMATH DE number 757645 (Why is no real title available?)
- scientific article; zbMATH DE number 774417 (Why is no real title available?)
- scientific article; zbMATH DE number 1424042 (Why is no real title available?)
- scientific article; zbMATH DE number 1448975 (Why is no real title available?)
- scientific article; zbMATH DE number 3359806 (Why is no real title available?)
- scientific article; zbMATH DE number 965572 (Why is no real title available?)
- Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
- Logic Programming and Nonmonotonic Reasoning
- Metatheory of actions: beyond consistency
- On the Decision Problem for Two-Variable First-Order Logic
- Products of modal logics, part 1
- Products of modal logics. III. Products of modal and temporal logics
- Products of modal logics. Part 2: relativised quantifiers in classical logic
- Propositional dynamic logic of regular programs
- PSpace reasoning for graded modal logics
- Reasoning about action and change. A dynamic logic approach
- Reasoning About Actions Using Description Logics with General TBoxes
- Reasoning about noisy sensors and effectors in the situation calculus
- Regression in modal logic
- Resolution-based methods for modal logics
- Some contributions to the metatheory of the situation calculus
- State Constraints Revisited
- The Description Logic Handbook
- The price of universality
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- Updating action domain descriptions
Cited in
(9)- Situation calculus meets description logics
- Family of extended dynamic description logics
- Progression and verification of situation calculus agents with bounded beliefs
- Foundations of instance level updates in expressive description logics
- Progression of decomposed local-effect action theories
- A semantic characterization of a useful fragment of the situation calculus with knowledge
- The typed situation calculus
- Towards an expressive practical logical action theory
- A propositional encoding for first-order clausal entailment over infinitely many constants
This page was built for publication: A description logic based situation calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q604908)
