Combining Horn Clause Logic with Rewrite Rules. - Peter Baumgartner 001 (AIMSA, 1990)

Software specification methods from the viewpoint of reusability - Peter Baumgartner 001; Siegfried Meggendorfer; Zong-Yan Qiu (Forschungsberichte, TU Munich, 1990)

A Completeness Proof Technique for Resolution with Equality. - Peter Baumgartner 001 (GWAI, 1991)

A Model Elimination Calculus with Built-in Theories. - Peter Baumgartner 001 (GWAI, 1992)

An Order Theory Resolution Calculus. - Peter Baumgartner 001 (LPAR, 1992)

A Model Elimination Calculus with Built-in Theories (Extended Abstract). - Peter Baumgartner 001 (TABLEAUX, 1992)

Consolution as a Framework for Comparing Calculi. - Peter Baumgartner 001; Ulrich Furbach (TABLEAUX, 1992)

Model Elimination Without Contrapositives. - Peter Baumgartner 001; Ulrich Furbach (CADE, 1994)

PROTEIN: A PROver with a Theory Extension INterface. - Peter Baumgartner 001; Ulrich Furbach (CADE, 1994)

Refinements of Theory Model Elimination and a Variant without Contrapositives. - Peter Baumgartner 001 (ECAI, 1994)

Model Elimination Without Contrapositives and Its Application to PTTP. - Peter Baumgartner 001; Ulrich Furbach (J. Autom. Reason., 1994)

Model Elimination, Logic Programming and Computing Answers. - Peter Baumgartner 001; Ulrich Furbach; Frieder Stolzenburg (IJCAI, 1995)

Constraint Model Elimination and a PTTP-Implementation. - Peter Baumgartner 001; Frieder Stolzenburg (TABLEAUX, 1995)

Hyper Tableaux and Disjunctive Logic Programming. - Peter Baumgartner 001; Ulrich Furbach (DDLP, 1996)

On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). - Chandrabose Aravindan; Peter Baumgartner 001; Jürgen Dix; Ulrich Furbach; Gerd Neugebauer; Ilkka Niemelä; Dorothea Schäfer; Frieder Stolzenburg (JICSLP, 1996)

Hyper Tableaux. - Peter Baumgartner 001; Ulrich Furbach; Ilkka Niemelä (JELIA, 1996)

Linear and Unit-Resulting Refutations for Horn Theories. - Peter Baumgartner 001 (J. Autom. Reason., 1996)

Deduktion und Logisches Programmieren. - Peter Baumgartner 001; Jürgen Dix; Ulrich Furbach; Dorothea Schäfer; Frieder Stolzenburg (Künstliche Intell., 1996)

Calculi for Disjunctive Logic Programming. - Peter Baumgartner 001; Ulrich Furbach (ICLP, 1997)

Semantically Guided Theorem Proving for Diagnosis Applications. - Peter Baumgartner 001; Peter Fröhlich 001; Ulrich Furbach; Wolfgang Nejdl (IJCAI (1), 1997)

A Rational and Efficient Algorithm for View Deletion in Databases. - Chandrabose Aravindan; Peter Baumgartner 001 (ILPS, 1997)

Tableaux for Diagnosis Applications. - Peter Baumgartner 001; Peter Fröhlich 001; Ulrich Furbach; Wolfgang Nejdl (TABLEAUX, 1997)

Computing Answers with Model Elimination. - Peter Baumgartner 001; Ulrich Furbach; Frieder Stolzenburg (Artif. Intell., 1997)

A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion. - Peter Baumgartner 001; Stefan Brüning (J. Autom. Reason., 1997)

Theory Reasoning in Connection Calculi - Peter Baumgartner 001 (Springer, 1998)

Hyper Tableau - The Next Generation. - Peter Baumgartner 001 (TABLEAUX, 1998)

Model Elimination with Simplification and its Application to Software Verification. - Peter Baumgartner 001; Dorothea Schäfer (Tool Support for System Specification, Development and Verification, 1998)

Automated Deduction: a Technological Point of View. - Peter Baumgartner 001; Ingo Dahn; Jürgen Dix; Ulrich Furbach; Michael Kühn; Frieder Stolzenburg; Bernd Thomas (Künstliche Intell., 1998)

A Confluent Connection Calculus. - Peter Baumgartner 001; Norbert Eisinger; Ulrich Furbach (CADE, 1999)

FDPLL - A First Order Davis-Putnam-Longeman-Loveland Procedure. - Peter Baumgartner 001 (CADE, 2000)

Workshop: Model Computation - Principles, Algorithms, Applications. - Peter Baumgartner 001; Christian G. Fermüller; Nicolas Peltier; Hantao Zhang 001 (CADE, 2000)

The Taming of the (X)OR. - Peter Baumgartner 001; Fabio Massacci (Computational Logic, 2000)

Theorem Proving Techniques for View Deletion in Databases. - Chandrabose Aravindan; Peter Baumgartner 001 (J. Symb. Comput., 2000)

'Living Book': -'Deduction', 'Slicing', 'Interaction'. - Peter Baumgartner 001; Ulrich Furbach; Margret Groß-Hardt; Alex Sinner (CADE, 2003)

The Model Evolution Calculus. - Peter Baumgartner 001; Cesare Tinelli (CADE, 2003)

Living Books. - Peter Baumgartner 001; Ulrich Furbach; Margret Groß-Hardt (Wirtschaftsinformatik (1), 2003)

Automated Deduction Techniques for the Management of Personalized Documents. - Peter Baumgartner 001; Ulrich Furbach (Ann. Math. Artif. Intell., 2003)

Preface to First order theorem proving. - Peter Baumgartner 001; Hantao Zhang 001 (J. Symb. Comput., 2003)

Logic Programming Infrastructure for Inferences on FrameNet. - Peter Baumgartner 001; Aljoscha Burchardt (JELIA, 2004)

Model Based Deduction for Database Schema Reasoning. - Peter Baumgartner 001; Ulrich Furbach; Margret Groß-Hardt; Thomas Kleemann (KI, 2004)

Optimizing the Evaluation of XPath Using Description Logics. - Peter Baumgartner 001; Ulrich Furbach; Margret Groß-Hardt; Thomas Kleemann (INAP/WLP, 2004)

Preface. - Wolfgang Ahrendt; Peter Baumgartner 001; Hans de Nivelle; Silvio Ranise; Cesare Tinelli (D/PDPAR@IJCAR, 2004)

Living Book - Deduction, Slicing, and Interaction. - Peter Baumgartner 001; Ulrich Furbach; Margret Groß-Hardt; Alex Sinner (J. Autom. Reason., 2004)

In2Math - Interaktive Mathematik- und Informatikgrundausbildung. - Peter Baumgartner 001; Barbara L. Grabowski; Walter Oevel; Erica Melis (Softwaretechnik-Trends, 2004)

Living Books, Automated Deduction and Other Strange Things. - Peter Baumgartner 001; Ulrich Furbach (Mechanizing Mathematical Reasoning, 2005)

The Model Evolution Calculus with Equality. - Peter Baumgartner 001; Cesare Tinelli (CADE, 2005)

05431 Executive Summary - Deduction and Applications. - Franz Baader; Peter Baumgartner 001; Robert Nieuwenhuis; Andrei Voronkov (Deduction and Applications, 2005)

05431 Abstracts Collection - Deduction and Applications. - Franz Baader; Peter Baumgartner 001; Robert Nieuwenhuis; Andrei Voronkov (Deduction and Applications, 2005)

Automated Reasoning, Knowledge Representation and Management. - Peter Baumgartner 001; Ulrich Furbach; Adnan H. Yahya (Künstliche Intell., 2005)

Blocking and Other Enhancements for Bottom-Up Model Generation Methods. - Peter Baumgartner 001; Renate A. Schmidt (IJCAR, 2006)

Lemma Learning in the Model Evolution Calculus. - Peter Baumgartner 001; Alexander Fuchs 003; Cesare Tinelli (LPAR, 2006)

Automated Reasoning Support for First-Order Ontologies. - Peter Baumgartner 001; Fabian M. Suchanek (PPSWR, 2006)

Implementing the Model Evolution Calculus. - Peter Baumgartner 001; Alexander Fuchs 003; Cesare Tinelli (Int. J. Artif. Intell. Tools, 2006)

Logical Engineering with Instance-Based Methods. - Peter Baumgartner 001 (CADE, 2007)

Hyper Tableaux with Equality. - Peter Baumgartner 001; Ulrich Furbach; Björn Pelzer (CADE, 2007)

(LIA) - Model Evolution with Linear Integer Arithmetic Constraints. - Peter Baumgartner 001; Alexander Fuchs 003; Cesare Tinelli (LPAR, 2008)

The model evolution calculus as a first-order DPLL method. - Peter Baumgartner 001; Cesare Tinelli (Artif. Intell., 2008)

Superposition and Model Evolution Combined. - Peter Baumgartner 001; Uwe Waldmann (CADE, 2009)

Constraint Modelling: A Challenge for First Order Automated Reasoning. - Peter Baumgartner 001; John K. Slaney (FTP, 2009)

A Novel Architecture for Situation Awareness Systems. - Franz Baader; Andreas Bauer 002; Peter Baumgartner 001; Anne Cregan; Alfredo Gabaldon; Krystian Ji; Kevin Lee; David Rajaratnam; Rolf Schwitter (TABLEAUX, 2009)

Computing finite models by reduction to function-free clause logic. - Peter Baumgartner 001; Alexander Fuchs 003; Hans de Nivelle; Cesare Tinelli (J. Appl. Log., 2009)

Preface. - Alessandro Armando; Peter Baumgartner 001; Gilles Dowek (J. Autom. Reason., 2010)

Instance Based Methods - A Brief Overview. - Peter Baumgartner 001; Evgenij Thorstensen (Künstliche Intell., 2010)

The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation. - Peter Baumgartner 001; Ulrich Furbach; Björn Pelzer (J. Log. Comput., 2010)

Model Evolution with Equality Modulo Built-in Theories. - Peter Baumgartner 001; Cesare Tinelli (CADE, 2011)

A Combined Superposition and Model Evolution Calculus. - Peter Baumgartner 001; Uwe Waldmann (J. Autom. Reason., 2011)

The TPTP Typed First-Order Form with Arithmetic. - Geoff Sutcliffe; Stephan Schulz 001; Koen Claessen; Peter Baumgartner 001 (LPAR, 2012)

AI@NICTA. - Nick Barnes; Peter Baumgartner 001; Tibério S. Caetano; Hugh F. Durrant-Whyte; Gerwin Klein; Penelope Sanderson; Abdul Sattar 001; Peter J. Stuckey; Sylvie Thiébaux; Pascal Van Hentenryck; Toby Walsh (AI Mag., 2012)

Reasoning with Data-Centric Business Processes - Andreas Klaus Bauer; Peter Baumgartner 001; Michael Norrish (CoRR, 2012)

Model Evolution with equality - Revised and implemented. - Peter Baumgartner 001; Björn Pelzer; Cesare Tinelli (J. Symb. Comput., 2012)

Automatische Inferenz. - Peter Baumgartner 001 (Handbuch der Künstlichen Intelligenz, 2013)

Hierarchic Superposition with Weak Abstraction. - Peter Baumgartner 001; Uwe Waldmann (CADE, 2013)

Proving Infinite Satisfiability. - Peter Baumgartner 001; Joshua Bax (LPAR, 2013)

Tableaux for Verification of Data-Centric Processes. - Andreas Bauer 002; Peter Baumgartner 001; Martin Diller; Michael Norrish (TABLEAUX, 2013)

Finite Quantification in Hierarchic Theorem Proving. - Peter Baumgartner 001; Joshua Bax; Uwe Waldmann (IJCAR, 2014)

Model Evolution-Based Theorem Proving. - Peter Baumgartner 001 (IEEE Intell. Syst., 2014)

SMTtoTPTP - A Converter for Theorem Proving Formats. - Peter Baumgartner 001 (CADE, 2015)

Beagle - A Hierarchic Superposition Theorem Prover. - Peter Baumgartner 001; Joshua Bax; Uwe Waldmann (CADE, 2015)

In Memory of Mark Stickel. - Peter Baumgartner 001; Wolfgang Bibel; Richard Waldinger (J. Autom. Reason., 2016)

Tableaux for Policy Synthesis for MDPs with PCTL* Constraints. - Peter Baumgartner 001; Sylvie Thiébaux; Felipe W. Trevizan (TABLEAUX, 2017)

Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints. - Peter Baumgartner 001; Sylvie Thiébaux; Felipe W. Trevizan (KR, 2018)

Hierarchic Superposition Revisited. - Peter Baumgartner 001; Uwe Waldmann (Description Logic, Theory Combination, and All That, 2019)

Possible Models Computation and Revision - A Practical Approach. - Peter Baumgartner 001 (IJCAR (1), 2020)

The Fusemate Logic Programming System. - Peter Baumgartner 001 (CADE, 2021)

Combining Event Calculus and Description Logic Reasoning via Logic Programming. - Peter Baumgartner 001 (FroCoS, 2021)

Anomaly Detection in a Boxed Beef Supply Chain. - Peter Baumgartner 001; Alexander Krumpholz (ICCMS, 2021)

The Fusemate Logic Programming System (System Description). - Peter Baumgartner 001 (CoRR, 2021)

Movement Analytics: Current Status, Application to Manufacturing, and Future Prospects from an AI Perspective. - Peter Baumgartner 001; Daniel V. Smith; Mashud Rana; Reena Kapoor; Elena Tartaglia; Andreas Schutt; Ashfaqur Rahman; John A. Taylor; Simon Dunstall (CoRR, 2022)

Bottom-Up Grounding in the Probabilistic Logic Programming System Fusemate. - Peter Baumgartner 001; Elena Tartaglia (CoRR, 2023)

Bottom-Up Stratified Probabilistic Logic Programming with Fusemate. - Peter Baumgartner 001; Elena Tartaglia (ICLP, 2023)

Highlighting Case Studies in LLM Literature Review of Interdisciplinary System Science. - Lachlan McGinness; Peter Baumgartner 001; Esther Onyango; Zelalem Lema (AI (1), 2024)

Automated Theorem Provers Help Improve Large Language Model Reasoning. - Lachlan McGinness; Peter Baumgartner 001 (LPAR, 2024)

Steamroller Problems: An Evaluation of LLM Reasoning Capability with Automated Theorem Prover Strategies. - Lachlan McGinness; Peter Baumgartner 001 (CoRR, 2024)

CON-FOLD Explainable Machine Learning with Confidence. - Lachlan McGinness; Peter Baumgartner 001 (Theory Pract. Log. Program., 2024)

Highlighting Case Studies in LLM Literature Review of Interdisciplinary System Science. - Lachlan McGinness; Peter Baumgartner 001 (CoRR, 2025)

The AlphaPhysics Term Rewriting System for Marking Algebraic Expressions in Physics Exams. - Peter Baumgartner 001; Lachlan McGinness (CoRR, 2025)

Large Language Models Imitate Logical Reasoning, but at what Cost? - Lachlan McGinness; Peter Baumgartner 001 (CoRR, 2025)