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
2611996
Protein: A PROver with a Theory Extension INterface
P Baumgartner, U Furbach
International Conference on Automated Deduction, 769-773, 1994
1051994
Nonmonotonic reasoning: Towards efficient calculi and implementations
J Dix, U Furbach, I Niemelä
Handbook of Automated Reasoning, 1241-1354, 2001
822001
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
562010
Model Elimination without Contrapositives and its Application to PTTP
P Baumgartner, U Furbach
Journal of automated reasoning 13, 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
Hyper tableaux with equality
P Baumgartner, U Furbach, B Pelzer
International Conference on Automated Deduction, 492-507, 2007
432007
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
382011
Computing answers with model elimination
P Baumgartner, U Furbach, F Stolzenburg
Artificial Intelligence 90 (1-2), 135-176, 1997
381997
A confluent connection calculus
H Ganzinger, P Baumgartner, N Eisinger, U Furbach
Automated Deduction—CADE-16: 16th International Conference on Automated …, 1999
361999
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
Consolution as a framework for comparing calculi
P Baumgartner, U Furbach
Journal of Symbolic Computation 16 (5), 445-477, 1993
341993
Tableaux for diagnosis applications
P Baumgartner, P Fröhlich, U Furbach, W Nejdl
Automated Reasoning with Analytic Tableaux and Related Methods …, 1997
321997
Horn equational theories and paramodulation
U Furbach, S Hölldobler, J Schreiber
Journal of Automated Reasoning 5, 309-337, 1989
291989
Living book–deduction, slicing, and interaction
P Baumgartner, U Furbach, M Gross-Hardt, A Sinner
Journal of Automated Reasoning 32 (3), 259-286, 2004
272004
Model elimination, logic programming and computing answers
P Baumgartner, U Furbach, F Stolzenburg
IJCAI, 335-341, 1995
271995
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
262007
Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
U Furbach, N Shankar
Springer, 2006
26*2006
Do we need Asimov's Laws?
U Barthelmess, U Furbach
arXiv preprint arXiv:1405.0961, 2014
242014
The system can't perform the operation now. Try again later.
Articles 1–20