Prof. Dr. Ulrich Furbach
Institut für Informatik, Universität Koblenz
- 0261/287 - 2728
- 0261/287 - 2731
Baumgartner, P.; Furbach, U.; Frank, M. S. S. et al.
Model based deduction for knowledge representation (position paper)Frank, M. S. S.; Noy, N. (Hrsg). International Workshop on the Semantic Web, Workshop at WWW2002. 2002
Dahn, I.; Armbruster, M.; Furbach, U. et al.
Slicing Books - the Author´s PerspectiveBromme, R., Stahl, E. (Hrsg). Writing Hypertext and Learning - Conceptual and Empirical Approaches. Pergamon Press 2002 S. 125-152
Furbach, U.; Obst, O.; Stolzenburg, F.
Intelligente Agenten und KILOG IN - Informatische Bildung und Computer in der Schule. Bd. LOG IN - Informatische Bildung und Computer in der Schule. 2000 S. 17-21
Baumgartner, Peter; Eisinger, Norbert; Furbach, Ulrich
10. A Confluent Connection CalculusLecture notes in computer science. Bd. 1632. Berlin: Springer 1999 S. 329 - 343
Baumgartner, Peter; Dahn, Ingo; Dix, Jürgen et al.
Automated Deduction : a technological Point of ViewKünstliche Intelligenz. KI ; Forschung, Entwicklung, Erfahrungen ; Organ des Fachbereichs 1 Künstliche Intelligenz der Gesellschaft für Informatik e.V., GI. Bd. 12. H. 4. Bremen: Böttcher IT-Verl. 1998 S. 7 - 14
Baumgartner, P.; Furbach, U.; Bibel, W. et al.
Chapter I.3: Variants of Clausal TableauxBibel, W.; Schmitt, P. H. (Hrsg). Automated Deduction. A basis for applications. Kluwer Academic Publishers 1998 S. 73-102
Baumgartner, P.; Furbach, U.; Stolzenburg, F.
Computing answers with model eliminationArtificial intelligence. an international journal. Bd. 90. H. 1. Amsterdam: Elsevier 1997 S. 135 - 176
Baumgartner, P.; Fröhlich, P.; Furbach, U. et al.
Semantically Guided Theorem Proving for Diagnosis ApplicationsM. E. Pollack (Hrsg). 15th International Joint Conference on Artificial Intelligence (IJCAI 97). Morgan Kaufmann 1997 S. 460-465
Baumgartner, P.; Fröhlich, P.; Furbach, U. et al.
Tableaux for Diagnosis ApplicationsD. Galmiche (Hrsg). Automated Reasoning with Analytic Tableaux and Related Methods. Springer 1997 S. 76-90
Baumgartner, P.; Furbach, U.
Calculi for Disjunctive Logic Programming1996
Baumgartner, P.; Furbach, U.; Niemelä, Ilkka
Hyper TableauxProceedings Joint European workshop on Logics in AI '96. Springer 1996
Furbach, U.; Baumgartner, Peter
Hyper Tableaux and Disjunctive Logic ProgrammingICLP Workshop on Deductive Databases and Logic Programming. GMD 1996
Baumgartner, P.; Furbach, U.
Hyper Tableaux. Part I: Proof Procedure and Model GenerationDagstuhl-Seminar Reports Disjunctive logic programming and databases: Non-monotonic aspects. 1996
Baumgartner, Peter
Linear and Unit-Resulting Refutations for Horn TheoriesJournal of automated reasoning. Bd. 16. H. 3. Dordrecht [u.a.]: Springer 1996 S. 241 - 320
Chandrabose, Aravindan; Baumgartner, Peter; Dix, Jürgen et al.
On Merging Theorem Proving and Logic Programming ParadigmsMaher, M. (Hrsg). Proceedings of the Joint International Conference and Symposiums on Logic Programming, Bad Honnef. Cambridge, MA, London, England: MIT Press 1996 S. 546
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)