Autoepistemic logic and formalization of commonsense reasoning preliminary report
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 176-186
- https://doi.org/10.1007/3-540-50701-9_27
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- On indefinite databases and the closed world assumptionPublished by Springer Nature ,2005
- Compiling circumscriptive theories into logic programsPublished by Springer Nature ,1989
- Autoepistemic stable closures and contradiction resolutionLecture Notes in Computer Science, 1989
- On the Relation Between Default and Autoepistemic LogicPublished by Defense Technical Information Center (DTIC) ,1987
- FORMAL THEORIES OF ACTIONPublished by Elsevier ,1987
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- Semantical considerations on nonmonotonic logicArtificial Intelligence, 1985
- Foundations of Logic ProgrammingPublished by Springer Nature ,1984
- A logic for default reasoningArtificial Intelligence, 1980