On the relation between default and autoepistemic logic
Open Access
- 1 July 1988
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 35 (3) , 343-382
- https://doi.org/10.1016/0004-3702(88)90021-5
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Results on translating defaults to circumscriptionArtificial Intelligence, 1987
- Semantical considerations on nonmonotonic logicArtificial Intelligence, 1985
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- A logic for default reasoningArtificial Intelligence, 1980
- Impossible possible worlds vindicatedJournal of Philosophical Logic, 1975