Peter Baumgartner and Anupam Mediratta.
Improving Stable Models Based Planning by Bidirectional Search.
In International Conference on Knowledge Based Computer Systems (KBCS), Hyderabad, India, December 2004. [ bib | .pdf | Abstract ]

 

Peter Baumgartner, Barbara Grabowski, Walter Oevel, and Erica Melis.
In2Math - Interaktive Mathematik- und Informatikgrundausbildung.
Softwaretechnik-Trends, 24(1):36--45, 2004. [ bib | .pdf ]

 

Peter Baumgartner, Alexander Fuchs, and Cesare Tinelli.
Darwin: A Theorem Prover for the Model Evolution Calculus.
In Stephan Schulz, Geoff Sutcliffe, and Tanel Tammet, editors, Proceedings of the 1st Workshop on Empirically Successful First Order Reasoning (ESFOR'04), Cork, Ireland, 2004, Electronic Notes in Theoretical Computer Science. Elsevier, 2004. [ bib | .pdf | Abstract ]

 

Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, and Thomas Kleemann.
Model Based Deduction for Database Schema Reasoning.
In Susanne Biundo, Thom Frühwirth, and Günther Palm, editors, KI 2004: Advances in Artificial Intelligence, volume 3238, pages 168--182. Springer Verlag, Berlin, Heidelberg, New-York, 2004. [ bib | .pdf | Abstract ]

 

Peter Baumgartner and Aljoscha Burchardt.
Logic Programming Infrastructure for Inferences on FrameNet.
In José Alferes and João Leite, editors, Logics in Artificial Intelligence, Ninth European Conference, JELIA'04, volume 3229 of Lecture Notes in Artificial Intelligence, pages 591--603. Springer Verlag, Berlin, Heidelberg, New-York, 2004. [ bib | .pdf | Abstract ]

 

Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, and Alex Sinner.
Living Book -- Deduction, Slicing, and Interaction.
Journal of Automated Reasoning, 32(3):259--286, 2004. [ bib | Abstract ]

 

Peter Baumgartner and Ulrich Furbach.
Living Books, Automated Deduction and other Strange Things.
In Dieter Hutter and Werner Stephan, editors, Mechanizing Mathematical Reasoning: Techniques, Tools and Applications -- Essays in honour of Jörg H. Siekmann, volume 2605 of LNCS, pages 255--274. Springer-Verlag, 2004. [ bib | http ]