Autoepistemic stable closures and contradiction resolution
- 1 January 1989
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Autoepistemic logic and formalization of commonsense reasoning preliminary reportPublished by Springer Nature ,1989
- On the relation between default and autoepistemic logicArtificial Intelligence, 1988
- On the Relation Between Default and Autoepistemic LogicPublished by Defense Technical Information Center (DTIC) ,1987
- Semantical considerations on nonmonotonic logicArtificial Intelligence, 1985
- Non-monotonic logic IArtificial Intelligence, 1980
- A logic for default reasoningArtificial Intelligence, 1980