Peter Baumgartner
Peter Baumgartner
Data61|CSIRO
Verified email at data61.csiro.au - Homepage
Title
Cited by
Cited by
Year
Hyper tableaux
P Baumgartner, U Furbach, I Niemelä
European Workshop on Logics in Artificial Intelligence, 1-17, 1996
2551996
The model evolution calculus
P Baumgartner, C Tinelli
International Conference on Automated Deduction, 350-364, 2003
1152003
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
902000
Hyper tableau—the next generation
P Baumgartner
International Conference on Automated Reasoning with Analytic Tableaux and …, 1998
871998
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
782009
Implementing the model evolution calculus
P Baumgartner, A Fuchs, C Tinelli
International Journal on Artificial Intelligence Tools 15 (01), 21-52, 2006
782006
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
602012
Hierarchic superposition with weak abstraction
P Baumgartner, U Waldmann
International Conference on Automated Deduction, 39-57, 2013
542013
Blocking and other enhancements for bottom-up model generation methods
P Baumgartner, RA Schmidt
International Joint Conference on Automated Reasoning, 125-139, 2006
532006
Model Elimination without Contrapositives and its Application to PTTP
P Baumgartner, U Furbach
Journal of automated reasoning 13 (3), 339-359, 1994
531994
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
522009
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
522006
Semantically guided theorem proving for diagnosis applications
P Baumgartner, P Fröhlich, U Furbach, W Nejdl
IJCAI (1), 460-465, 1997
511997
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
492012
The model evolution calculus as a first-order DPLL method
P Baumgartner, C Tinelli
Artificial Intelligence 172 (4-5), 591-632, 2008
462008
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
452004
Computing answers with model elimination
P Baumgartner, U Furbach, F Stolzenburg
Artificial Intelligence 90 (1-2), 135-176, 1997
401997
Hyper tableaux with equality
P Baumgartner, U Furbach, B Pelzer
International Conference on Automated Deduction, 492-507, 2007
392007
The model evolution calculus with equality
P Baumgartner, C Tinelli
International Conference on Automated Deduction, 392-408, 2005
392005
The system can't perform the operation now. Try again later.
Articles 1–20