Benchmark problems for formal nonmonotonic reasoning
- 1 January 1988
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 202-219
- https://doi.org/10.1007/3-540-50701-9_29
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Towards a Theory of Declarative KnowledgePublished by Elsevier ,1988
- Nonmonotonic logic and temporal projectionArtificial Intelligence, 1987
- Results on translating defaults to circumscriptionArtificial Intelligence, 1987
- FORMAL THEORIES OF ACTIONPublished by Elsevier ,1987
- An assumption-based TMSArtificial Intelligence, 1986
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- On the consistency of commonsense reasoningComputational Intelligence, 1986
- Semantical considerations on nonmonotonic logicArtificial Intelligence, 1985
- On the adequacy of predicate circumscription for closed‐world reasoningComputational Intelligence, 1985
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980