| Hyper tableaux P Baumgartner, U Furbach, I Niemelä European Workshop on Logics in Artificial Intelligence, 1-17, 1996 | 269 | 1996 |
| Protein: A PROver with a Theory Extension INterface P Baumgartner, U Furbach International Conference on Automated Deduction, 769-773, 1994 | 104 | 1994 |
| Nonmonotonic reasoning: Towards efficient calculi and implementations J Dix, U Furbach, I Niemelä Handbook of Automated Reasoning, 1241-1354, 2001 | 83 | 2001 |
| An application of automated reasoning in natural language question answering U Furbach, I Glöckner, B Pelzer Ai Communications 23 (2-3), 241-265, 2010 | 56 | 2010 |
| Semantically guided theorem proving for diagnosis applications P Baumgartner, P Fröhlich, U Furbach, W Nejdl IJCAI (1), 460-465, 1997 | 53 | 1997 |
| Model Elimination without Contrapositives and its Application to PTTP P Baumgartner, U Furbach Journal of automated reasoning 13, 339-359, 1994 | 52 | 1994 |
| Hyper tableaux with equality P Baumgartner, U Furbach, B Pelzer International Conference on Automated Deduction, 492-507, 2007 | 43 | 2007 |
| A natural language question answering system as a participant in human Q&A portals T Dong, U Furbach, I Glöckner, B Pelzer Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 39 | 2011 |
| Computing answers with model elimination P Baumgartner, U Furbach, F Stolzenburg Artificial Intelligence 90 (1-2), 135-176, 1997 | 38 | 1997 |
| A confluent connection calculus H Ganzinger, P Baumgartner, N Eisinger, U Furbach Automated Deduction—CADE-16: 16th International Conference on Automated …, 1999 | 37 | 1999 |
| A unified approach to theory reasoning P Baumgartner, U Furbach, U Petermann Universität Koblenz-Landau. Institut für Informatik, 1992 | 36 | 1992 |
| Model elimination without contrapositives P Baumgartner, U Furbach International Conference on Automated Deduction, 87-101, 1994 | 35 | 1994 |
| Tableaux for diagnosis applications P Baumgartner, P Fröhlich, U Furbach, W Nejdl Automated Reasoning with Analytic Tableaux and Related Methods …, 1997 | 33 | 1997 |
| Consolution as a framework for comparing calculi P Baumgartner, U Furbach Journal of Symbolic Computation 16 (5), 445-477, 1993 | 33 | 1993 |
| Horn equational theories and paramodulation U Furbach, S Hölldobler, J Schreiber Journal of Automated Reasoning 5, 309-337, 1989 | 29 | 1989 |
| Model elimination, logic programming and computing answers P Baumgartner, U Furbach, F Stolzenburg IJCAI, 335-341, 1995 | 28 | 1995 |
| Do we need Asimov's Laws? U Barthelmess, U Furbach arXiv preprint arXiv:1405.0961, 2014 | 27 | 2014 |
| Multi-robot systems: Modeling, specification, and model checking A Mohammed, U Furbach, F Stolzenburg Robot Soccer, 241-265, 2010 | 27 | 2010 |
| Living book–deduction, slicing, and interaction P Baumgartner, U Furbach, M Gross-Hardt, A Sinner Journal of Automated Reasoning 32 (3), 259-286, 2004 | 27 | 2004 |
| Hybrid multiagent systems with timed synchronization–specification and model checking U Furbach, J Murray, F Schmidsberger, F Stolzenburg International Workshop on Programming Multi-Agent Systems, 205-220, 2007 | 26 | 2007 |
