Prof. Dr. Ulrich Furbach
Institut für Informatik, Universität Koblenz
- 0261/287 - 2728
- 0261/287 - 2731
Baumgartner, Peter; Furbach, Ulrich; Stolzenburg, Frieder
Model Elimination, Logic Programming and Computing AnswersKoblenz: Universität Koblenz-Landau, Fachbereich Informatik 1995 S. 1 - 31 (Fachberichte Informatik ; 1/95)
Baumgartner, Peter; Furbach, Ulrich; Stolzenburg, Frieder
Applications of Theory Reasoning in Model EliminationPeter Baumgartner; H.-J. Bürckert; Hubert Comon; Alan M. Frisch; Ulrich Furbach; Nil Murray; Uwe Petermann; Mark Stickel (Hrsg). Theory Reasoning in Automated Deduction, CADE-12 Workshop Proceedings. Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 1994 S. 7 - 14
Baumgartner, Peter; Furbach, Ullrich
Lineare Vervollständigung für die Behandlung von Horntheorien: Research Report AIDA-94-02DFG-Colloquium ``Deduction´´. 1994
Baumgartner, Peter; Furbach, Ulrich
PROTEIN: A PROver with a Theory Extension InterfaceAlan Bundy (Hrsg). Automated Deduction - CADE-12: 12th International Conference on Automated Deduction; Nancy, France, June 26 – July 1, 1994 Proceedings. Bd. 814. Berlin: Springer 1994 S. 769 - 773
Baumgartner, Peter; Furbach, Ullrich
The Spectrum of Model Elimination Based Theorem ProvingProc. of the Workshop ``Automated Reasoning: Bridging the Gap between Theory and Practice´´. 1994
Baumgartner, Peter; Furbach, Ulrich
Model Elimination without Contrapositives and its Application to PTTPKoblenz: Universität Koblenz-Landau, Fachbereich Informatik 1993 S. 1 - 23 (Fachberichte Informatik ; 12/93)
Baumgartner, Peter; Furbach, Ulrich; Petermann, Uwe
A unified approach to theory reasoningKoblenz: Universität Koblenz-Landau, Fachbereich Informatik 1992 S. 59 (Fachberichte Informatik ; 1992,15)
Baumgartner, Peter; Furbach, Ulrich
Consolution as a framework for comparing calculiKoblenz: Universität Koblenz-Landau, Fachbereich Informatik 1992 S. 26 (Fachberichte Informatik ; 1992,11)
Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder
Automated Reasoning for Robot EthicsCoRR. S. 1 - 5
Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder
Cognitive Systems and Question AnsweringCoRR. S. 1 - 7