| Hyper tableaux P Baumgartner, U Furbach, I Niemelä Logics in Artificial Intelligence: European Workshop, JELIA'96 Évora …, 2005 | 254 | 2005 |
| The model evolution calculus P Baumgartner, C Tinelli CADE 2741, 350-364, 2003 | 118 | 2003 |
| Protein: A prover with a theory extension interface P Baumgartner, U Furbach CADE, 769-773, 1994 | 101 | 1994 |
| FDPLL—a first-order Davis-Putnam-Logeman-Loveland procedure P Baumgartner Automated Deduction-CADE-17: 17th International Conference on Automated …, 2000 | 93 | 2000 |
| Hyper tableau—the next generation P Baumgartner Automated Reasoning with Analytic Tableaux and Related Methods …, 1998 | 92 | 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 | 87 | 2009 |
| The TPTP typed first-order form with arithmetic G Sutcliffe, S Schulz, K Claessen, P Baumgartner Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012 | 82 | 2012 |
| Implementing the model evolution calculus P Baumgartner, A Fuchs, C Tinelli International Journal on Artificial Intelligence Tools 15 (01), 21-52, 2006 | 82 | 2006 |
| Hierarchic superposition with weak abstraction P Baumgartner, U Waldmann Automated Deduction–CADE-24: 24th International Conference on Automated …, 2013 | 65 | 2013 |
| A Novel Architecture for Situation Awareness Systems. F Baader, A Bauer, P Baumgartner, A Cregan, A Gabaldon, K Ji, K Lee, ... TABLEAUX, 77-92, 2009 | 60 | 2009 |
| Model Elimination without Contrapositives and its Application to PTTP P Baumgartner, U Furbach Journal of automated reasoning 13, 339-359, 1994 | 53 | 1994 |
| Blocking and other enhancements for bottom-up model generation methods P Baumgartner, RA Schmidt Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006 | 52 | 2006 |
| Semantically guided theorem proving for diagnosis applications P Baumgartner, P Fröhlich, U Furbach, W Nejdl IJCAI (1), 460-465, 1997 | 52 | 1997 |
| The model evolution calculus as a first-order DPLL method P Baumgartner, C Tinelli Artificial Intelligence 172 (4-5), 591-632, 2008 | 50 | 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 | 45 | 2004 |
| Hyper tableaux with equality P Baumgartner, U Furbach, B Pelzer Automated Deduction–CADE-21: 21st International Conference on Automated …, 2007 | 43 | 2007 |
| The Taming of the (X) OR P Baumgartner, F Massacci Computational Logic—CL 2000: First International Conference London, UK …, 2000 | 40 | 2000 |
| Computing answers with model elimination P Baumgartner, U Furbach, F Stolzenburg Artificial Intelligence 90 (1-2), 135-176, 1997 | 40 | 1997 |
| Lemma learning in the model evolution calculus P Baumgartner, A Fuchs, C Tinelli Logic for Programming, Artificial Intelligence, and Reasoning: 13th …, 2006 | 38 | 2006 |
| The model evolution calculus with equality P Baumgartner, C Tinelli CADE 3632, 392-408, 2005 | 38 | 2005 |
Cesare TinelliProfessor of Computer Science, The University of IowaVerified email at uiowa.edu
