Peter Baumgartner and Hantao Zhang, editors.
First-Order Theorem Proving, volume 36 of Special issue of the Journal of Symbolic Computation. Academic Press, 2003. [ bib ]

 

Franz Baader, editor.
Automated Deduction -- CADE-19, volume 2741 of Lecture Notes in Artificial Intelligence. Springer, 2003. [ bib ]

 

Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, Thomas Kleemann, and Christoph Wernhard.
KRHyper Inside --- Model Based Deduction in Applications.
In Proc. CADE-19 Workshop on Novel Applications of Deduction Systems, 2003. [ bib | .pdf | Abstract ]

 

Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, and Alex Sinner.
'Living Book' :- 'Deduction', 'Slicing', 'Interaction'. -- System Description.
In Baader [2], pages 284--288. [ bib | Abstract ]

 

Peter Baumgartner and Cesare Tinelli.
The Model Evolution Calculus.
In Baader [2], pages 350--364. [ bib | .pdf | Abstract ]

 

Peter Baumgartner, Ulrich Furbach, and Margret Groß-Hardt.
Living Books.
In Wolfgang Uhr, Werner Esswein, and Eric Schoop, editors, Wirtschaftsinformatik 2003, volume 1, pages 693--706. Physica-Verlag, 2003. [ bib ]

 

Peter Baumgartner and Ulrich Furbach.
Automated Deduction Techniques for the Management of Personalized Documents.
Annals of Mathematics and Artificial Intelligence -- Special Issue on Mathematical Knowledge Management, 38(1), 2003. [ bib | .pdf | Abstract ]

 

Peter Baumgartner and Cesare Tinelli.
The Model Evolution Calculus.
Fachberichte Informatik 1--2003, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 2003. [ bib | .pdf | Abstract ]