Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Updating logical databases
Attributive concept descriptions with complements
Artificial Intelligence
Reasoning with individuals in concept languages
Data & Knowledge Engineering
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
Artificial Intelligence
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
Reasoning about noisy sensors and effectors in the situation calculus
Artificial Intelligence
Complexity Results for First-Order Two-Variable Logic with Counting
SIAM Journal on Computing
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Dynamic Logic
A survey of temporal extensions of description logics
Annals of Mathematics and Artificial Intelligence
Open World Planning in the Situation Calculus
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Decision-Theoretic, High-Level Agent Programming in the Situation Calculus
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
A NExpTime-Complete Description Logic Strictly Contained in C2
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
PDL-based framework for reasoning about actions
AI*IA '95 Proceedings of the 4th Congress of the Italian Association for Artificial Intelligence on Topics in Artificial Intelligence
A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
Complexity of Two-Variable Logic with Counting
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
Two-variable logic with counting is decidable
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
A practical decision method for propositional dynamic logic (Preliminary Report)
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
Analysis and simulation of Web services
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
Complexity of the Two-Variable Fragment with Counting Quantifiers
Journal of Logic, Language and Information
The Description Logic Handbook
The Description Logic Handbook
Metatheory of actions: Beyond consistency
Artificial Intelligence
Integrating Action Calculi and Description Logics
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Elaborating domain descriptions
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
On the update of description logic ontologies at the instance level
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Reconciling situation calculus and fluent calculus
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Integrating description logics and action formalisms: first results
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Journal of Artificial Intelligence Research
Decidable reasoning in a modified situation calculus
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A correspondence theory for terminological logics: preliminary report
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Updating action domain descriptions
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A causal theory of ramifications and qualifications
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
On first-order definability and computability of progression for local-effect actions and beyond
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Challenges for action theories
Challenges for action theories
A formal theory for describing action concepts in terminological knowledge bases
AI'03 Proceedings of the 16th Canadian society for computational studies of intelligence conference on Advances in artificial intelligence
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
Modular-ε: an elaboration tolerant approach to the ramification and qualification problems
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Reasoning about actions using description logics with general TBoxes
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Foundations of instance level updates in expressive description logics
Artificial Intelligence
Description logic knowledge and action bases
Journal of Artificial Intelligence Research
Verification and synthesis in description logic based dynamic systems
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Inferring and validating skills and competencies over time
Applied Ontology
Hi-index | 0.00 |
We consider a modified version of the situation calculus built using a two-variable fragment of the first-order logic extended with counting quantifiers. We mention several additional groups of axioms that can be introduced to capture taxonomic reasoning. We show that the regression operator in this framework can be defined similarly to regression in Reiter's version of the situation calculus. Using this new regression operator, we show that the projection and executability problems (the important reasoning tasks in the situation calculus) are decidable in the modified version even if an initial knowledge base is incomplete. We also discuss the complexity of solving the projection problem via regression in this modified language in general. Furthermore, we define description logic based sub-languages of our modified situation calculus. They are based on the description logics $\mathcal{ALCO}(U)$ (or $\mathcal{ALCQO}(U)$ , respectively). We show that in these sub-languages solving the projection problem via regression has better computational complexity than in the general modified situation calculus. We mention possible applications to formalization of Semantic Web services and some connections with reasoning about actions based on description logics.