Peter Baumgartner

Publications

• Some of my publications can also be found on the DB&LP Bibliography Server and at Google Scholar.
• bibtex file of all my publications. Citations are appreciated :-)

2021

 

Peter Baumgartner and Alexander Krumpholz.
Anomaly Detection in a Boxed Beef Supply Chain.
In ICCMS 2021 - The 13th International Conference on Computer Modeling and Simulation. ACM, June 2021. [ bib | DOI | .pdf | Abstract ]

 

Peter Baumgartner and Patrik Haslum.
Situational Awareness for Industrial Operations.
In Andreas T. Ernst, Simon Dunstall, Rodolfo García-Flores, Marthie Grobler, and David Marlow, editors, Data and Decision Sciences in Action 2, pages 125--137, Cham, 2021. Springer International Publishing.
Copyright Springer Verlag http://www.springer.de/comp/lncs/index.html. [ bib | .pdf | Abstract ]

 

Peter Baumgartner.
The Fusemate Logic Programming System (System Description).
In A. Platzer and G. Sutcliffe, editors, CADE-28 - The 28th International Conference on Automated Deduction, volume 12699 of LNAI, pages 589--601, Cham, 2021. Springer International Publishing.
Copyright Springer Verlag http://www.springer.de/comp/lncs/index.html.
A version with minor corrections is available at https://arxiv.org/abs/2103.01395. [ bib | http | Abstract ]

 

Peter Baumgartner.
Combining Event Calculus and Description Logic Reasoning via Logic Programming.
In Giles Reger and Boris Konev, editors, FroCoS 2021 - The 13th International Symposium on Frontiers of Combining Systems, LNAI, pages 98--117. Springer International Publishing, 2021.
Copyright Springer Verlag http://www.springer.de/comp/lncs/index.html. [ bib | .pdf | Abstract ]

2020

 

Peter Baumgartner and Renate Schmidt.
Blocking and Other Enhancements for Bottom-Up Model Generation Methods.
Journal of Automated Reasoning, 64:197--251, 2020. [ bib | DOI | http | Abstract ]

 

Peter Baumgartner.
Possible Models Computation and Revision -- A Practical Approach.
In N. Peltier and V. Sofronie-Stokkermans, editors, International Joint Conference on Automated Reasoning, volume 12166 of LNAI, pages 337--355, Cham, 2020. Springer International Publishing.
Copyright Springer Verlag http://www.springer.de/comp/lncs/index.html.
doi 10.1007/978-3-030-79876-5_34. [ bib | .pdf | Abstract ]

2019

 

Peter Baumgartner and Uwe Waldmann.
Hierarchic Superposition Revisited, 2019. [ bib | http | Abstract ]

 

Peter Baumgartner and Uwe Waldmann.
Hierarchic Superposition Revisited.
In Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, and Frank Wolter, editors, Description Logic, Theory Combination, and All That, volume 11560 of LNCS, pages 15--56. Springer, 2019.
Copyright Springer Verlag http://www.springer.de/comp/lncs/index.html. [ bib | http | Abstract ]

2018

 

Peter Baumgartner, Sylvie Thiébaux, and Felipe Trevizan.
Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints.
In Frank Wolter Michael Thielscher, Francesca Toni, editor, KR-2018 -- 16th International Conference on Principles of Knowledge Representation and Reasoning, pages 415--424. AAAI Press, 2018.
AAAI Press.
Correction: The complexity result in Theorem 4 is incorrect. The incorrectnes is based on an oversight in the use of a Tseitin-style CNF transformation when progressing LTL formulas to the next state. A correct progression-based algorithm, of higher complexity though, employs standard CNF instead. The soundness theorem (Theorem 5), and completeness theorem (Theorem 6) still apply with that correction. Moreover, and importantly, it is such a correct version that we had implemented and used in our experiments. The experimental results, hence, are not affected by the incorrectnes, and neither are the other results. [ bib | .pdf | Abstract ]

2017

 

Peter Baumgartner, Sylvie Thiébaux, and Felipe Trevizan.
Tableaux for Policy Synthesis for MDPs with PCTL* Constraints.
CoRR, abs/1706.10102, 2017. [ bib | http | Abstract ]

 

Peter Baumgartner, Sylvie Thiébaux, and Felipe Trevizan.
Tableaux for Policy Synthesis for MDPs with PCTL* Constraints.
In Renate A. Schmidt and Cláudia Nalon, editors, Tableaux 2017 -- Automated Reasoning with Analytic Tableaux and Related Methods, volume 10501 of Lecture Notes in Artificial Intelligence, pages 175--192. Springer, 2017.
Copyright Springer Verlag http://www.springer.de/comp/lncs/index.html. [ bib | .pdf | Abstract ]

2016

 

Wolfgang Bibel Peter Baumgartner and Richard Waldinger.
In Memory of Mark Stickel.
Journal of Automated Reasoning, 56(2):95--98, 2016.
Copyright Springer Verlag http://www.springer.com/. [ bib ]

2015

 

Peter Baumgartner, Joshua Bax, and Uwe Waldmann.
Beagle -- A Hierarchic Superposition Theorem Prover.
In Amy P. Felty and Aart Middeldorp, editors, CADE-25 -- 25th International Conference on Automated Deduction, volume 9195 of LNAI, pages 367--377. Springer, 2015.
Copyright Springer Verlag http://www.springer.de/comp/lncs/index.html. [ bib | .pdf | Abstract ]

 

Peter Baumgartner.
SMTtoTPTP -- A Converter for Theorem Proving Formats.
In Amy Felty and Aart Middeldorp, editors, CADE-25 -- The 25th International Conference on Automated Deduction, volume 9195 of LNAI, pages 285--294. Springer, 2015.
Copyright Springer Verlag http://www.springer.de/comp/lncs/index.html. [ bib | .pdf | Abstract ]

2014

 

Peter Baumgartner and Uwe Waldmann.
Hierarchic superposition with weak abstraction and the Beagle theorem prover.
In Nikolaj Bjorner, Reiner Hähnle, Tobias Nipkow, and Christoph Weidenbach, editors, Deduction and Arithmetic (Dagstuhl Seminar 13411), volume 3, Dagstuhl, Germany, 2014. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. [ bib | DOI | http | Abstract ]

 

Peter Baumgartner.
Model Evolution Based Theorem Proving.
IEEE Intelligent Systems, 29(1):4--10, Jan.--Feb. 2014.
Copyright IEEE, http://www.ieee.org. [ bib | DOI | .pdf ]

 

Peter Baumgartner, Joshua Bax, and Uwe Waldmann.
Finite Quantification in Hierarchic Theorem Proving.
In S. Demri, D. Kapur, and C. Weidenbach, editors, IJCAR 2014, volume 8562 of LNAI, pages 152--167, Vienna, 2014. Springer Switzerland. [ bib | .pdf | Abstract ]

2013

 

Peter Baumgartner and Uwe Waldmann.
Hierarchic Superposition With Weak Abstraction.
In Maria Paola Bonacina, editor, CADE-24 -- The 24th International Conference on Automated Deduction, volume 7898 of Lecture Notes in Artificial Intelligence, pages 39--57. Springer, 2013.
Copyright Springer Verlag http://www.springer.de/comp/lncs/index.html. [ bib | DOI | .pdf | Abstract ]

 

Martin Diller Andreas Bauer, Peter Baumgartner and Michael Norrish.
Tableaux for Verification of Data-Centric Processes.
In Didier Galmiche and Dominique Larchey-Wendling, editors, Tableaux 2013 -- Automated Reasoning with Analytic Tableaux and Related Methods, volume 8123 of Lecture Notes in Artificial Intelligence, pages 28--43. Springer, 2013.
Copyright Springer Verlag http://www.springer.de/comp/lncs/index.html. [ bib | .pdf | Abstract ]

 

Peter Baumgartner and Joshua Bax.
Proving Infinite Satisfiability.
In Aart Middeldorp Ken McMillan and Andrei Voronkov, editors, Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19), volume 8312 of Lecture Notes in Artificial Intelligence, pages 68--95. Springer, 2013.
Copyright Springer Verlag http://www.springer.de/comp/lncs/index.html. [ bib | .pdf | Abstract ]

 

Peter Baumgartner and Uwe Waldmann.
Hierarchic Superposition: Completeness without Compactness.
In Marek Kosta and Thomas Sturm, editors, MACIS 2013 --Fifth International Conference on Mathematical Aspects of Computer and Information Sciences, pages 8--12, 2013. [ bib | .pdf | Abstract ]

 

Peter Baumgartner.
Automatische Inferenz.
In Josef Schneeberger Günther Görz and Ute Schmid, editors, Handbuch der Künstlichen Intelligenz, chapter 5, pages 129--167. Oldenbourg Verlag, 5 edition, 2013. [ bib ]

2012

 

Peter Baumgartner, Björn Pelzer, and Cesare Tinelli.
Model Evolution with Equality -- Revised and Implemented.
Journal of Symbolic Computation, 47(9):1011--1045, September 2012.
Copyright Elsevier http://www.elsevier.com/. [ bib | DOI | .pdf | Abstract ]

 

Geoff Sutcliffe, Stephan Schulz, Koen Claessen, and Peter Baumgartner.
The TPTP Typed First-order Form with Arithmetic.
In Nikolaj Bjørner and Andrei Voronkov, editors, Proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18), volume 7180 of Lecture Notes in Artificial Intelligence. Springer, 2012.
Copyright Springer Verlag http://www.springer.de/comp/lncs/index.html. [ bib | .pdf | Abstract ]

 

Andreas Klaus Bauer, Peter Baumgartner, and Michael Norrish.
Reasoning with Data-Centric Business Processes.
CoRR, abs/1207.2461, 2012. [ bib | http | Abstract ]

 

Nick Barnes, Peter Baumgartner, Tibério S. Caetano, Hugh F. Durrant-Whyte, Gerwin Klein, Penelope Sanderson, Abdul Sattar, Peter J. Stuckey, Sylvie Thiébaux, Pascal Van Hentenryck, and Toby Walsh.
AI@NICTA.
AI Magazine, 33(3):115--, 2012. [ bib | http ]

2011

 

Peter Baumgartner and Uwe Waldmann.
A Combined Superposition and Model Evolution Calculus.
Journal of Automated Reasoning, 47(2):191--227, August 2011.
Copyright Springer Verlag http://www.springer.com/. [ bib | DOI | .pdf | Abstract ]

 

Nikolaj Bjørner and Viorica Sofronie-Stokkermans, editors.
volume 6803 of Lecture Notes in Artificial Intelligence. Springer, 2011. [ bib ]

 

Peter Baumgartner and Cesare Tinelli.
Model Evolution with Equality Modulo Built-in Theories.
In Nikolaj Bjørner and Viorica Sofronie-Stokkermans, editors, CADE-23 -- The 23nd International Conference on Automated Deduction, volume 6803 of Lecture Notes in Artificial Intelligence, pages 85--100. Springer, 2011.
Copyright Springer Verlag http://www.springer.de/comp/lncs/index.html. [ bib | .pdf | Abstract ]

2010

 

Alessandro Armando, Peter Baumgartner, and Gilles Dowek, editors.
Special Issue: Selected Papers from the 4th International Joint Conference on Automated Reasoning, volume 45 of Journal of Automated Reasoning. Springer, August 2010.
ISSN 0168-7433 (Print) 1573-0670 (Online). [ bib | http ]

 

Peter Baumgartner and Evgenij Thorstensen.
Instance Based Methods --- A Brief Overview.
KI - Künstliche Intelligenz, 24:35--42, April 2010. [ bib | DOI | .pdf | Abstract ]

 

Peter Baumgartner, Ulrich Furbach, and Björn Pelzer.
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation.
Journal of Logic and Computation, 20(1):77--109, February 2010. [ bib | DOI | .pdf | Abstract ]

2009

 

Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, and Rolf Schwitter.
A Novel Architecture for Situation Awareness Systems.
In Martin Giese and Aarild Waaler, editors, Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009), volume 5607 of LNAI, pages 77--92. Springer, July 2009. [ bib | DOI | .pdf | Abstract ]

 

Peter Baumgartner, Alexander Fuchs, Hans de Nivelle, and Cesare Tinelli.
Computing Finite Models by Reduction to Function-Free Clause Logic.
Journal of Applied Logic, 7(1):58--74, March 2009. [ bib | DOI | .pdf | Abstract ]

 

Renate Schmidt, editor.
Automated Deduction -- CADE-22, volume 5663 of Lecture Notes in Artificial Intelligence. Springer, 2009. [ bib ]

 

Peter Baumgartner and Uwe Waldmann.
Superposition and Model Evolution Combined.
In Schmidt [3], pages 17--34. [ bib | .pdf | Abstract ]

 

Peter Baumgartner and John Slaney.
Constraint Modelling: A Challenge for Automated Reasoning.
In Nicolas Peltier and Viorica Sofronie-Stokkermans, editors, Proceedings of the 7th International Workshop on First-Order Theorem Proving (FTP'09), volume 556 of Workshop Proceedings, pages 4--18. CEUR, 2009. [ bib | .pdf | Abstract ]

2008

 

Peter Baumgartner, Alexander Fuchs, and Cesare Tinelli.
ME(LIA) -- Model Evolution With Linear Integer Arithmetic Constraints.
In I. Cervesato, H. Veith, and A. Voronkov, editors, Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'08), volume 5330 of Lecture Notes in Artificial Intelligence, pages 258--273. Springer, November 2008. [ bib | DOI | .pdf | Abstract ]

 

Alessandro Armando, Peter Baumgartner, and Gilles Dowek, editors.
Automated Reasoning - 4th International Conference, IJCAR 2008, volume 5195 of Lecture Notes in Artificial Intelligence. Springer, August 2008. [ bib | DOI ]

 

Peter Baumgartner and Cesare Tinelli.
The Model Evolution Calculus as a First-Order DPLL Method.
Artificial Intelligence, 172(4-5):591--632, 2008. [ bib | DOI | .pdf | Abstract ]

2007

 

Peter Baumgartner.
Logical Engineering with Instance-Based Methods.
In Frank Pfenning, editor, CADE-21 -- The 21st International Conference on Automated Deduction, volume 4603 of Lecture Notes in Artificial Intelligence, pages 404--409. Springer, July 2007. [ bib | .pdf ]

 

Frank Pfenning, editor.
Automated Deduction -- CADE-21, volume 4603 of Lecture Notes in Artificial Intelligence. Springer, 2007. [ bib ]

 

Peter Baumgartner, Ulrich Furbach, and Björn Pelzer.
Hyper Tableaux with Equality.
In Frank Pfenning, editor, CADE-21 -- The 21st International Conference on Automated Deduction, volume 4603 of Lecture Notes in Artificial Intelligence, pages 492--507. Springer, 2007. [ bib | .pdf | Abstract ]

2006

 

Wolfgang Ahrendt, Peter Baumgartner, and Hans de Nivelle, editors.
Third Workshop on Disproving - Non-Theorems, Non-Validity, Non-Provability (DISPROVING'06), Seattle, 2006.
Workshop at IJCAR'06. [ bib ]

 

Peter Baumgartner, Alexander Fuchs, and Cesare Tinelli.
Implementing the Model Evolution Calculus.
International Journal of Artificial Intelligence Tools, 15(1):21--52, 2006. [ bib | .pdf ]

 

Peter Baumgartner and Fabian M. Suchanek.
Automated Reasoning Support for First-Order Ontologies.
In J.J. Alferes, J. Bailey, W. May, and U. Schwertel, editors, Principles and Practice of Semantic Web Reasoning 4th International Workshop (PPSWR 2006), Revised Selected Papers, volume 4187 of LNAI. Springer, 2006. [ bib | .pdf | Abstract ]

 

Peter Baumgartner, Alexander Fuchs, and Cesare Tinelli.
Lemma Learning in the Model Evolution Calculus.
In Miki Hermann and Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence and Reasoning (LPAR), volume 4246 of LNAI, pages 572--586. Springer, 2006. [ bib | .pdf | Abstract ]

 

Peter Baumgartner, Alexander Fuchs, , Hans de Nivelle, and Cesare Tinelli.
Computing Finite Models by Reduction to Function-Free Clause Logic.
In Ahrendt et al. [1].
Workshop at IJCAR'06. [ bib | .pdf | Abstract ]

 

Peter Baumgartner and Renate Schmidt.
Blocking and Other Enhancements for Bottom-Up Model Generation Methods.
In U. Furbach and N. Shankar, editors, Automated Reasoning -- Third International Joint Conference on Automated Reasoning (IJCAR), volume 4130 of LNAI, pages 125--139. Springer, 2006. [ bib | .pdf | Abstract ]

 

Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, and Andrei Voronkov.
05431 Abstracts Collection -- Deduction and Applications.
In Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, and Andrei Voronkov, editors, Deduction and Applications, number 05431 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany, 2006.
<http://drops.dagstuhl.de/opus/volltexte/2006/562> [date of citation: 2006-01-01]. [ bib | http ]

2005

 

Ulrich Furbach, Margret Gross-Hardt, Thomas Kleemann, and Peter Baumgartner.
Optimizing the Evaluation of XPath Using Description Logics.
In Dietmar Seipel, Michael Hanus, Ulrich Geske, and Oskar Bartenstein, editors, Applications of Declarative Programming and Knowledge Management (INAP/WLP 2004), volume 3392 of Lecture Notes in Artificial Intelligence. Springer Verlag, Berlin, Heidelberg, New-York, March 2005. [ bib ]

 

Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, and Cesare Tinelli, editors.
Selected Papers from the Workshops on Disproving and the Second International Workshop on Pragmatics of Decision Procedures (PDPAR 2004), volume 125 of Electronic Notes in Theoretical Computer Science. Elsevier, 2005. [ bib | http ]

 

Robert Nieuwenhuis, editor.
Automated Deduction -- CADE-20, volume 3632 of Lecture Notes in Artificial Intelligence. Springer, 2005. [ bib ]

 

Peter Baumgartner, Ulrich Furbach, and Adnan H. Yahya.
Automated Reasoning, Knowledge Representation and Management.
KI, 1:5--11, 2005. [ bib ]

 

Peter Baumgartner and Cesare Tinelli.
The Model Evolution Calculus with Equality.
In Nieuwenhuis [3], pages 392--408. [ bib | .pdf | Abstract ]

2004

 

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 ]

2003

 

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 ]

2002

 

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 ]

2001

 

Peter Baumgartner.
Automated Deduction Techniques for the Management of Personalized Documents.
In Manfred Kerber, editor, Proc. of the IJCAR-Workshop Future Directions in Automated Reasoning, Siena, Italy, 2001. [ bib | .ps.gz ]

 

Peter Baumgartner and Antje Blohm.
Automated Deduction Techniques for the Management of Personalized Documents.
In Proc. of MKM 2001 -- First International Workshop on Mathematical Knowledge Management, Linz, Austria, 2001. [ bib | .pdf ]

2000

 

Peter Baumgartner, Chris Fermüller, Nicolas Peltier, and Hantao Zhang, editors.
CADE-17 Workshop on Model Computation - Principles, Algorithms, Applications, 2000.
http://www.uni-koblenz.de/peter/CADE17-WS-MODELS/. [ bib | http ]

 

John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis Moniz Pereira, Yehoshua Sagiv, and Peter J. Stuckey, editors.
Computational Logic -- CL 2000, volume 1861 of Lecture Notes in Artificial Intelligence. Springer, 2000. [ bib ]

 

David McAllester, editor.
Automated Deduction -- CADE-17, volume 1831 of Lecture Notes in Artificial Intelligence. Springer, 2000. [ bib ]

 

Peter Baumgartner and Hantao Zhang (Eds.).
FTP 2000 -- Third International Workshop on First-Order Theorem Proving, St Andrews, Scotland, July 2000.
Fachberichte Informatik 5--2000, Universität Koblenz-Landau, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 2000. [ bib | http | Abstract ]

 

Peter Baumgartner and Fabio Massacci.
The Taming of the (X)OR.
In Lloyd et al. [2], pages 508--522. [ bib | .ps.gz | Abstract ]

 

Peter Baumgartner.
FDPLL -- A First-Order Davis-Putnam-Logeman-Loveland Procedure.
In McAllester [3], pages 200--219. [ bib | DOI | .pdf | Abstract ]

 

Chandrabose Aravindan and Peter Baumgartner.
Theorem Proving Techniques for View Deletion in Databases.
Journal of Symbolic Computation, 29(2):119--147, 2000. [ bib | .pdf | Abstract ]

 

Peter Baumgartner and Michael Kühn.
Abducing Coreference by Model Construction.
Journal of Language and Computation, 1(2):175--190, 2000. [ bib | .pdf | Abstract ]

1999

 

Peter Baumgartner and Michael Kühn.
Abductive Coreference by Model Construction.
In ICoS-1 Inference in Computational Semantics, Institute for Logic, Language and Computation, University of Amsterdam, August 1999. [ bib | .ps.gz | Abstract ]

 

Harald Ganzinger, editor.
Automated Deduction -- CADE-16, volume 1632 of Lecture Notes in Artificial Intelligence, Trento, Italy, 1999. Springer. [ bib ]

 

Neil Murray, editor.
Automated Reasoning with Analytic Tableaux and Related Methods, volume 1617 of Lecture Notes in Artificial Intelligence. Springer, 1999. [ bib ]

 

Peter Baumgartner, Norbert Eisinger, and Ulrich Furbach.
A Confluent Connection Calculus.
In Steffen Hölldobler, editor, Intellectics and Computational Logic -- Papers in Honor of Wolfgang Bibel. Kluwer, 1999. [ bib | .ps.gz | Abstract ]

 

Peter Baumgartner and Dorothea Schäfer.
Model Elimination with Simplification and its Application to Software Verification.
In Rudolf Berghammer and Yassine Lakhnech, editors, Tool Support for System Specification, Development, and Verification, Advances in Computer Science. Springer-Verlag Wien NewYork, 1999. [ bib | .pdf | Abstract ]

 

Peter Baumgartner, J.D. Horton, and Bruce Spencer.
Merge Path Improvements for Minimal Model Hyper Tableaux.
In Murray [3]. [ bib | .ps.gz | Abstract ]

 

Peter Baumgartner, Norbert Eisinger, and Ulrich Furbach.
A Confluent Connection Calculus.
In Ganzinger [2], pages 329--343. [ bib | .ps.gz | Abstract ]

1998

 

Wolfgang Bibel and Peter H. Schmitt, editors.
Automated Deduction. A basis for applications. Kluwer Academic Publishers, 1998. [ bib ]

 

Peter Baumgartner, Ulrich Furbach, Michael Kohlhase, William McCune, Wolfgang Reif, Mark Stickel, and Tomàs Uribe, editors.
CADE-15 Workshop on Problem-solving Methodologies with Automated Deduction, 1998.
http://www.uni-koblenz.de/peter/cade-15-ws/. [ bib ]

 

Harry de Swaart, editor.
Automated Reasoning with Analytic Tableaux and Related Methods, volume 1397 of Lecture Notes in Artificial Intelligence. Springer, 1998. [ bib ]

 

Peter Baumgartner and Dorothea Schäfer.
Model Elimination with Simplification and its Application to Software Verification.
In Peter Baumgartner, Ulrich Furbach, Michael Kohlhase, William McCune, Wolfgang Reif, Mark Stickel, and Tomàs Uribe, editors, CADE-15 Workshop on Problem-solving Methodologies with Automated Deduction, 1998.
http://www.uni-koblenz.de/peter/cade-15-ws/. [ bib ]

 

Peter Baumgartner and Ulrich Furbach.
Chapter I.3: Variants of Clausal Tableaux.
In Bibel and Schmitt [1], pages 73--102. [ bib ]

 

Peter Baumgartner and Uwe Petermann.
Chapter II.6: Theory Reasoning.
In Bibel and Schmitt [1], pages 191--224. [ bib ]

 

Peter Baumgartner.
Theory Reasoning in Connection Calculi, volume 1527 of Lecture Notes in Artificial Intelligence.
Springer, 1998. [ bib | .ps ]

 

Peter Baumgartner.
Hyper Tableaux --- The Next Generation.
In de Swaart [3], pages 60--76. [ bib | .ps.gz | Abstract ]

 

Peter Baumgartner, Ingo Dahn, Jürgen Dix, Ulrich Furbach, Micha Kühn, Frieder Stolzenburg, and Bernd Thomas.
Automated Deduction: A Technological Point of View.
KI, 12(4):7--14, 1998. [ bib | .pdf ]

1997

 

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 ]

 

Jan Maluszynski, editor.
Logic Programming - Proceedings of the 1997 International Symposium, Port Jefferson, New York, 1997. The MIT Press. [ bib ]

 

M. E. Pollack, editor.
Nagoya, 1997. Morgan Kaufmann. [ bib ]

 

Montreal, 1997. Morgan Kaufmann. [ bib ]

 

Didier Galmiche, editor.
Automated Reasoning with Analytic Tableaux and Related Methods, volume 1227 of Lecture Notes in Artificial Intelligence. Springer, 1997. [ bib ]

 

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 ]

 

Peter Baumgartner, Ulrich Furbach, and Frieder Stolzenburg.
Model Elimination, Logic Programming and Computing Answers.
In 14th International Joint Conference on Artificial Intelligence (IJCAI 95) [4], pages 335--340. [ bib | .pdf | Abstract ]

 

Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, and Wolfgang Nejdl.
Tableaux for Diagnosis Applications.
In Galmiche [5], pages 76--90. [ bib | .pdf | Abstract ]

 

Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, and Wolfgang Nejdl.
Semantically Guided Theorem Proving for Diagnosis Applications.
In Pollack [3], pages 460--465. [ bib | .pdf | Abstract ]

 

Peter Baumgartner and Ulrich Furbach.
Calculi for Disjunctive Logic Programming.
In Maluszynski [2]. [ bib | .pdf | Abstract ]

 

Chandrabose Aravindan and Peter Baumgartner.
A Rational and Efficient Algorithm for View Deletion in Databases.
In Maluszynski [2]. [ 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 ]

 

Peter Baumgartner, Ulrich Furbach, and Frieder Stolzenburg.
Computing Answers with Model Elimination.
Artificial Intelligence, 90(1--2):135--176, 1997. [ bib | .pdf | Abstract ]

1996

 

Peter Baumgartner.
Linear and Unit-Resulting Refutations for Horn Theories.
Journal of Automated Reasoning, 16(3):241--319, June 1996. [ bib | .pdf | Abstract ]

 

Peter Baumgartner, Bernhard Beckert, and Michael Kühn.
Extending Hyper Tableaux with Rigid E-Unification.
In K. Prasser, editor, Workshop Deduktion, 20. Jahrestagung für künstliche Intelligenz, Zusammenfassungen, number WV-96-09 in Internal Reports, Fakultät Informatik, D01062 Dresden, 1996. Technische Universität Dresden. [ bib | .pdf | Abstract ]

 

Artificial Intelligence Research Group.
Towards Merging Theorem Proving and Logic Programming Paradigms.
Proc. of the Poster Session at JICSLP '96, Editors: N. Fuchs and U. Geske, 1996.
GMD Studien Nr. 296. [ bib ]

 

Peter Baumgartner and Ulrich Furbach.
Hyper Tableaux and Disjunctive Logic Programming.
In ICLP 96 Workshop on Deductive Databases and Logic Programming, volume 295 of GMD Studien. GMD, 1996. [ bib | .pdf | Abstract ]

 

Peter Baumgartner and Ulrich Furbach.
Hyper Tableaux. Part I: Proof Procedure and Model Generation.
Dagstuhl-Seminar Reports Disjunctive logic programming and databases: Non-monotonic aspects, 1996. [ bib ]

 

Peter Baumgartner.
Theory Reasoning in Connection Calculi and the Linearizing Completion Approach.
PhD thesis, Universität Koblenz-Landau, 1996. [ bib | .pdf | Abstract ]

 

Peter Baumgartner, Ulrich Furbach, and Ilkka Niemelä.
Hyper Tableaux.
In Logics in Artificial Intelligence (JELIA '96), number 1126 in Lecture Notes in Artificial Intelligence. Springer, 1996. [ bib | .pdf | Abstract ]

 

Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, and Frieder Stolzenburg.
Deduktion und Logisches Programmieren.
KI, 10(2):34--39, 1996. [ bib ]

1995

 

Peter Baumgartner, Reiner Hähnle, and J. Posegga, editors.
Theorem Proving with Analytic Tableaux and Related Methods, volume 918 of Lecture Notes in Artificial Intelligence. Springer, 1995. [ bib ]

 

Peter Baumgartner and Frieder Stolzenburg.
Jahrestreffen der GI-Fachgruppe 1.2.1 Deduktion.
KI, 9(6):80--81, 1995.
Conference report. [ bib ]

 

Peter Baumgartner and Johann Schumann.
Implementing Restart Model Elimination and Theory Model Elimination on top of SETHEO.
Fachberichte Informatik 5--95, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1995. [ bib | .ps.gz | Abstract ]

 

Peter Baumgartner, Ulrich Furbach, and Frieder Stolzenburg.
Computing Answers and Logic Programming by Model Elimination Based Theorem Proving.
Proc. of the Workshop “Automated Reasoning: Bridging the Gap between Theory and Practice”, 1995.
Leeds, England. [ bib ]

 

Peter Baumgartner and Frieder Stolzenburg.
Constraint Model Elimination and a PTTP-Implementation.
In Baumgartner et al. [1], pages 201--216. [ bib | .pdf | Abstract ]

1994

 

Frieder Stolzenburg and Peter Baumgartner.
Constraint Model Elimination and a PTTP-Implementation.
In R. Yap J. Jourdan, P. Lim, editor, Workshop on Constraint Languages and their Use in Problem Modelling --- International Logic Programming Symposium, 1994. [ bib ]

 

H.-J. Bürckert Peter Baumgartner and H. Comon, editors.
Theory Reasoning in Automated Deduction, 12th International Conference on Automated Deduction, Workshop. INRIA, Lorraine, 1994.
Technical Report. [ bib ]

 

Peter Baumgartner, Ulrich Furbach, and Frieder Stolzenburg.
Applications of Theory Reasoning in Model Elimination.
In Peter Baumgartner, H.-J. Bürckert, H. Comon, Ulrich Furbach, and Mark Stickel, editors, Theory Reasoning in Automated Deduction, CADE-12 Workshop Proceedings, 1994. [ bib ]

 

Peter Baumgartner and Ulrich Furbach.
The Spectrum of Model Elimination Based Theorem Proving.
Proc. of the Workshop “Automated Reasoning: Bridging the Gap between Theory and Practice”, 1994.
Leeds, England. [ bib ]

 

Peter Baumgartner and Ulrich Furbach.
Lineare Vervollständigung für die Behandlung von Horntheorien.
In DFG-Colloquium “Deduction”, number AIDA-94-02 in Research Report. Technische Hochschule Darmstadt, 1994. [ bib ]

 

Peter Baumgartner and Ulrich Furbach.
Model Elimination without Contrapositives and its Application to PTTP.
In Broda D'Agostino Goré Johnson Reeves, editor, TABLEAUX-'94 Workshop, number TR-94/5 in Technical Report. Imperial College, 1994. [ bib ]

 

Peter Baumgartner.
A Transformation Technique to Combine the Linear and the Unit-Resulting Restrictions.
In Proceedings of the Eight International Symposium on Methodologies for Intelligent Systems, Charlotte, N.C, USA, 1994. Oak Ridge National Laboratory. [ bib ]

 

Peter Baumgartner, Jürgen Dix, Ulrich Furbach, and Frieder Stolzenburg.
The Spectrum of Model Elimination based Theorem Proving.
In C. Walther W. Bibel, editor, Informal Proceedings of the 11th Annual Meeting of the GI-Fachgruppe Deduktionssysteme, number AIDA-94-06 in Research Report. TH Darmstadt, 1994. [ bib ]

 

Peter Baumgartner and Ulrich Furbach.
PROTEIN: A PROver with a Theory Extension Interface.
In A. Bundy, editor, Automated Deduction -- CADE-12, volume 814 of Lecture Notes in Artificial Intelligence, pages 769--773. Springer, 1994. [ bib | .pdf | Abstract ]

 

Peter Baumgartner and Ulrich Furbach.
Model Elimination without Contrapositives.
In A. Bundy, editor, Automated Deduction -- CADE-12, volume 814 of Lecture Notes in Artificial Intelligence, pages 87--101. Springer, 1994. [ bib | .pdf | Abstract ]

 

Peter Baumgartner.
Refinements of Theory Model Elimination and a Variant without Contrapositives.
In A.G. Cohn, editor, 11th European Conference on Artificial Intelligence, ECAI 94. Wiley, 1994. [ bib | .pdf | Abstract ]

 

Peter Baumgartner and Ulrich Furbach.
Model Elimination without Contrapositives and its Application to PTTP.
Journal of Automated Reasoning, 13:339--359, 1994. [ bib | .pdf | Abstract ]

1993

 

Peter Baumgartner.
Combining Model Elimination and Unit-Resulting Resolution.
In Proc. Tableau-Workshop, Marseille, 1993.
MPI-Report I-93-213. [ bib ]

 

Peter Baumgartner(Editor).
Workshop PTTP-basiertes Theorembeweisen.
Fachberichte Informatik 7--93, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1993. [ bib ]

 

Peter Baumgartner.
Refinements of Theory Model Elimination and a Variant without Contrapositives.
Fachberichte Informatik 8/93, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1993. [ bib ]

 

Peter Baumgartner and Ulrich Furbach.
Consolution as a Framework for Comparing Calculi.
Journal of Symbolic Computation, 16(5):445--477, 1993. [ bib | .pdf | Abstract ]

1992

 

Peter Baumgartner.
An Ordered Theory Resolution Calculus.
In A. Voronkov, editor, Logic Programming and Automated Reasoning (Proceedings), volume 624 of Lecture Notes in Artificial Intelligence, pages 119--130, St. Petersburg, Russia, July 1992. Springer. [ bib | .pdf | Abstract ]

 

Peter Baumgartner, Ulrich Furbach, and Uwe Petermann.
A Unified Approach to Theory Reasoning.
Fachberichte Informatik 15/92, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1992. [ bib | .pdf | Abstract ]

 

Peter Baumgartner.
Consolution as a Framework for Comparing Calculi.
In Fronhöfer, Hähnle, Käufl, editor, Theorem Proving with Analytic Tableaux and Related Methods, number 8/92 in Technical Report, 1992. [ bib ]

 

Peter Baumgartner.
Partial Unification for Ordered Theory Resolution.
In F. Baader, J. Siekmann, and W. Snyder, editors, 6th International Workshop on Unification. IBFI Dagstuhl, 1992.
Dagstuhl Seminar Report 42. [ bib ]

 

Peter Baumgartner.
A Model Elimination Calculus with Built-In Theories.
In Fronhöfer, Hähnle, Käufl, editor, Theorem Proving with Analytic Tableaux and Related Methods, number 8/92 in Technical Report, 1992. [ bib ]

 

Peter Baumgartner.
A Model Elimination Calculus with Built-in Theories.
In H.-J. Ohlbach, editor, GWAI-92 --- Proceedings of the 16^th German Workshop on Artificial Intelligence, volume 671 of Lecture Notes in Artificial Intelligence, pages 30--42. Springer, 1992. [ bib | .pdf | Abstract ]

1991 and Before

 

Peter Baumgartner.
A Completeness Proof Technique for Resolution with Equality.
In Th. Christaller, editor, GWAI '91 -- 15. Fachtagung für Künstliche Intelligenz, pages 12--22. Springer, 1991.
Informatik Fachberichte 285. [ bib ]

 

Peter Baumgartner, S. Meggendorfer, and Z. Qiu.
Software Specification Methods from the Viewpoint of Reusability.
AI research report FKI--133--90, Technische Universität München, July 1990. [ bib ]

 

Peter Baumgartner.
Modelling Software Reuse with Predicate Logic.
Fachberichte Informatik 12/90, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1990. [ bib ]

 

Peter Baumgartner.
Combining Horn Clause Logic with Rewrite Rules.
In V. Sgurev Ph. Jorrand, editor, Artificial Intelligence IV -- Methodology, Systems, Applications. Norh Holland, 1990. [ bib ]

 

Peter Baumgartner.
Theorie und Implementierung eines kombinierten logischen und funktionalen Programmiersystems.
Master's thesis, Technische Universität München, 1988.
(In German). [ bib ]