Peter Baumgartner

ORCID

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 19

Top Venues

Publications

Lachlan McGinness, Peter Baumgartner
Automated Theorem Provers Help Improve Large Language Model Reasoning. LPAR (2024)
Lachlan McGinness, Peter Baumgartner
Steamroller Problems: An Evaluation of LLM Reasoning Capability with Automated Theorem Prover Strategies. CoRR (2024)
Peter Baumgartner, Elena Tartaglia
Bottom-Up Grounding in the Probabilistic Logic Programming System Fusemate. CoRR (2023)
Peter Baumgartner, Elena Tartaglia
Bottom-Up Stratified Probabilistic Logic Programming with Fusemate. CoRR (2023)
Peter Baumgartner, Daniel V. Smith, Mashud Rana, Reena Kapoor, Elena Tartaglia, Andreas Schutt, Ashfaqur Rahman, John Taylor, Simon Dunstall
Movement Analytics: Current Status, Application to Manufacturing, and Future Prospects from an AI Perspective. CoRR (2022)
Peter Baumgartner, Alexander Krumpholz
Anomaly Detection in a Boxed Beef Supply Chain. ICCMS (2021)
Peter Baumgartner
The Fusemate Logic Programming System. CADE (2021)
Peter Baumgartner
Combining Event Calculus and Description Logic Reasoning via Logic Programming. CoRR (2021)
Peter Baumgartner
Combining Event Calculus and Description Logic Reasoning via Logic Programming. FroCoS (2021)
Peter Baumgartner
The Fusemate Logic Programming System (System Description). CoRR (2021)
Peter Baumgartner
Possible Models Computation and Revision - A Practical Approach. IJCAR (1) (2020)
Peter Baumgartner, Renate A. Schmidt
Blocking and Other Enhancements for Bottom-Up Model Generation Methods. J. Autom. Reason. 64 (2) (2020)
Peter Baumgartner, Uwe Waldmann
Hierarchic Superposition Revisited. Description Logic, Theory Combination, and All That (2019)
Peter Baumgartner, Uwe Waldmann
Hierarchic Superposition Revisited. CoRR (2019)
Peter Baumgartner, Sylvie Thiébaux, Felipe W. Trevizan
Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints. KR (2018)
Peter Baumgartner, Sylvie Thiébaux, Felipe W. Trevizan
Tableaux for Policy Synthesis for MDPs with PCTL* Constraints. TABLEAUX (2017)
Peter Baumgartner, Sylvie Thiébaux, Felipe W. Trevizan
Tableaux for Policy Synthesis for MDPs with PCTL* Constraints. CoRR (2017)
Peter Baumgartner, Renate A. Schmidt
Blocking and Other Enhancements for Bottom-Up Model Generation Methods. CoRR (2016)
Peter Baumgartner, Wolfgang Bibel, Richard Waldinger
In Memory of Mark Stickel. J. Autom. Reason. 56 (2) (2016)
Peter Baumgartner
SMTtoTPTP - A Converter for Theorem Proving Formats. CADE (2015)
Peter Baumgartner, Joshua Bax, Uwe Waldmann
Beagle - A Hierarchic Superposition Theorem Prover. CADE (2015)
Peter Baumgartner
Model Evolution-Based Theorem Proving. IEEE Intell. Syst. 29 (1) (2014)
Peter Baumgartner, Joshua Bax, Uwe Waldmann
Finite Quantification in Hierarchic Theorem Proving. IJCAR (2014)
Peter Baumgartner, Joshua Bax
Proving Infinite Satisfiability. LPAR (2013)
Andreas Bauer, Peter Baumgartner, Martin Diller, Michael Norrish
Tableaux for Verification of Data-Centric Processes. TABLEAUX (2013)
Peter Baumgartner, Uwe Waldmann
Hierarchic Superposition with Weak Abstraction. CADE (2013)
Peter Baumgartner, Björn Pelzer, Cesare Tinelli
Model Evolution with equality - Revised and implemented. J. Symb. Comput. 47 (9) (2012)
Peter Baumgartner, Evgenij Thorstensen
Instance Based Methods --- A Brief Overview CoRR (2012)
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, Toby Walsh
AI@NICTA. AI Mag. 33 (3) (2012)
Andreas Klaus Bauer, Peter Baumgartner, Michael Norrish
Reasoning with Data-Centric Business Processes CoRR (2012)
Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Peter Baumgartner
The TPTP Typed First-Order Form with Arithmetic. LPAR (2012)
Peter Baumgartner, Uwe Waldmann
A Combined Superposition and Model Evolution Calculus. J. Autom. Reason. 47 (2) (2011)
Peter Baumgartner, Cesare Tinelli
Model Evolution with Equality Modulo Built-in Theories. CADE (2011)
Peter Baumgartner, Ulrich Furbach, Björn Pelzer
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation. J. Log. Comput. 20 (1) (2010)
Peter Baumgartner, Evgenij Thorstensen
Instance Based Methods - A Brief Overview. Künstliche Intell. 24 (1) (2010)
Alessandro Armando, Peter Baumgartner, Gilles Dowek
Preface. J. Autom. Reason. 45 (2) (2010)
Peter Baumgartner, Alexander Fuchs, Hans de Nivelle, Cesare Tinelli
Computing finite models by reduction to function-free clause logic. J. Appl. Log. 7 (1) (2009)
Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter
A Novel Architecture for Situation Awareness Systems. TABLEAUX (2009)
Peter Baumgartner, Uwe Waldmann
Superposition and Model Evolution Combined. CADE (2009)
Peter Baumgartner, John Slaney
Constraint Modelling: A Challenge for First Order Automated Reasoning. FTP (2009)
Peter Baumgartner, Alexander Fuchs, Cesare Tinelli
(LIA) - Model Evolution with Linear Integer Arithmetic Constraints. LPAR (2008)
Peter Baumgartner, Cesare Tinelli
The model evolution calculus as a first-order DPLL method. Artif. Intell. 172 (4-5) (2008)
Peter Baumgartner
Logical Engineering with Instance-Based Methods. CADE (2007)
Peter Baumgartner, Ulrich Furbach, Björn Pelzer
Hyper Tableaux with Equality. CADE (2007)
Peter Baumgartner, Alexander Fuchs, Cesare Tinelli
Implementing the Model Evolution Calculus. Int. J. Artif. Intell. Tools 15 (1) (2006)
Peter Baumgartner, Alexander Fuchs, Cesare Tinelli
Lemma Learning in the Model Evolution Calculus. LPAR (2006)
Peter Baumgartner, Fabian M. Suchanek
Automated Reasoning Support for First-Order Ontologies. PPSWR (2006)
Peter Baumgartner, Renate A. Schmidt
Blocking and Other Enhancements for Bottom-Up Model Generation Methods. IJCAR (2006)
Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, Cesare Tinelli
Preface. Electron. Notes Theor. Comput. Sci. 125 (3) (2005)
Peter Baumgartner, Ulrich Furbach, Adnan H. Yahya
Automated Reasoning, Knowledge Representation and Management. Künstliche Intell. 19 (1) (2005)
Peter Baumgartner, Cesare Tinelli
The Model Evolution Calculus with Equality. CADE (2005)
Peter Baumgartner, Ulrich Furbach
Living Books, Automated Deduction and Other Strange Things. Mechanizing Mathematical Reasoning (2005)
Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov
05431 Executive Summary - Deduction and Applications. Deduction and Applications (2005)
Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov
05431 Abstracts Collection - Deduction and Applications. Deduction and Applications (2005)
Peter Baumgartner, Barbara L. Grabowski, Walter Oevel, Erica Melis
In2Math - Interaktive Mathematik- und Informatikgrundausbildung. Softwaretechnik-Trends 24 (1) (2004)
Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann
Optimizing the Evaluation of XPath Using Description Logics. INAP/WLP (2004)
Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann
Model Based Deduction for Database Schema Reasoning. KI (2004)
Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner
Living Book - Deduction, Slicing, and Interaction. J. Autom. Reason. 32 (3) (2004)
Peter Baumgartner, Aljoscha Burchardt
Logic Programming Infrastructure for Inferences on FrameNet. JELIA (2004)
Peter Baumgartner, Ulrich Furbach
Automated Deduction Techniques for the Management of Personalized Documents. Ann. Math. Artif. Intell. 38 (1-3) (2003)
Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner
'Living Book': -'Deduction', 'Slicing', 'Interaction'. CADE (2003)
Peter Baumgartner, Hantao Zhang
Preface to First order theorem proving. J. Symb. Comput. 36 (1-2) (2003)
Peter Baumgartner, Cesare Tinelli
The Model Evolution Calculus. CADE (2003)
Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt
Living Books. Wirtschaftsinformatik (1) (2003)
Peter Baumgartner, Christian G. Fermüller, Nicolas Peltier, Hantao Zhang
Workshop: Model Computation - Principles, Algorithms, Applications. CADE (2000)
Chandrabose Aravindan, Peter Baumgartner
Theorem Proving Techniques for View Deletion in Databases. J. Symb. Comput. 29 (2) (2000)
Peter Baumgartner, Norbert Eisinger, Ulrich Furbach
A Confluent Connection Calculus. Intellectics and Computational Logic (2000)
Peter Baumgartner, Fabio Massacci
The Taming of the (X)OR. Computational Logic (2000)
Peter Baumgartner
FDPLL - A First Order Davis-Putnam-Longeman-Loveland Procedure. CADE (2000)
Peter Baumgartner, Norbert Eisinger, Ulrich Furbach
A Confluent Connection Calculus. CADE (1999)
Peter Baumgartner, Dorothea Schäfer
Model Elimination with Simplification and its Application to Software Verification. Tool Support for System Specification, Development and Verification (1998)
Peter Baumgartner, Ingo Dahn, Jürgen Dix, Ulrich Furbach, Michael Kühn, Frieder Stolzenburg, Bernd Thomas
Automated Deduction: a Technological Point of View. Künstliche Intell. 12 (4) (1998)
Peter Baumgartner
Hyper Tableau - The Next Generation. TABLEAUX (1998)
Chandrabose Aravindan, Peter Baumgartner
A Rational and Efficient Algorithm for View Deletion in Databases. ILPS (1997)
Peter Baumgartner, Stefan Brüning
A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion. J. Autom. Reason. 19 (2) (1997)
Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl
Tableaux for Diagnosis Applications. TABLEAUX (1997)
Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl
Semantically Guided Theorem Proving for Diagnosis Applications. IJCAI (1) (1997)
Peter Baumgartner, Ulrich Furbach
Calculi for Disjunctive Logic Programming. ILPS (1997)
Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg
Computing Answers with Model Elimination. Artif. Intell. 90 (1-2) (1997)
Peter Baumgartner, Ulrich Furbach
Calculi for Disjunctive Logic Programming. ICLP (1997)
Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, Frieder Stolzenburg
Deduktion und Logisches Programmieren. Künstliche Intell. 10 (2) (1996)
Peter Baumgartner, Ulrich Furbach, Ilkka Niemelä
Hyper Tableaux. JELIA (1996)
Chandrabose Aravindan, Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelä, Dorothea Schäfer, Frieder Stolzenburg
On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). JICSLP (1996)
Peter Baumgartner, Ulrich Furbach
Hyper Tableaux and Disjunctive Logic Programming. DDLP (1996)
Peter Baumgartner
Linear and Unit-Resulting Refutations for Horn Theories. J. Autom. Reason. 16 (3) (1996)
Peter Baumgartner, Frieder Stolzenburg
Constraint Model Elimination and a PTTP-Implementation. TABLEAUX (1995)
Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg
Model Elimination, Logic Programming and Computing Answers. IJCAI (1995)
Peter Baumgartner, Ulrich Furbach
PROTEIN: A PROver with a Theory Extension INterface. CADE (1994)
Peter Baumgartner, Ulrich Furbach
Model Elimination Without Contrapositives and Its Application to PTTP. J. Autom. Reason. 13 (3) (1994)
Peter Baumgartner, Ulrich Furbach
Model Elimination Without Contrapositives. CADE (1994)
Peter Baumgartner
Refinements of Theory Model Elimination and a Variant without Contrapositives. ECAI (1994)
Peter Baumgartner, Ulrich Furbach
Consolution as a Framework for Comparing Calculi. J. Symb. Comput. 16 (5) (1993)
Peter Baumgartner, Ulrich Furbach
Consolution as a Framework for Comparing Calculi. TABLEAUX (1992)
Peter Baumgartner
An Order Theory Resolution Calculus. LPAR (1992)
Peter Baumgartner
A Model Elimination Calculus with Built-in Theories (Extended Abstract). TABLEAUX (1992)
Peter Baumgartner
A Model Elimination Calculus with Built-in Theories. GWAI (1992)
Peter Baumgartner
A Completeness Proof Technique for Resolution with Equality. GWAI (1991)
Peter Baumgartner
Combining Horn Clause Logic with Rewrite Rules. AIMSA (1990)
Peter Baumgartner
Combining Horn Clause logic with rewrite rules Forschungsberichte, TU Munich (1990)
Peter Baumgartner, Siegfried Meggendorfer, Zong-Yan Qiu
Software specification methods from the viewpoint of reusability Forschungsberichte, TU Munich (1990)

Peter Baumgartner.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Peter Baumgartner