| Hyper tableaux P Baumgartner, U Furbach, I Niemelä European Workshop on Logics in Artificial Intelligence, 1-17, 1996 | 269 | 1996 |
| The model evolution calculus P Baumgartner, C Tinelli International Conference on Automated Deduction, 350-364, 2003 | 123 | 2003 |
| Protein: A PROver with a Theory Extension INterface P Baumgartner, U Furbach International Conference on Automated Deduction, 769-773, 1994 | 104 | 1994 |
| 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 | 102 | 2012 |
| 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 | 100 | 2009 |
| FDPLL—a first-order Davis-Putnam-Logeman-Loveland procedure P Baumgartner International Conference on Automated Deduction, 200-219, 2000 | 100 | 2000 |
| Hyper tableau—the next generation P Baumgartner International Conference on Automated Reasoning with Analytic Tableaux and …, 1998 | 97 | 1998 |
| Implementing the model evolution calculus P Baumgartner, A Fuchs, C Tinelli International Journal on Artificial Intelligence Tools 15 (01), 21-52, 2006 | 87 | 2006 |
| Hierarchic superposition with weak abstraction P Baumgartner, U Waldmann International Conference on Automated Deduction, 39-57, 2013 | 76 | 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 | 59 | 2009 |
| Blocking and other enhancements for bottom-up model generation methods P Baumgartner, RA Schmidt International Joint Conference on Automated Reasoning, 125-139, 2006 | 56 | 2006 |
| The model evolution calculus as a first-order DPLL method P Baumgartner, C Tinelli Artificial Intelligence 172 (4-5), 591-632, 2008 | 53 | 2008 |
| Model Elimination without Contrapositives and its Application to PTTP P Baumgartner, U Furbach Journal of automated reasoning 13 (3), 339-359, 1994 | 52 | 1994 |
| Semantically guided theorem proving for diagnosis applications P Baumgartner, P Fröhlich, U Furbach, W Nejdl IJCAI (1), 460-465, 1997 | 50 | 1997 |
| The Taming of the (X) OR P Baumgartner, F Massacci International Conference on Computational Logic, 508-522, 2000 | 47 | 2000 |
| 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 International Conference on Automated Deduction, 492-507, 2007 | 43 | 2007 |
| Lemma learning in the model evolution calculus P Baumgartner, A Fuchs, C Tinelli International Conference on Logic for Programming Artificial Intelligence …, 2006 | 42 | 2006 |
| An ordered theory resolution calculus P Baumgartner International Conference on Logic for Programming Artificial Intelligence …, 1992 | 41 | 1992 |
| The model evolution calculus with equality P Baumgartner, C Tinelli International Conference on Automated Deduction, 392-408, 2005 | 39 | 2005 |
Ulrich FurbachProf of Computer Science, Univ. KoblenzVerified email at furbach.de
