Peter Baumgartner
Peter Baumgartner
Data61|CSIRO
Verified email at data61.csiro.au - Homepage
TitleCited byYear
Hyper tableaux
P Baumgartner, U Furbach, I Niemelä
European Workshop on Logics in Artificial Intelligence, 1-17, 1996
2521996
The model evolution calculus
P Baumgartner, C Tinelli
International Conference on Automated Deduction, 350-364, 2003
1132003
Protein: A PROver with a Theory Extension INterface
P Baumgartner, U Furbach
International Conference on Automated Deduction, 769-773, 1994
1001994
FDPLL—a first-order Davis-Putnam-Logeman-Loveland procedure
P Baumgartner
International Conference on Automated Deduction, 200-219, 2000
892000
Hyper tableau—the next generation
P Baumgartner
International Conference on Automated Reasoning with Analytic Tableaux and …, 1998
841998
Computing finite models by reduction to function-free clause logic
P Baumgartner, A Fuchs, H De Nivelle, C Tinelli
Journal of Applied Logic 7 (1), 58-74, 2009
752009
Implementing the model evolution calculus
P Baumgartner, A Fuchs, C Tinelli
International Journal on Artificial Intelligence Tools 15 (01), 21-52, 2006
742006
The TPTP typed first-order form with arithmetic
G Sutcliffe, S Schulz, K Claessen, P Baumgartner
International Conference on Logic for Programming Artificial Intelligence …, 2012
552012
Semantically guided theorem proving for diagnosis applications
P Baumgartner, P Fröhlich, U Furbach, W Nejdl
IJCAI (1), 460-465, 1997
531997
Blocking and other enhancements for bottom-up model generation methods
P Baumgartner, RA Schmidt
International Joint Conference on Automated Reasoning, 125-139, 2006
522006
Model Elimination without Contrapositives and its Application to PTTP
P Baumgartner, U Furbach
Journal of automated reasoning 13 (3), 339-359, 1994
521994
A novel architecture for situation awareness systems
F Baader, A Bauer, P Baumgartner, A Cregan, A Gabaldon, K Ji, K Lee, ...
International Conference on Automated Reasoning with Analytic Tableaux and …, 2009
502009
Characterization and tectonic implications of Mesozoic-Cenozoic oceanic assemblages of Costa Rica and Western Panama
P Denyer, PO Baumgartner, E Gazel
Geologica Acta 4 (1), 219, 2006
502006
Hierarchic superposition with weak abstraction
P Baumgartner, U Waldmann
International Conference on Automated Deduction, 39-57, 2013
462013
The model evolution calculus as a first-order DPLL method
P Baumgartner, C Tinelli
Artificial Intelligence 172 (4-5), 591-632, 2008
452008
Darwin: A theorem prover for the model evolution calculus
P Baumgartner, A Fuchs, C Tinelli
IJCAR Workshop on Empirically Successful First Order Reasoning (ESFOR (aka …, 2004
442004
AVIATR—Aerial vehicle for in-situ and airborne Titan reconnaissance
JW Barnes, L Lemke, R Foch, CP McKay, RA Beyer, J Radebaugh, ...
Experimental Astronomy 33 (1), 55-127, 2012
422012
The model evolution calculus with equality
P Baumgartner, C Tinelli
International Conference on Automated Deduction, 392-408, 2005
392005
Computing answers with model elimination
P Baumgartner, U Furbach, F Stolzenburg
Artificial Intelligence 90 (1-2), 135-176, 1997
381997
Hyper tableaux with equality
P Baumgartner, U Furbach, B Pelzer
International Conference on Automated Deduction, 492-507, 2007
372007
The system can't perform the operation now. Try again later.
Articles 1–20