A logic of knowledge and justified assumptions
Open Access
- 1 October 1992
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 57 (2-3) , 271-289
- https://doi.org/10.1016/0004-3702(92)90019-t
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Modal logic for default reasoningAnnals of Mathematics and Artificial Intelligence, 1990
- All I know: A study in autoepistemic logicArtificial Intelligence, 1990
- On the declarative and procedural semantics of logic programsJournal of Automated Reasoning, 1989
- On the relation between default and autoepistemic logicArtificial Intelligence, 1988
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- Non-monotonic logic IArtificial Intelligence, 1980
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- A logic for default reasoningArtificial Intelligence, 1980