Prof. Dr. Ulrich Furbach
Institut für Informatik, Universität Koblenz
- 0261/287 - 2728
- 0261/287 - 2731
Baumgartner, P.; Furbach, U.; Stolzenburg, F.
Computing Answers and Logic Programming by Model Elimination Based Theorem ProvingProc. of the Workshop ``Automated Reasoning: Bridging the Gap between Theory and Practice´´. 1995
Dix, Jürgen; Furbach, Ulrich; Furbach, Ulrich
Logisches Programmieren mit Negation und DisjunktionKoblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. ([Fachberichte Informatik ; 21/95)
Dix, Jürgen; Furbach, Ulrich; Furbach, Ulrich
Logisches Programmieren mit Negation und DisjunktionKoblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. ([Fachberichte Informatik ; 21/95)
Baumgartner, Peter; Furbach, Ulrich; Stolzenburg, Frieder
Model elimination, logic programming and computing answersKoblenz-Landau: Univ., Inst. f. Informatik 1995 31 S. (Fachberichte Informatik ; 1/95)
Baumgartner, P.; Furbach, U.; Stolzenburg, F. et al.
Applications of Theory Reasoning in Model EliminationBaumgartner, P. et al. (Hrsg). Theory Reasoning in Automated Deduction, CADE-12 Workshop Proceedings. 1994
Baumgartner, P.; Furbach, U.
Lineare Vervollständigung für die Behandlung von HorntheorienDFG-Colloquium ``Deduction´´. 1994
Baumgartner, Peter; Furbach, Ulrich
PROTEIN: A PROver with a Theory Extension INterfaceLecture notes in computer science. Bd. 814. Berlin: Springer 1994 S. 769 - 773
Baumgartner, P.; Furbach, U.
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: Inst. für Informatik, Univ. 1993 23 S. (Fachberichte Informatik ; 12/93)
Baumgartner, Peter; Furbach, Ulrich; Petermann, Uwe
A unified approach to theory reasoningKoblenz: Inst. für Informatik, Univ. 1992 59 S. (Fachberichte Informatik ; 1992,15)