Peter Baumgartner

According to our database, Peter Baumgartner authored at least 90 papers between 1990 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Bottom-Up Stratified Probabilistic Logic Programming with Fusemate.

Peter Baumgartner, Elena Tartaglia

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

Bottom-Up Grounding in the Probabilistic Logic Programming System Fusemate.

Peter Baumgartner, Elena Tartaglia

CoRR, 2023

2022

Movement Analytics: Current Status, Application to Manufacturing, and Future Prospects from an AI Perspective.

Peter Baumgartner, Daniel V. Smith, Mashud Rana, Reena Kapoor, Elena Tartaglia, Andreas Schutt, Ashfaqur Rahman, John Taylor, Simon Dunstall

CoRR, 2022

2021

The Fusemate Logic Programming System (System Description).

Peter Baumgartner

CoRR, 2021

Anomaly Detection in a Boxed Beef Supply Chain.

Peter Baumgartner, Alexander Krumpholz

Proceedings of the ICCMS 2021: The 13th International Conference on Computer Modeling and Simulation, Melbourne, VIC, Australia, June 25, 2021

Combining Event Calculus and Description Logic Reasoning via Logic Programming.

Peter Baumgartner

Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

The Fusemate Logic Programming System.

Peter Baumgartner

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Blocking and Other Enhancements for Bottom-Up Model Generation Methods.

Peter Baumgartner, Renate A. Schmidt

J. Autom. Reason., 2020

Possible Models Computation and Revision - A Practical Approach.

Peter Baumgartner

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Hierarchic Superposition Revisited.

Peter Baumgartner, Uwe Waldmann

Proceedings of the Description Logic, Theory Combination, and All That, 2019

2018

Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints.

Peter Baumgartner, Sylvie Thiébaux, Felipe W. Trevizan

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2017

Tableaux for Policy Synthesis for MDPs with PCTL* Constraints.

Peter Baumgartner, Sylvie Thiébaux, Felipe W. Trevizan

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

2016

In Memory of Mark Stickel.

Peter Baumgartner, Wolfgang Bibel, Richard Waldinger

J. Autom. Reason., 2016

2015

Beagle - A Hierarchic Superposition Theorem Prover.

Peter Baumgartner, Joshua Bax, Uwe Waldmann

Proceedings of the Automated Deduction - CADE-25, 2015

SMTtoTPTP - A Converter for Theorem Proving Formats.

Peter Baumgartner

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Model Evolution-Based Theorem Proving.

Peter Baumgartner

IEEE Intell. Syst., 2014

Finite Quantification in Hierarchic Theorem Proving.

Peter Baumgartner, Joshua Bax, Uwe Waldmann

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

Tableaux for Verification of Data-Centric Processes.

Andreas Bauer, Peter Baumgartner, Martin Diller, Michael Norrish

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

Proving Infinite Satisfiability.

Peter Baumgartner, Joshua Bax

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Hierarchic Superposition with Weak Abstraction.

Peter Baumgartner, Uwe Waldmann

Proceedings of the Automated Deduction - CADE-24, 2013

Automatische Inferenz.

Peter Baumgartner

Proceedings of the Handbuch der Künstlichen Intelligenz, 5. Auflage, 2013

2012

Model Evolution with equality - Revised and implemented.

Peter Baumgartner, Björn Pelzer, Cesare Tinelli

J. Symb. Comput., 2012

Reasoning with Data-Centric Business Processes

Andreas Klaus Bauer, Peter Baumgartner, Michael Norrish

CoRR, 2012

AI@NICTA.

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 Mag., 2012

The TPTP Typed First-Order Form with Arithmetic.

Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Peter Baumgartner

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

2011

A Combined Superposition and Model Evolution Calculus.

Peter Baumgartner, Uwe Waldmann

J. Autom. Reason., 2011

Model Evolution with Equality Modulo Built-in Theories.

Peter Baumgartner, Cesare Tinelli

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2010

The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation.

Peter Baumgartner, Ulrich Furbach, Björn Pelzer

J. Log. Comput., 2010

Instance Based Methods - A Brief Overview.

Peter Baumgartner, Evgenij Thorstensen

Künstliche Intell., 2010

Preface.

Alessandro Armando, Peter Baumgartner, Gilles Dowek

J. Autom. Reason., 2010

2009

Computing finite models by reduction to function-free clause logic.

Peter Baumgartner, Alexander Fuchs, Hans de Nivelle, Cesare Tinelli

J. Appl. Log., 2009

A Novel Architecture for Situation Awareness Systems.

Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

Constraint Modelling: A Challenge for First Order Automated Reasoning.

Peter Baumgartner, John Slaney

Proceedings of the 7th International Workshop on First-Order Theorem Proving, 2009

Superposition and Model Evolution Combined.

Peter Baumgartner, Uwe Waldmann

Proceedings of the Automated Deduction, 2009

2008

The model evolution calculus as a first-order DPLL method.

Peter Baumgartner, Cesare Tinelli

Artif. Intell., 2008

(LIA) - Model Evolution with Linear Integer Arithmetic Constraints.

Peter Baumgartner, Alexander Fuchs, Cesare Tinelli

Proceedings of the Logic for Programming, 2008

2007

Hyper Tableaux with Equality.

Peter Baumgartner, Ulrich Furbach, Björn Pelzer

Proceedings of the Automated Deduction, 2007

Logical Engineering with Instance-Based Methods.

Peter Baumgartner

Proceedings of the Automated Deduction, 2007

2006

Implementing the Model Evolution Calculus.

Peter Baumgartner, Alexander Fuchs, Cesare Tinelli

Int. J. Artif. Intell. Tools, 2006

Automated Reasoning Support for First-Order Ontologies.

Peter Baumgartner, Fabian M. Suchanek

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2006

Lemma Learning in the Model Evolution Calculus.

Peter Baumgartner, Alexander Fuchs, Cesare Tinelli

Proceedings of the Logic for Programming, 2006

2005

Automated Reasoning, Knowledge Representation and Management.

Peter Baumgartner, Ulrich Furbach, Adnan H. Yahya

Künstliche Intell., 2005

05431 Abstracts Collection - Deduction and Applications.

Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov

Proceedings of the Deduction and Applications, 23.-28. October 2005, 2005

05431 Executive Summary - Deduction and Applications.

Franz Baader, Peter Baumgartner, Robert Nieuwenhuis, Andrei Voronkov

Proceedings of the Deduction and Applications, 23.-28. October 2005, 2005

The Model Evolution Calculus with Equality.

Peter Baumgartner, Cesare Tinelli

Proceedings of the Automated Deduction, 2005

Living Books, Automated Deduction and Other Strange Things.

Peter Baumgartner, Ulrich Furbach

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004

In2Math - Interaktive Mathematik- und Informatikgrundausbildung.

Peter Baumgartner, Barbara L. Grabowski, Walter Oevel, Erica Melis

Softwaretechnik-Trends, 2004

Living Book - Deduction, Slicing, and Interaction.

Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner

J. Autom. Reason., 2004

Preface.

Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, Cesare Tinelli

Proceedings of the Selected Papers from the Workshops on Disproving, 2004

Optimizing the Evaluation of XPath Using Description Logics.

Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2004

Model Based Deduction for Database Schema Reasoning.

Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann

Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004

Logic Programming Infrastructure for Inferences on FrameNet.

Peter Baumgartner, Aljoscha Burchardt

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

2003

Preface to First order theorem proving.

Peter Baumgartner, Hantao Zhang

J. Symb. Comput., 2003

Automated Deduction Techniques for the Management of Personalized Documents.

Peter Baumgartner, Ulrich Furbach

Ann. Math. Artif. Intell., 2003

Living Books.

Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt

Proceedings of the Wirtschaftsinformatik 2003, Medien - Märkte - Mobilität, Band I, 2003

The Model Evolution Calculus.

Peter Baumgartner, Cesare Tinelli

Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

'Living Book': -'Deduction', 'Slicing', 'Interaction'.

Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner

Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

2000

Theorem Proving Techniques for View Deletion in Databases.

Chandrabose Aravindan, Peter Baumgartner

J. Symb. Comput., 2000

The Taming of the (X)OR.

Peter Baumgartner, Fabio Massacci

Proceedings of the Computational Logic, 2000

Workshop: Model Computation - Principles, Algorithms, Applications.

Peter Baumgartner, Christian G. Fermüller, Nicolas Peltier, Hantao Zhang

Proceedings of the Automated Deduction, 2000

FDPLL - A First Order Davis-Putnam-Longeman-Loveland Procedure.

Peter Baumgartner

Proceedings of the Automated Deduction, 2000

A Confluent Connection Calculus.

Peter Baumgartner, Norbert Eisinger, Ulrich Furbach

Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000

1998

Automated Deduction: a Technological Point of View.

Peter Baumgartner, Ingo Dahn, Jürgen Dix, Ulrich Furbach, Michael Kühn, Frieder Stolzenburg, Bernd Thomas

Künstliche Intell., 1998

Model Elimination with Simplification and its Application to Software Verification.

Peter Baumgartner, Dorothea Schäfer

Proceedings of the International Workshop Tool Support for System Specification, 1998

Hyper Tableau - The Next Generation.

Peter Baumgartner

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

Theory Reasoning in Connection Calculi

Peter Baumgartner

Lecture Notes in Computer Science 1527, Springer, ISBN: 3-540-65509-3, 1998

1997

A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion.

Peter Baumgartner, Stefan Brüning

J. Autom. Reason., 1997

Computing Answers with Model Elimination.

Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg

Artif. Intell., 1997

Tableaux for Diagnosis Applications.

Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

Calculi for Disjunctive Logic Programming.

Peter Baumgartner, Ulrich Furbach

Proceedings of the Logic Programming, 1997

A Rational and Efficient Algorithm for View Deletion in Databases.

Chandrabose Aravindan, Peter Baumgartner

Proceedings of the Logic Programming, 1997

Semantically Guided Theorem Proving for Diagnosis Applications.

Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1996

Deduktion und Logisches Programmieren.

Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, Frieder Stolzenburg

Künstliche Intell., 1996

Linear and Unit-Resulting Refutations for Horn Theories.

Peter Baumgartner

J. Autom. Reason., 1996

Hyper Tableaux.

Peter Baumgartner, Ulrich Furbach, Ilkka Niemelä

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract).

Chandrabose Aravindan, Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelä, Dorothea Schäfer, Frieder Stolzenburg

Proceedings of the Logic Programming, 1996

Hyper Tableaux and Disjunctive Logic Programming.

Peter Baumgartner, Ulrich Furbach

Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic Programming, 1996

1995

Constraint Model Elimination and a PTTP-Implementation.

Peter Baumgartner, Frieder Stolzenburg

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995

Model Elimination, Logic Programming and Computing Answers.

Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994

Model Elimination Without Contrapositives and Its Application to PTTP.

Peter Baumgartner, Ulrich Furbach

J. Autom. Reason., 1994

Refinements of Theory Model Elimination and a Variant without Contrapositives.

Peter Baumgartner

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

PROTEIN: A PROver with a Theory Extension INterface.

Peter Baumgartner, Ulrich Furbach

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

Model Elimination Without Contrapositives.

Peter Baumgartner, Ulrich Furbach

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993

Consolution as a Framework for Comparing Calculi.

Peter Baumgartner, Ulrich Furbach

J. Symb. Comput., 1993

1992

A Model Elimination Calculus with Built-in Theories (Extended Abstract).

Peter Baumgartner

Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992

An Order Theory Resolution Calculus.

Peter Baumgartner

Proceedings of the Logic Programming and Automated Reasoning, 1992

A Model Elimination Calculus with Built-in Theories.

Peter Baumgartner

Proceedings of the GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31, 1992

1991

A Completeness Proof Technique for Resolution with Equality.

Peter Baumgartner

Proceedings of the GWAI-91, 1991

1990

Software specification methods from the viewpoint of reusability

Peter Baumgartner, Siegfried Meggendorfer, Zong-Yan Qiu

Forschungsberichte, TU Munich, 1990

Combining Horn Clause logic with rewrite rules

Peter Baumgartner

Forschungsberichte, TU Munich, 1990