Peter Baumgartner

114 papers A* 2A 20B 19Misc 2Journal 43Unranked 24

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