Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance System

Proceedings of the 8th National Conference on Artificial Intelligence, AAAI 1990

Volumn , Issue , 1990, Pages 278-283

  Junker, Ulrich ^a   Konolige, Kurt ^b  

^a FRAUNHOFER INSTITUTE FOR APPLIED INFORMATION TECHNOLOGY FIT   (Germany)

^b SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE REPRESENTATION; TRANSLATION (LANGUAGES);

BASE LANGUAGE; DEFAULT LOGIC; FINITE NUMBER; LABELING ALGORITHMS; MAINTENANCE SYSTEMS; PROOF PROCEDURES; TRUTH MAINTENANCE;

COMPUTABILITY AND DECIDABILITY;

EID: 18944380681     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. Brewka, G., Nonmonotonic Reasoning: From Theoretical Foundation Towards Efficient Computation. Dissertation, University of Hamburg (1989)
2. Doyle, J., A Truth Maintenance System. Artificial Intelligence 12 (1979)
3. Doyle, J., The Ins and Outs of Reason Maintenance. Proc. IJCAI 83
4. Etherington, D. W., Formalizing Nonmonotonic Reasoning Systems. Artificial Intelligence 31 (1987)
5. Goodwin, J. W., A Theory and System for Non-Monotonic Reasoning. PhD Dissertation, University of Linköping 1987
6. Junker, U., A Correct Non-Monotonic ATMS. Proc. IJCAI 89
7. Kautz, H., Selman, B., Hard Problems for Simple Default Logics. Proc. KR'89
8. Konolige, K., On the Relation between Default and Autoepistemic Logic. Artificial Intelligence 35 (1988)
9. Levesque, H. J., All I Know: an Abridged Report. Proc. AAAI87.
10. Niemelä, I., Decision Procedure for Autoepistemic Logic. Conference on Automated Deduction (1988)
11. Moore, R. C., Semantical Considerations on Nonmonotonic Logic. Artificial Intelligence 25 (1985)
12. Moore, R. C., Autoepistemic Logic, in: Smets, P., Mamdani, E. H., Dubois, D., Prade, H. (eds), Non-Standard Logics for Automated Reasoning, Academic Press (1988)
13. Reinfrank, M., Dressler, O., Brewka, G., On the Relation between Truth Maintenance and Autoepistemic Logic. Proc. IJCAI 89
14. Reiter, R., A Logic for Default Reasoning. Artificial Intelligence 13 (1980)