Nested abnormality theories
- 30 April 1995
- journal article
- research article
- Published by Elsevier in Artificial Intelligence
- Vol. 74 (2) , 351-365
- https://doi.org/10.1016/0004-3702(95)98594-e
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Two counterexamples related to Baker's approach to the frame problemArtificial Intelligence, 1994
- On the Relationship Between Abduction and DeductionJournal of Logic and Computation, 1991
- Nonmonotonic reasoning in the framework of situation calculusArtificial Intelligence, 1991
- A Fixpoint Semantics for Ordered LogicJournal of Logic and Computation, 1990
- A logical framework for default reasoningArtificial Intelligence, 1988
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- On the adequacy of predicate circumscription for closed‐world reasoningComputational Intelligence, 1985
- Addendum: Circumscription and other non-monotonic formalismsArtificial Intelligence, 1980
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- Equality and Domain Closure in First-Order DatabasesJournal of the ACM, 1980