Peter Baumgartner in 2003

Peter Baumgartner

Principal Researcher, NICTA
Research Group Manager/Managing Complexity
and ANU Adjunct Member

Details and Contact
[ Home | Publications | Activities | Student research projects, teaching | Systems | Talks ]

Publications


Unpublished/Drafts/To appear

 
Peter Baumgartner, Ulrich Furbach, and Björn Pelzer.
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation.
Accepted for publication in the Journal of Logic and Computation, 2008.
[ bib | .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, 2007.
In Press.
[ bib | .pdf | Abstract ]

2008

 
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 ]
 
Peter Baumgartner, Alexander Fuchs, and Cesare Tinelli.
ME(LIA) - Model Evolution With Linear Integer Arithmetic Constraints.
To appear in Proc. LPAR-2008, 2008.
[ bib | .pdf | Abstract ]
 
Peter Baumgartner and Cesare Tinelli.
The Model Evolution Calculus as a First-Order DPLL Method.
Artificial Intelligence, 172(4-5):591-632, 2008.
[ bib | .pdf | Abstract ]

2007

 
Peter Baumgartner, Ulrich Furbach, and Björn Pelzer.
Hyper Tableaux with Equality.
In Pfenning [3], pages 492-507.
[ bib | .pdf | Abstract ]
 
Peter Baumgartner.
Logical Engineering with Instance-Based Methods.
In Pfenning [3], pages 404-409.
[ bib | .pdf ]
 
Frank Pfenning, editor.
Automated Deduction - CADE-21, volume 4603 of Lecture Notes in Artificial Intelligence. Springer, 2007.
[ bib ]

2006

 
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 ]
 
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. 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. [7].
Workshop at IJCAR'06.
[ 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 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.
Implementing the Model Evolution Calculus.
International Journal of Artificial Intelligence Tools, 15(1):21-52, 2006.
[ bib | .pdf ]
 
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 ]

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 ]
 
Peter Baumgartner and Cesare Tinelli.
The Model Evolution Calculus with Equality.
In Nieuwenhuis [4], pages 392-408.
[ bib | .pdf | Abstract ]
 
Peter Baumgartner, Ulrich Furbach, and Adnan H. Yahya.
Automated Reasoning, Knowledge Representation and Management.
KI, 1:5-11, 2005.
[ bib ]
 
Robert Nieuwenhuis, editor.
Automated Deduction - CADE-20, volume 3632 of Lecture Notes in Artificial Intelligence. Springer, 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 ]

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 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 ]
 
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 Aljoscha Burchardt.
Logic Programming Infrastructure for Inferences on FrameNet.
In José Alferes and Joao 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 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, 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, Barbara Grabowski, Walter Oevel, and Erica Melis.
In2Math - Interaktive Mathematik- und Informatikgrundausbildung.
Softwaretechnik-Trends, 24(1):36-45, 2004.
[ bib | .pdf ]

2003

 
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 ]

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, 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.
In Gerhard Lakemeyer and Bernhard Nebel, editors, AI in the new Millenium. Morgan Kaufmann, 2002.
This book contains extended versions of contributions to the International Joint Conference on Artificial Intelligence (IJCAI 2001) distinguished paper track.
[ bib | .pdf ]
 
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.
Automatische Deduktion - Von Kalkülen zu Anwendungen.
Habilitation thesis, University of Koblenz-Landau, Germany, 2002.
(in German).
[ bib ]
 
Uwe Egly and Christian G. Fermüller, editors.
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002, Proceedings, volume 2381 of Lecture Notes in Computer Science. Springer, 2002.
[ bib ]
 
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 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 ]
 
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 ]

2000

 
Peter Baumgartner and Michael Kühn.
Abducing Coreference by Model Construction.
Journal of Language and Computation, 1(2):175-190, 2000.
[ bib | .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.
FDPLL - A First-Order Davis-Putnam-Logeman-Loveland Procedure.
In McAllester [6], pages 200-219.
[ bib | .pdf | Abstract ]
 
Peter Baumgartner and Fabio Massacci.
The Taming of the (X)OR.
In Lloyd et al. [7], pages 508-522.
[ bib | .ps.gz | Abstract ]
 
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 ]
 
David McAllester, editor.
Automated Deduction - CADE-17, volume 1831 of Lecture Notes in Artificial Intelligence. Springer, 2000.
[ bib ]
 
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 ]
 
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 ]

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 ]
 
Peter Baumgartner, Norbert Eisinger, and Ulrich Furbach.
A Confluent Connection Calculus.
In Ganzinger [7], pages 329-343.
[ bib | .ps.gz | Abstract ]
 
Peter Baumgartner, J.D. Horton, and Bruce Spencer.
Merge Path Improvements for Minimal Model Hyper Tableaux.
In Murray [6].
[ 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, 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 ]
 
Neil Murray, editor.
Automated Reasoning with Analytic Tableaux and Related Methods, volume 1617 of Lecture Notes in Artificial Intelligence. Springer, 1999.
[ bib ]
 
Harald Ganzinger, editor.
Automated Deduction - CADE-16, volume 1632 of Lecture Notes in Artificial Intelligence, Trento, Italy, 1999. Springer.
[ bib ]

1998

 
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 ]
 
Peter Baumgartner.
Hyper Tableaux - The Next Generation.
In de Swaart [7], pages 60-76.
[ bib | .ps.gz | Abstract ]
 
Peter Baumgartner.
Theory Reasoning in Connection Calculi, volume 1527 of Lecture Notes in Artificial Intelligence.
Springer, 1998.
[ bib | .ps ]
 
Peter Baumgartner and Uwe Petermann.
Chapter II.6: Theory Reasoning.
In Bibel and Schmitt [9], pages 191-224.
[ bib ]
 
Peter Baumgartner and Ulrich Furbach.
Chapter I.3: Variants of Clausal Tableaux.
In Bibel and Schmitt [9], pages 73-102.
[ 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 ]
 
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, 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 ]
 
Wolfgang Bibel and Peter H. Schmitt, editors.
Automated Deduction. A basis for applications. Kluwer Academic Publishers, 1998.
[ bib ]

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 ]
 
Peter Baumgartner, Ulrich Furbach, and Frieder Stolzenburg.
Computing Answers with Model Elimination.
Artificial Intelligence, 90(1-2):135-176, 1997.
[ 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 ]
 
Chandrabose Aravindan and Peter Baumgartner.
A Rational and Efficient Algorithm for View Deletion in Databases.
In Maluszynski [13].
[ bib | .pdf | Abstract ]
 
Peter Baumgartner and Ulrich Furbach.
Calculi for Disjunctive Logic Programming.
In Maluszynski [13].
[ bib | .pdf | Abstract ]
 
Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, and Wolfgang Nejdl.
Semantically Guided Theorem Proving for Diagnosis Applications.
In Pollack [12], pages 460-465.
[ bib | .pdf | Abstract ]
 
Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, and Wolfgang Nejdl.
Tableaux for Diagnosis Applications.
In Galmiche [10], pages 76-90.
[ bib | .pdf | 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) [11], pages 335-340.
[ bib | .pdf | Abstract ]
 
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 ]
 
Didier Galmiche, editor.
Automated Reasoning with Analytic Tableaux and Related Methods, volume 1227 of Lecture Notes in Artificial Intelligence. Springer, 1997.
[ bib ]
 
Montreal, 1997. Morgan Kaufmann.
[ bib ]
 
M. E. Pollack, editor.
Nagoya, 1997. Morgan Kaufmann.
[ bib ]
 
Jan Maluszynski, editor.
Logic Programming - Proceedings of the 1997 International Symposium, Port Jefferson, New York, 1997. The MIT Press.
[ bib ]

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, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, and Frieder Stolzenburg.
Deduktion und Logisches Programmieren.
KI, 10(2):34-39, 1996.
[ bib ]
 
Peter Baumgartner, Ulrich Furbach, and Ilkka Niemelä.
Hyper Tableaux.
In Proc. JELIA 96, number 1126 in Lecture Notes in Artificial Intelligence. European Workshop on Logic in AI, Springer, 1996.
[ bib | .pdf | Abstract ]
 
Peter Baumgartner.
Theory Reasoning in Connection Calculi and the Linearizing Completion Approach.
PhD thesis, Universität Koblenz-Landau, 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 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 ]
 
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, 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 ]

1995

 
Peter Baumgartner and Frieder Stolzenburg.
Constraint Model Elimination and a PTTP-Implementation.
In Baumgartner et al. [5], pages 201-216.
[ bib | .pdf | 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 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 and Frieder Stolzenburg.
Jahrestreffen der GI-Fachgruppe 1.2.1 Deduktion.
KI, 9(6):80-81, 1995.
Conference report.
[ bib ]
 
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 ]

1994

 
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 ]
 
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.
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 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, 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.
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 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 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.
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, 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 ]
 
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 ]
 
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 ]

1993

 
Peter Baumgartner and Ulrich Furbach.
Consolution as a Framework for Comparing Calculi.
Journal of Symbolic Computation, 16(5):445-477, 1993.
[ bib | .pdf | Abstract ]
 
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(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.
Combining Model Elimination and Unit-Resulting Resolution.
In Proc. Tableau-Workshop, Marseille, 1993.
MPI-Report I-93-213.
[ bib ]

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

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.
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.
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.
Theorie und Implementierung eines kombinierten logischen und funktionalen Programmiersystems.
Master's thesis, Technische Universität München, 1988.
(In German).
[ bib ]
This web page is maintained by Peter Baumgartner