Autoepistemic circumscription and logic programming
- 1 January 1993
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 10 (2) , 143-160
- https://doi.org/10.1007/bf00881833
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Semantics of disjunctive logic programs and deductive databasesPublished by Springer Nature ,1991
- Discriminant circumscriptionPublished by Springer Nature ,1990
- On the relation between default and autoepistemic logicArtificial Intelligence, 1988
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- Semantical considerations on nonmonotonic logicArtificial Intelligence, 1985
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- On Closed World Data BasesPublished by Springer Nature ,1978