Autoepistemic logic of knowledge and beliefs
- 31 August 1997
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 95 (1) , 115-154
- https://doi.org/10.1016/s0004-3702(97)00032-5
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Static semantics for normal and disjunctive logic programsAnnals of Mathematics and Artificial Intelligence, 1995
- Minimal belief and negation as failureArtificial Intelligence, 1994
- Stable semantics for disjunctive programsNew Generation Computing, 1991
- Three-valued nonmonotonic formalisms and semantics of logic programsArtificial Intelligence, 1991
- Weak Generalized Closed World AssumptionJournal of Automated Reasoning, 1989
- On the relationship between circumscription and negation as failureArtificial Intelligence, 1989
- Inferring negative information from disjunctive databasesJournal of Automated Reasoning, 1988
- Semantical considerations on nonmonotonic logicArtificial Intelligence, 1985
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980