An approach to query-answering in reiter’s default logic and the underlying existence of extensions problem

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1489, Issue , 1998, Pages 233-247

  Linke, Thomas ^a   Schaub, Torsten ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER CIRCUITS; INSPECTION;

DEFAULT LOGIC; DEFAULT REASONING; DEFAULT RULE; DEFAULT THEORY; QUERY ANSWERING;

FORMAL LOGIC;

EID: 77951829609     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49545-2_16     Document Type: Conference Paper

References (14)

1. G. Brewka. Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press, Cambridge, 1991.
2. P. Cholewiiiski. Reasoningwith stratified default theories. In Proc. Third International Conf. on Logic Programming and Nonmonotonic Reasoning, 1995.
3. P. Cholewinski, V. Marek, and M. Truszczynski. Default reasoning system DeReS. In Proc. Fifth International Conf. on the Principles of Knowledge Representation and Reasoning. Morgan Kaufmann, 1996.
4. D. Etherińgton. Reasoning with Incomplete Information. Research Notes in AI, Pitman.
5. D. Etherington. Formalizing nonmonotonic reasoning. Artificial Intelligence, 31:41-85, 1987.
6. G. Gottlob. Complexity results for nonmonotonic logics. J. Logic and Computation, 2(3):397-425,June 1992.
7. U. Junker and K. Konolige. Computing the extensions of autoepistemic and default logic with a TMS. In Proc. AAAINational Conf. on Artificial Intelligence, 1990.
8. W. Marek and M. Truszczyníski. Nonmonotonic logic: context-dependent reasoning. Artifical Intelligence. Springer, 1993.
9. I. Niemelä. Towards efficient default reasoning. In Proc. International Joint Conf. on Artificial Intelligence, 312-318. Morgan Kaufmann, 1995.
10. C. Papadimitriou and M. Sideri. Default theories that always have extensions. Artificial Intelligence, 69:347-357, 1994.
11. R. Reiter. A logic for default reasoning. Artificial Intelligence, 13(1-2):81-132, 1980.
12. T. Schaub. A new methodology for query-answering in default logics via structure-oriented theorem proving. J. Automated Reasoning, 15(1):95-165, 1995.
13. G. Schwarz and M. Truszczyníski. Subnormal modal logics for knowledge representation. In Proc. AAAI National Conf. on Artificial Intelligence, 438-443. Morgan Kaufmann, 1993.
14. C. Schwind and V. Risch. Tableau-based characterization and theorem proving for default logic. J. Automated Reasoning, 13:223-242,1994.