Follow
Ulrich Furbach
Ulrich Furbach
Prof of Computer Science, Univ. Koblenz
Verified email at furbach.de
Title
Cited by
Cited by
Year
Hyper tableaux
P Baumgartner, U Furbach, I Niemelä
European Workshop on Logics in Artificial Intelligence, 1-17, 1996
2731996
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ä
Handbook of Automated Reasoning, 1241-1354, 2001
782001
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
522010
Semantically guided theorem proving for diagnosis applications
P Baumgartner, P Fröhlich, U Furbach, W Nejdl
IJCAI (1), 460-465, 1997
511997
Model Elimination without Contrapositives and its Application to PTTP
P Baumgartner, U Furbach
Journal of automated reasoning 13 (3), 339-359, 1994
511994
Hyper tableaux with equality
P Baumgartner, U Furbach, B Pelzer
International Conference on Automated Deduction, 492-507, 2007
432007
Computing answers with model elimination
P Baumgartner, U Furbach, F Stolzenburg
Artificial Intelligence 90 (1-2), 135-176, 1997
391997
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
352011
Consolution as a framework for comparing calculi
P Baumgartner, U Furbach
Journal of Symbolic Computation 16 (5), 445-477, 1993
351993
A unified approach to theory reasoning
P Baumgartner, U Furbach, U Petermann
Universität Koblenz-Landau. Institut für Informatik, 1992
351992
Model elimination without contrapositives
P Baumgartner, U Furbach
International Conference on Automated Deduction, 87-101, 1994
341994
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 confluent connection calculus
P Baumgartner, N Eisinger, U Furbach
International Conference on Automated Deduction, 329-343, 1999
291999
Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
U Furbach, N Shankar
Springer, 2006
28*2006
Model elimination, logic programming and computing answers
P Baumgartner, U Furbach, F Stolzenburg
IJCAI, 335-341, 1995
281995
Living book–deduction, slicing, and interaction
P Baumgartner, U Furbach, M Gross-Hardt, A Sinner
Journal of Automated Reasoning 32 (3), 259-286, 2004
262004
Horn equational theories and paramodulation
U Furbach, S Hölldobler, J Schreiber
Journal of Automated Reasoning 5 (3), 309-337, 1989
261989
Deduktion
W Bibel
Deduktion, 2020
252020
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
242007
The system can't perform the operation now. Try again later.
Articles 1–20