Author

Peter Baumgartner

Observed names: Baumgartner, Peter, P. Baumgartner, PETER BAUMGARTNER

Institutions: Australian National University, Commonwealth Scientific and Industrial Research Organisation, Data61

Observed institutions: University of New Brunswick, Australian National University, Commonwealth Scientific and Industrial Research Organisation, Max Planck Society, Australian Government, University of Koblenz and Landau, Max Planck Institute for Informatics, CSIRO Health and Biosecurity, Data61, Universität Koblenz, Technical University of Munich

ORCID: 0000-0002-6559-9654

Observed ORCID: 0000-0002-6559-9654

OpenAlex ID: A5025228331

Hyper tableaux

1996 · Peter Baumgartner, Ulrich Furbach, et al. · Lecture notes in computer science · 159

The Model Evolution Calculus

2003 · Peter Baumgartner, Cesare Tinelli · Lecture notes in computer science · 95

FDPLL — A First-Order Davis-Putnam-Logeman-Loveland Procedure

2000 · Peter Baumgartner · Lecture notes in computer science · 73

The TPTP Typed First-Order Form with Arithmetic

2012 · Geoff Sutcliffe, Stephan Schulz, et al. · Lecture notes in computer science · 63

Implementing the Model Evolution Calculus

2006 · PETER BAUMGARTNER, ALEXANDER FUCHS, et al. · International Journal of Artificial Intelligence Tools · 61

Computing finite models by reduction to function-free clause logic

2007 · Peter Baumgartner, Alexander Fuchs, et al. · Journal of Applied Logic · 59

PDF

Protein: A PROver with a Theory Extension INterface

1994 · Peter Baumgartner, Ulrich Furbach · Lecture notes in computer science · 57

Hierarchic Superposition with Weak Abstraction

2013 · Peter Baumgartner, Uwe Waldmann · Lecture notes in computer science · 53

A Novel Architecture for Situation Awareness Systems

2009 · Franz Baader, Andreas Bauer, et al. · Lecture notes in computer science · 52

Hyper Tableau — The Next Generation

1998 · Peter Baumgartner · Lecture notes in computer science · 49

Hyper Tableaux with Equality

2007 · Peter Baumgartner, Ulrich Furbach, et al. · Lecture notes in computer science · 45

PDF

The model evolution calculus as a first-order DPLL method

2007 · Peter Baumgartner, Cesare Tinelli · Artificial Intelligence · 43

Lemma Learning in the Model Evolution Calculus

2006 · Peter Baumgartner, Alexander Fuchs, et al. · Lecture notes in computer science · 40

Semantically Guided Theorem Proving for Diagnosis Applications.

1997 · Peter Baumgartner, Peter Fröhlich, et al. · 38

Darwin: A Theorem Prover for the Model Evolution Calculus

2004 · Peter Baumgartner, Alexander Fuchs, et al. · 34

Model elimination without contrapositives and its application to PTTP

1994 · Peter Baumgartner, Ulrich Furbach · Journal of Automated Reasoning · 34

(LIA) - Model Evolution with Linear Integer Arithmetic Constraints

2008 · Peter Baumgartner, Alexander Fuchs, et al. · Lecture notes in computer science · 32

The Model Evolution Calculus with Equality

2005 · Peter Baumgartner, Cesare Tinelli · Lecture notes in computer science · 32

The Taming of the (X)OR

2000 · Peter Baumgartner, Fabio Massacci · Lecture notes in computer science · 32

Blocking and Other Enhancements for Bottom-Up Model Generation Methods

2006 · Peter Baumgartner, Renate A. Schmidt · Lecture notes in computer science · 29

Abducing Coreference by Model Construction

2007 · Peter Baumgartner, Michael Kühn · 28

Computing answers with model elimination

1997 · Peter Baumgartner, Ulrich Furbach, et al. · Artificial Intelligence · 27

PDF

A Confluent Connection Calculus

1999 · Peter Baumgartner, Norbert Eisinger, et al. · Applied logic series · 25

Beagle – A Hierarchic Superposition Theorem Prover

2015 · Peter Baumgartner, Joshua Bax, et al. · Lecture notes in computer science · 24

Model elimination without contrapositives

1994 · Peter Baumgartner, Ulrich Furbach · Lecture notes in computer science · 23

Works count: 101

Citation count: 1,679

H-index: 24

I10-index: 46