Skeptical query-answering in constrained default logic

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

Volumn 1085, Issue , 1996, Pages 567-581

  Schaub, Torsten ^a   Thielscher, Michael ^b  

^a UNIVERSITÉ D'ANGERS   (France)

^b INTERNATIONAL COMPUTER SCIENCE INSTITUTE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTATION THEORY;

CLASSICAL LOGIC; CONNECTION METHOD; DEFAULT LOGIC; GENERAL METHOD; QUERY ANSWERING; REASONER;

COMPUTER CIRCUITS;

EID: 84947911006     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61313-7_101     Document Type: Conference Paper

References (22)

1. W. Bibel. Automated Theorem Proving. Vieweg, Braunschweig, second edition, 1987.
2. G. Brewka. Cumulative default logic: In defense of nonmonotonic inference rules. Artificial Intelligence, 50(2): 183-205, 1991.
3. J. Delgrande, T. Schaub, and W. Jackson. Alternative approaches to default logic. Artificial Intelligence, 70(1-2): 167-237, 1994.
4. D. Etherington. Reasoning with Incomplete Information. Research Notes in Artificial Intelligence. Pitman, London, 1988.
5. M. Ginsberg. A circumscriprive theorem prover. In M. Reinfrank et al., editors, Proceedings of the Second International Workshop on Non-Monotonic Reasoning, pages 100-114. Sponger, 1989.
6. G. Gottlob. Complexity results for nonmonotonic logics. Journal of 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 Proceedings of the National Conference on Artificial Intelligence, 1990.
8. W. Marek and M. Truszczyński. Computing intersection of autoepistemic expansions. In W. Marek et al., editors, Proceedings of the First International Workshop on Logic Programming and Nonmonotonic Reasoning, pages 37-50. MIT Press, 1991.
9. A. Mikitiuk and M. Truszczyński. Rational versus constrained default logic. In C. Mellish, editor, Proceedings of the International Joint Conference on Artificial Intelligence, pages 1509-1515. Morgan Kaufmann, 1995.
10. R. Moore. Semantical considerations on nonmonotonic logics. Artificial Intelligence, 25:75-94, 1985.
11. I. Niemelá. A decision method for nonmonotonic reasoning based on autoepistemic reasoning. In J. Doyle et al., editors, Proceedings of the 4th International Conference on the Principles of Knowledge Representation and Reasoning, pages 473-484. Morgan Kaufmann, 1994.
12. D. Poole. A logical framework for default reasoning. Artificial Intelligence, 36:21-41, 1988.
13. D. Poole. Compiling a default reasoning system into prolog. New Generation Computing, 9(1):3-38, 1991.
14. R. Reiter. A logic for default reasoning. Artificial Intelligence, 13(1-2):81-132, 1980.
15. A. Rothschild. Algorithmische Untersuchungen zu Defaultlogiken. Diplomarbeit, FG Intellektik, FB Informatik, TH Darmstadt, Germany, 1993.
16. T. Schaub. On commitment and cumulativity in default logics. In R. Kruse and P. Siegel, editors, Proceedings of European Conference on Symbolic and Quantitative Approaches to Uncertainty, pages 304-309. Springer, 1991.
17. T. Schaub. Variations of constrained default logic. In M. Clarke, R. Kruse, and S. Moral, editors, Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, pages 312-317. Springer, 1993.
18. T. Schaub. A new methodology for query-answering in default logics via structure-oriented theorem proving. Journal of Automated Reasoning, 15(1):95-165, 1995.
19. C. Schwind. A tableaux-based theorem prover for a decidable subset of default logic. In M. Stickel, editor, Proceedings of the Conference on Automated Deduction. Springer, 1990.
20. M. Thielscher. On prediction in Theorist. Artificial Intelligence, 60(2):283-292, 1993.
21. M. Thielscher and T. Schaub. Default reasoning by deductive planning. Journal of Automated Reasoning, 15(1): 1-40, 1995.
22. A. Zhang and W. Marek. On the classification and existence of structures in default logic. Fundamenta Informaticae, 8(4):485-499, 1990.