XRay: A prolog technology theorem prover for default reasoning: A system description

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

Volumn 1104, Issue , 1996, Pages 293-297

  Schaub, Torsten ^a   Brüning, Stefan ^b   Nicolas, Pascal ^a  

^a UNIVERSITÉ D'ANGERS   (France)

^b Deutsche Bahn AG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; PROLOG (PROGRAMMING LANGUAGE);

A-PROLOG; CONSISTENCY CHECKING; DEFAULT LOGIC; DEFAULT REASONING; MODEL BASED APPROACH; SEARCH SPACES; SYSTEM DESCRIPTION; THEOREM PROVERS;

THEOREM PROVING;

EID: 84860204887     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61511-3_93     Document Type: Conference Paper

References (14)

1. W. Bibel. Automated Theorem Proving. Vieweg, 1987.
2. S. Brüning & T. Schaub. A model-based approach to consistency-checking in default theorem proving. In Workshop onAppl. & Impl. of NMR Systems, 1995.
3. J. Delgrande, T. Schaub, & W. Jackson. Alternative approaches to default logic. Art. Intelligence, 70(1-2):167-237, 1994.
4. Chr. Goller, R. Letz, K. Mayr, & J. Schumann. SETHEO V3.2: Recent Developments. In A. Bundy, ed, Conf. Automated Deduction, pp 778-782. Springer, 1994.
5. D. Knuth. The Stanford GraphBase: A platform for combinatorial computing. Addison- Wesley, 1993.
6. T. Linke & T. Schaub. Lemma Handling in Default Logic Theorem Provers. In Workshop on Appl. & Impl. ofNMR Systems, 1995.
7. D. Loveland. Automated Theorem Proving: A Logical Basis. North-Holland, 1978.
8. A. Mikitiuk and M. Truszczyński. Default reasoning system, http://www.cs.engr.uky.edu/~lpnmr/DeReS.html.
9. D. Poole. Compiling a Default Reasoning System into Prolog. New Generation Computing, 9:3-38, 1991.
10. R. Reiter. A logic for default reasoning. Art. Intelligence, 13(1-2):81-132, 1980.
11. T. Schaub. A new methodology for query-answering in default logics via structure-oriented theorem proving. J. Automated Reasoning, 15(1):95-165, 1995.
12. M. Stickel. A Prolog technology theorem prover: A new exposition and implementation in prolog. SRI Report 464, 1989.
13. M. Stickel. A Prolog technology theorem prover. In M. Stickel, ed, Conf. Automated Deduction, pp 673-674, Springer, 1990.
14. M. Thielscher & T. Schaub. Default reasoning by deductive planning. J. Automated Reasoning, 15(1):1-40, 1995.