Peter Baumgartner
Principal Research Scientist, Data61
ANU CECS
Details and Contact
[ Home
| Publications
| Activities
| Teaching
| Student
project offers
| Systems
| Talks
]
Publications
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
16th 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 ]
This web page is maintained by Peter
Baumgartner