An implementation platform for query-answering in default logics: The XRay system, its implementation and evaluation

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

Volumn 1265, Issue , 1997, Pages 442-452

  Schaub, Torsten ^a   Nicolas, Pascal ^a  

^a UNIVERSITÉ D'ANGERS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; LOGIC PROGRAMMING;

CONSISTENCY CHECKING; DEFAULT LOGIC; DEFAULT THEORY; IMPLEMENTATION PLATFORMS; LOCAL PROOFS; MODEL BASED APPROACH; QUERY ANSWERING; SEARCH SPACES;

PROLOG (PROGRAMMING LANGUAGE);

EID: 0040927260     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63255-7_34     Document Type: Conference Paper

References (18)

1. P. Besnard and T. Schaub. An approach to context-based default reasoning. Fundamenta Informaticae, 23(2-4): 175-223, 1995.
2. G. Brewka. Cumulative default logic: In defense of nonmonotonic inference rules. Artificial Intelligence, 50(2): 183-205, 1991.
3. S. Brfining and T. Schanb. A model-based approach to consistency-checking. In Z. Ras and M. Michalewicz, editors, Proceedings o/the Ninth International Symposium on Methodologies for Intelligent Systems, pages 315-324. Springer Verlag, 1996.
4. J. Delgrande, T. Schaub, and W. Jackson. Alternative approaches to default logic. Artificial Intelligence, 70(1-2): 167-237, 1994.
5. L. Giordano and A. Martinelli. On cumulative default logics. Artificial Intelligence, 66(1): 161-179, 1994.
6. C. Goller, R. Letz, K. Mayr, and J. Schumann. SETHEO V3.2: Recent Developments. In A. Bundy, editor, Proceedings of the Conference on Automated Deduction, pages 778-782. Springer Verlag, 1994. System abstract.
7. T. Linke and T. Schaub. Lemma handling in default logic theorem provers. In C. Froidevaux and J. Kohlas, editors, Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, pages 285-292. Springer Verlag, 1995.
8. T. Linke and T. Schaub. Towards a classification of default logics. Journal of Applied Non-Classical Logics, 1997. To appear.
9. D. Loveland. Automated Theorem Proving: A Logical Basis. North-Holland, New York, 1978.
10. W. Lukaszewicz. Considerations on default logic - an alternative approach. Computational Intelligence, 4: 1-16, 1988.
11. A. Mikitiuk and M. Truszczyfiski. Rational default logic and disjunctive logic programming. In A. Nerode and L. Pereira, editors, Proceedings of the Second International Workshop on logic Programming and Non-monotonic Reasoning., pages 283-299. MIT Press, 1993.
12. D. Poole. Compiling a default reasoning system into prolog. New Generation Computing, 9(1): 3-38, 1991.
13. R. Reiter. A logic for default reasoning. Artificial Intelligence, 13(1-2): 81-132, 1980.
14. T. Schaub. A new methodology for query-answering in default logics via structureoriented theorem proving. Journal of Automated Reasoning, 15(1): 95-165, 1995.
15. T. Schaub and S. Brüining. Prolog technology for default reasoning. In W. Vahlster editor, Proceedings of the European Conference on Artificial Intelligence, pages 105-109. John Wiley 8z sons, 1996.
16. T. Schaub, S. Brüning, and P. Nicolas. XRay: A prolog technology theorem prover for default reasoning: A system description. In M. McRobbie and J. Slaney, editors, Proceedings of the Conference on Automated Deduction, pages 293-297. Springer Verlag, 1996.
17. M. Stickel. A Prolog technology theorem prover. In M. Stickel, editor, Proceedings of the Conference on Automated Deduetion pages 673-674. Springer Verlag, 1990.
18. M. Stickel. A Prolog technology theorem prover: A new exposition and implementation in prolog. In A. Miola, editor, Proceedings of the International Symposium on Design and Implemetation of Symbolic Computation Systems, pages 154-163. Springer Verlag, 1990.