Nested abnormality theories

The logic of common sense

ACM Computing Surveys (CSUR)

Temporal representation and reasoning in artificial intelligence: Issues and approaches

Annals of Mathematics and Artificial Intelligence

Computing Circumscription Revisited: A Reduction Algorithm

Journal of Automated Reasoning

Declarative Formalization of Strategies for Action Selection: Applications to Planning

JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence

Declarative Formalization of Reasoning Strategies: A Case Study on Heuristic Nonlinear Planning

Annals of Mathematics and Artificial Intelligence

Towards a general theory of topological maps

Artificial Intelligence

Complexity of propositional nested circumscription and nested abnormality theories

ACM Transactions on Computational Logic (TOCL)

Reasoning under minimal upper bounds in propositional logic

Theoretical Computer Science

Change, change, change: three approaches

IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2

The complexity of circumscription in description logic

Journal of Artificial Intelligence Research

A logical account of causal and topological maps

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1

A circumscriptive formalization of the qualification problem

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1

Complexity of nested circumscription and abnormality theories

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1

A simple formalization of actions using circumscription

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2

Factoring the Mapping Problem: Mobile Robot Map-building in the Hybrid Spatial Semantic Hierarchy

International Journal of Robotics Research

Formalizing narratives using nested circumscription

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1

Proof Systems for Planning Under Cautious Semantics

Minds and Machines