On bottom-up pre-processing techniques for automated default reasoning

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

Volumn 1638, Issue , 1999, Pages 268-278

  Linke, Thomas ^a   Schaub, Torsten ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

BOTTOM UP; COMPUTATIONAL TASK; DEFAULT LOGIC; DEFAULT REASONING; DEFAULT RULE; DEFAULT THEORY; PRE-PROCESSING; PREPROCESSING TOOLS;

COMPUTATION THEORY;

EID: 84947901831     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48747-6_25     Document Type: Conference Paper

References (7)

1. C. Froidevaux and J. Mengin. Default logic: A unified view. Computational Intelligence, 10(3):331-369, 1994.
2. G. Gottlob. Complexity results for nonmonotonic logics. Journal of Logic and Computation, 2(3):397-425, June 1992.
3. F. Lévy. Computing extensions of default theories. In R. Kruse and P. Siegel, editors, Proceedings of the European Conference on Symbolic and Quantitative Approaches for Uncertainty, volume 548 of Lecture Notes in Computer Science, pages 219-226. Springer Verlag, 1991.
4. T. Linke and T. Schaub. An approach to query-answering in reiter’s default logic and the underlying existence of extensions problem. In J. Dix, L. Fariñas del Cerro, and U. Furbach, editors, Logics in Artificial Intelligence, Proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, volume 1489 of Lecture Notes in Artificial Intelligence, pages 233-247. Springer Verlag, 1998.
5. Th. Linke. New foundations for automation of default reasoning. Dissertation, University of Bielefeld, 1999.
6. R. Reiter. A logic for default reasoning. Artificial Intelligence, 13(1-2):81-132, 1980.
7. 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 Verlag, 1990.