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
2701996
Protein: A PROver with a Theory Extension INterface
P Baumgartner, U Furbach
International Conference on Automated Deduction, 769-773, 1994
1041994
Nonmonotonic reasoning: Towards efficient calculi and implementations
J Dix, U Furbach, I Niemelä
Handbook of Automated Reasoning, 1241-1354, 2001
832001
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
Semantically guided theorem proving for diagnosis applications
P Baumgartner, P Fröhlich, U Furbach, W Nejdl
IJCAI (1), 460-465, 1997
531997
Model Elimination without Contrapositives and its Application to PTTP
P Baumgartner, U Furbach
Journal of automated reasoning 13, 339-359, 1994
521994
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
392011
A confluent connection calculus
H Ganzinger, P Baumgartner, N Eisinger, U Furbach
Automated Deduction—CADE-16: 16th International Conference on Automated …, 1999
381999
Computing answers with model elimination
P Baumgartner, U Furbach, F Stolzenburg
Artificial Intelligence 90 (1-2), 135-176, 1997
381997
A unified approach to theory reasoning
P Baumgartner, U Furbach, U Petermann
Universität Koblenz-Landau. Institut für Informatik, 1992
361992
Model elimination without contrapositives
P Baumgartner, U Furbach
International Conference on Automated Deduction, 87-101, 1994
351994
Tableaux for diagnosis applications
P Baumgartner, P Fröhlich, U Furbach, W Nejdl
Automated Reasoning with Analytic Tableaux and Related Methods …, 1997
331997
Consolution as a framework for comparing calculi
P Baumgartner, U Furbach
Journal of Symbolic Computation 16 (5), 445-477, 1993
331993
Do we need Asimov's Laws?
U Barthelmess, U Furbach
arXiv preprint arXiv:1405.0961, 2014
292014
Horn equational theories and paramodulation
U Furbach, S Hölldobler, J Schreiber
Journal of Automated Reasoning 5, 309-337, 1989
291989
Model elimination, logic programming and computing answers
P Baumgartner, U Furbach, F Stolzenburg
IJCAI, 335-341, 1995
281995
Multi-robot systems: Modeling, specification, and model checking
A Mohammed, U Furbach, F Stolzenburg
Robot Soccer, 241-265, 2010
272010
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
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
The system can't perform the operation now. Try again later.
Articles 1–20