Peter Baumgartner and Ulrich Furbach.
Refinements for Restart Model Elimination.
In Proceedings of the International Workshop on First Order Theorem Proving (FTP 97), Technical Report. RISC-Linz, October 1997. [ bib | .pdf | Abstract ]

 

Jan Maluszynski, editor.
Logic Programming - Proceedings of the 1997 International Symposium, Port Jefferson, New York, 1997. The MIT Press. [ bib ]

 

M. E. Pollack, editor.
Nagoya, 1997. Morgan Kaufmann. [ bib ]

 

Montreal, 1997. Morgan Kaufmann. [ bib ]

 

Didier Galmiche, editor.
Automated Reasoning with Analytic Tableaux and Related Methods, volume 1227 of Lecture Notes in Artificial Intelligence. Springer, 1997. [ bib ]

 

Peter Baumgartner (Hrsg.).
Jahrestreffen der GI-Fachgruppe 1.2.1 `Deduktionssysteme' --- Kurzfassungen der Vorträge.
Fachberichte Informatik 23--97, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1997. [ bib | .ps.gz | Abstract ]

 

Peter Baumgartner, Ulrich Furbach, and Frieder Stolzenburg.
Model Elimination, Logic Programming and Computing Answers.
In 14th International Joint Conference on Artificial Intelligence (IJCAI 95) [4], pages 335--340. [ bib | .pdf | Abstract ]

 

Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, and Wolfgang Nejdl.
Tableaux for Diagnosis Applications.
In Galmiche [5], pages 76--90. [ bib | .pdf | Abstract ]

 

Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, and Wolfgang Nejdl.
Semantically Guided Theorem Proving for Diagnosis Applications.
In Pollack [3], pages 460--465. [ bib | .pdf | Abstract ]

 

Peter Baumgartner and Ulrich Furbach.
Calculi for Disjunctive Logic Programming.
In Maluszynski [2]. [ bib | .pdf | Abstract ]

 

Chandrabose Aravindan and Peter Baumgartner.
A Rational and Efficient Algorithm for View Deletion in Databases.
In Maluszynski [2]. [ bib | .pdf | Abstract ]

 

Peter Baumgartner and Stefan Brüning.
A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion.
Journal of Automated Reasoning, 19(2):205--262, 1997. [ bib | .pdf | Abstract ]

 

Peter Baumgartner, Ulrich Furbach, and Frieder Stolzenburg.
Computing Answers with Model Elimination.
Artificial Intelligence, 90(1--2):135--176, 1997. [ bib | .pdf | Abstract ]