Peter Baumgartner, Ulrich Furbach, and Bernd Thomas.
Model Based Deduction for Knowledge Representation.
In Bertram Fronhöfer and Steffen Hölldobler, editors, 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11--13, 2002, number TUD--FI03--03 in Technische Berichte der Fakultät Informatik, pages 156--166. TU Dresden, 01062 Dresden, April 2002.
ISSN 1430--211X. [ bib | .pdf ]

 

Peter Baumgartner.
Automatische Deduktion -- Von Kalkülen zu Anwendungen.
Habilitation thesis, University of Koblenz-Landau, Germany, 2002.
(in German). [ bib ]

 

Peter Baumgartner and Ulrich Furbach.
Model Based Deduction for Knowledge Representation (Position Paper).
In Steffen Staab Martin Frank, Natasha Noy, editor, International Workshop on the Semantic Web, Workshop at WWW2002, 2002. [ bib ]

 

Peter Baumgartner.
A First-Order Logic Davis-Putnam-Logemann-Loveland Procedure.
In Gerhard Lakemeyer and Bernhard Nebel, editors, AI in the new Millenium. Morgan Kaufmann, 2002.
This book contains the contributions to the International Joint Conference on Artificial Intelligence (IJCAI 2001) distinguished paper track. [ bib | .pdf ]

 

Peter Baumgartner, Margret Gross-Hardt, and Anna B. Simon.
Living Book -- An Interactive and Personalized Book.
In Veljko Milutinovic, editor, SSGRR 2002s - International Conference on Advances in Infrastructure for e-Business, e-Education, e-Science, and e-Medicine on the Internet. Published electronically (http://www.ssgrr.it/en/ssgrr2002s/papers.htm), 2002. [ bib | .pdf | Abstract ]

 

Peter Baumgartner.
A First-Order Logic Davis-Putnam-Logemann-Loveland Procedure.
Fachberichte Informatik 3--2002, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 2002. [ bib | .pdf | Abstract ]