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 ]
 
Peter Baumgartner, Ulrich Furbach, and Frieder Stolzenburg.
Computing Answers with Model Elimination.
Artificial Intelligence, 90(1-2):135-176, 1997. [ 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 ]
 
Chandrabose Aravindan and Peter Baumgartner.
A Rational and Efficient Algorithm for View Deletion in Databases.
In Maluszynski [13]. [ bib | .pdf | Abstract ]
 
Peter Baumgartner and Ulrich Furbach.
Calculi for Disjunctive Logic Programming.
In Maluszynski [13]. [ bib | .pdf | Abstract ]
 
Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, and Wolfgang Nejdl.
Semantically Guided Theorem Proving for Diagnosis Applications.
In Pollack [12], pages 460-465. [ bib | .pdf | Abstract ]
 
Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, and Wolfgang Nejdl.
Tableaux for Diagnosis Applications.
In Galmiche [10], pages 76-90. [ bib | .pdf | 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) [11], pages 335-340. [ bib | .pdf | Abstract ]
 
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 ]
 
Didier Galmiche, editor.
Automated Reasoning with Analytic Tableaux and Related Methods, volume 1227 of Lecture Notes in Artificial Intelligence. Springer, 1997. [ bib ]
 
Montreal, 1997. Morgan Kaufmann. [ bib ]
 
M. E. Pollack, editor.
Nagoya, 1997. Morgan Kaufmann. [ bib ]
 
Jan Maluszynski, editor.
Logic Programming - Proceedings of the 1997 International Symposium, Port Jefferson, New York, 1997. The MIT Press. [ bib ]