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, 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 Cesare Tinelli.
The Model Evolution Calculus.
In Baader [6], pages 350-364. [ bib | .pdf | Abstract ]
 
Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, and Alex Sinner.
'Living Book' :- 'Deduction', 'Slicing', 'Interaction'. - System Description.
In Baader [6], pages 284-288. [ bib | Abstract ]
 
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 ]
 
Franz Baader, editor.
Automated Deduction - CADE-19, volume 2741 of Lecture Notes in Artificial Intelligence. Springer, 2003. [ bib ]
 
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 ]
 
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 ]