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
6682001
Digital libraries
EA Fox, RM Akscyn, RK Furuta, JJ Leggett
Communications of the ACM 38 (4), 22-28, 1995
3781995
Hyper tableaux
P Baumgartner, U Furbach, I Niemelä
European Workshop on Logics in Artificial Intelligence, 1-17, 1996
2551996
Protein: A PROver with a Theory Extension INterface
P Baumgartner, U Furbach
International Conference on Automated Deduction, 769-773, 1994
1001994
Nonmonotonic reasoning: Towards efficient calculi and implementations
J Dix, U Furbach, I Niemelä
Handbook of Automated Reasoning 2 (18), 1121-1234, 2001
772001
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
511997
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
Computing answers with model elimination
P Baumgartner, U Furbach, F Stolzenburg
Artificial Intelligence 90 (1-2), 135-176, 1997
401997
Hyper tableaux with equality
P Baumgartner, U Furbach, B Pelzer
International Conference on Automated Deduction, 492-507, 2007
392007
Model elimination without contrapositives
P Baumgartner, U Furbach
International Conference on Automated Deduction, 87-101, 1994
371994
Consolution as a framework for comparing calculi
P Baumgartner, U Furbach
Journal of Symbolic Computation 16 (5), 445-477, 1993
341993
A unified approach to theory reasoning
P Baumgartner, U Furbach, U Petermann
Universität Koblenz-Landau. Institut für Informatik, 1992
341992
Tableaux for diagnosis applications
P Baumgartner, P Fröhlich, U Furbach, W Nejdl
International Conference on Automated Reasoning with Analytic Tableaux and …, 1997
331997
A Resolution-Based Decision Procedure for
Y Kazakov, B Motik
International Joint Conference on Automated Reasoning, 662-677, 2006
302006
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
292011
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
242004
The system can't perform the operation now. Try again later.
Articles 1–20