The relationship between stable, supported, default and autoepistemic semantics for general logic programs
- 1 September 1992
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 103 (2), 365-386
- https://doi.org/10.1016/0304-3975(92)90019-c
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Autoepistemic logicJournal of the ACM, 1991
- On the relation between default and autoepistemic logicArtificial Intelligence, 1988
- Results on translating defaults to circumscriptionArtificial Intelligence, 1987
- On the relationship between autoepistemic logic and parallel circumscriptionPublished by Association for Computing Machinery (ACM) ,1986
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- Closed-world databases and circumscriptionArtificial Intelligence, 1985
- 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
- A logic for default reasoningArtificial Intelligence, 1980