Peter Baumgartner
Peter Baumgartner
Data61|CSIRO
E-mail confirmado em data61.csiro.au - Página inicial
Título
Citado por
Citado por
Ano
Hyper tableaux
P Baumgartner, U Furbach, I Niemelä
European Workshop on Logics in Artificial Intelligence, 1-17, 1996
2561996
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
981994
FDPLL—a first-order Davis-Putnam-Logeman-Loveland procedure
P Baumgartner
International Conference on Automated Deduction, 200-219, 2000
912000
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
802009
Implementing the model evolution calculus
P Baumgartner, A Fuchs, C Tinelli
International Journal on Artificial Intelligence Tools 15 (01), 21-52, 2006
802006
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
662012
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-2), 0219-235, 2006
572006
Hierarchic superposition with weak abstraction
P Baumgartner, U Waldmann
International Conference on Automated Deduction, 39-57, 2013
552013
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
542009
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
532012
Blocking and other enhancements for bottom-up model generation methods
P Baumgartner, RA Schmidt
International Joint Conference on Automated Reasoning, 125-139, 2006
532006
Semantically guided theorem proving for diagnosis applications
P Baumgartner, P Fröhlich, U Furbach, W Nejdl
IJCAI (1), 460-465, 1997
511997
Model Elimination without Contrapositives and its Application to PTTP
P Baumgartner, U Furbach
Journal of automated reasoning 13 (3), 339-359, 1994
511994
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
432004
Hyper tableaux with equality
P Baumgartner, U Furbach, B Pelzer
International Conference on Automated Deduction, 492-507, 2007
422007
The model evolution calculus with equality
P Baumgartner, C Tinelli
International Conference on Automated Deduction, 392-408, 2005
372005
Computing answers with model elimination
P Baumgartner, U Furbach, F Stolzenburg
Artificial Intelligence 90 (1-2), 135-176, 1997
361997
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20