Prof. Dr. Ulrich Furbach
Institut für Informatik, Universität Koblenz
- 0261/287 - 2728
- 0261/287 - 2731
Baumgartner, Peter; Furbach, Ulrich
Calculi for Disjunctive Logic ProgrammingKoblenz: Universität Koblenz-Landau, Fachbereich Informatik 1996
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, Peter; Furbach, Ullrich
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, Peter; Furbach, Ulrich
Refinements for Restart Model EliminationKoblenz: Universität Koblenz-Landau, Fachbereich Informatik 1996
Furbach, Ulrich
From Theorem Proving to Logic ProgrammingAndreas Krall; Ulrich Geske (Hrsg). 11. Workshop Logische Programmierung WLP 1995: Technische Universität Wien, 27.-29. September 1995, Proceedings. Sankt Augustin: GMD-Forschungszentrum Informationstechnik 1995 S. 59 - 62
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)