Modal logic for default reasoning
- 1 September 1990
- journal article
- research article
- Published by Springer Nature in Annals of Mathematics and Artificial Intelligence
- Vol. 1 (1-4) , 275-302
- https://doi.org/10.1007/bf01531081
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Decision procedure for autoepistemic logicPublished by Springer Nature ,2005
- On the relation between default and autoepistemic logicArtificial Intelligence, 1988
- Towards a Theory of Declarative KnowledgePublished by Elsevier ,1988
- Formalizing nonmonotonic reasoning systemsArtificial Intelligence, 1987
- Semantical considerations on nonmonotonic logicArtificial Intelligence, 1985
- Nonmonotonic Logic IIJournal of the ACM, 1982
- Non-monotonic logic IArtificial Intelligence, 1980
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- A logic for default reasoningArtificial Intelligence, 1980
- On Closed World Data BasesPublished by Springer Nature ,1978