| Hyper tableaux P Baumgartner, U Furbach, I Niemelä European Workshop on Logics in Artificial Intelligence, 1-17, 1996 | 256 | 1996 |
| The model evolution calculus P Baumgartner, C Tinelli International Conference on Automated Deduction, 350-364, 2003 | 115 | 2003 |
| Protein: A PROver with a Theory Extension INterface P Baumgartner, U Furbach International Conference on Automated Deduction, 769-773, 1994 | 98 | 1994 |
| FDPLL—a first-order Davis-Putnam-Logeman-Loveland procedure P Baumgartner International Conference on Automated Deduction, 200-219, 2000 | 91 | 2000 |
| Hyper tableau—the next generation P Baumgartner International Conference on Automated Reasoning with Analytic Tableaux and …, 1998 | 84 | 1998 |
| 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 | 80 | 2009 |
| Implementing the model evolution calculus P Baumgartner, A Fuchs, C Tinelli International Journal on Artificial Intelligence Tools 15 (01), 21-52, 2006 | 80 | 2006 |
| 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 | 66 | 2012 |
| 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 | 57 | 2006 |
| Hierarchic superposition with weak abstraction P Baumgartner, U Waldmann International Conference on Automated Deduction, 39-57, 2013 | 55 | 2013 |
| 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 | 54 | 2009 |
| 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 | 53 | 2012 |
| Blocking and other enhancements for bottom-up model generation methods P Baumgartner, RA Schmidt International Joint Conference on Automated Reasoning, 125-139, 2006 | 53 | 2006 |
| Semantically guided theorem proving for diagnosis applications P Baumgartner, P Fröhlich, U Furbach, W Nejdl IJCAI (1), 460-465, 1997 | 51 | 1997 |
| Model Elimination without Contrapositives and its Application to PTTP P Baumgartner, U Furbach Journal of automated reasoning 13 (3), 339-359, 1994 | 51 | 1994 |
| The model evolution calculus as a first-order DPLL method P Baumgartner, C Tinelli Artificial Intelligence 172 (4-5), 591-632, 2008 | 46 | 2008 |
| 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 | 43 | 2004 |
| Hyper tableaux with equality P Baumgartner, U Furbach, B Pelzer International Conference on Automated Deduction, 492-507, 2007 | 42 | 2007 |
| The model evolution calculus with equality P Baumgartner, C Tinelli International Conference on Automated Deduction, 392-408, 2005 | 37 | 2005 |
| Computing answers with model elimination P Baumgartner, U Furbach, F Stolzenburg Artificial Intelligence 90 (1-2), 135-176, 1997 | 36 | 1997 |
Cesare TinelliProfessor of Computer Science, The University of IowaE-mail confirmado em uiowa.edu
