Ulrich Furbach
Ulrich Furbach
Prof of Computer Science, Univ. Koblenz
Verified email at furbach.de
Title
Cited by
Cited by
Year
Handbook of automated reasoning
AJA Robinson, A Voronkov
Gulf Professional Publishing, 2001
6792001
Digital libraries
EA Fox, RM Akscyn, RK Furuta, JJ Leggett
Communications of the ACM 38 (4), 22-28, 1995
3821995
Hyper tableaux
P Baumgartner, U Furbach, I Niemelä
European Workshop on Logics in Artificial Intelligence, 1-17, 1996
2451996
Protein: A PROver with a Theory Extension INterface
P Baumgartner, U Furbach
International Conference on Automated Deduction, 769-773, 1994
1011994
Nonmonotonic reasoning: Towards efficient calculi and implementations
J Dix, U Furbach, I Niemelä, G Brewka, M Truszczynski
Digital Repository at the University of Maryland, 1999
771999
Model Elimination without Contrapositives and its Application to PTTP
P Baumgartner, U Furbach
Journal of automated reasoning 13 (3), 339-359, 1994
531994
Semantically guided theorem proving for diagnosis applications
P Baumgartner, P Fröhlich, U Furbach, W Nejdl
IJCAI (1), 460-465, 1997
521997
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
482010
Hyper tableaux with equality
P Baumgartner, U Furbach, B Pelzer
International Conference on Automated Deduction, 492-507, 2007
402007
Computing answers with model elimination
P Baumgartner, U Furbach, F Stolzenburg
Artificial Intelligence 90 (1-2), 135-176, 1997
391997
Model elimination without contrapositives
P Baumgartner, U Furbach
International Conference on Automated Deduction, 87-101, 1994
381994
Tableaux for diagnosis applications
P Baumgartner, P Fröhlich, U Furbach, W Nejdl
International Conference on Automated Reasoning with Analytic Tableaux and …, 1997
361997
A unified approach to theory reasoning
P Baumgartner, U Furbach, U Petermann
Universität Koblenz-Landau. Institut für Informatik, 1992
351992
Consolution as a framework for comparing calculi
P Baumgartner, U Furbach
Journal of Symbolic Computation 16 (5), 445-477, 1993
341993
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
312011
A Resolution-Based Decision Procedure for
Y Kazakov, B Motik
International Joint Conference on Automated Reasoning, 662-677, 2006
312006
Horn equational theories and paramodulation
U Furbach, S Hölldobler, J Schreiber
Journal of Automated Reasoning 5 (3), 309-337, 1989
281989
Model elimination, logic programming and computing answers
P Baumgartner, U Furbach, F Stolzenburg
IJCAI, 335-341, 1995
271995
A confluent connection calculus
P Baumgartner, N Eisinger, U Furbach
International Conference on Automated Deduction, 329-343, 1999
261999
Living book–deduction, slicing, and interaction
P Baumgartner, U Furbach, M Gross-Hardt, A Sinner
Journal of Automated Reasoning 32 (3), 259-286, 2004
252004
The system can't perform the operation now. Try again later.
Articles 1–20