Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning

Proceedings of the 7th National Conference on Artificial Intelligence, AAAI 1988

Volumn , Issue , 1988, Pages 439-443

  Konolige, Kurt ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADDITIONAL STRUCTURES; BELIEF REVISION; FORMALISATION; NON-MONOTONIC INFERENCE; NON-MONOTONIC REASONING; NONMONOTONIC LOGIC; REASONING ABOUT ACTIONS; SPEECH ACTS;

FORMAL LOGIC;

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

References (13)

1. Douglas E. Appelt and Kurt Konolige. A nonmonotonic logic for reasoning about speech acts and belief revision. submitted to the Workshop on Non-Monotonic Reasoning, 1988.
2. D. W. Etherington and R. Reiter. On inheritance hierarchies with exceptions. In Proceedings of the American Association of Artificial Intelligence, 1983.
3. Christophe Geissler and Kurt Konolige. A resolution method for quantified modal logics of knowledge and belief. In Joseph Y. Halpern, editor, Conference on Theoretical Aspects of Reasoning about Knowledge, pages 309-324, 1986.
4. S. Hanks and D. McDermott. Nonmonotonic logic and temporal projection. Artificial Intelligence, 33(3), November 1987.
5. Kurt Konolige. On the Relation between Default Logic and Autoepistemic Theories. Technical Note 407, SRI Artificial Intelligence Center, Menlo Park, California, 1987.
6. Hector J. Levesque. A Formal Treatment of Incomplete Knowledge Bases. Technical Report 614, Fairchild Artificial Intelligence Laboratory, Palo Alto, California, 1982.
7. Vladimir Lifschitz. Someresults on cir-cumscription. In AAAI Workshop on Non-Monotonic Reasoning, 1984.
8. John McCarthy. Circumscription - a form of non monotonicreasoning. Artificial Intelligence, 13 (1-2), 1980.
9. Robert C. Moore. Semantical considerations on nonmonotonic logic. Artificial Intelligence, 25(1), 1985.
10. D. Poole. On the comparison of theories: preferring the most specific explanation. In Proceedings of the International loint Conference on Artificial Intelligence, pages 144-147, Los Angeles, 1985.
11. Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 13(1-2), 1980.
12. Yoav Shoham. Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence. MIT Press, Cambridge, Massachusetss, 1987.
13. R. C. Stalnaker. A note on nonmonotonic modal logic. 1980. Department of Philosophy, Cornell University.