Künstliche Intelligenz
Institut für Informatik / Universität Koblenz
Baumgartner, P.; Petermann, U.; Bibel, W. et al.
Chapter II.6: Theory ReasoningBibel, W.; Schmitt, P. H. (Hrsg). Automated Deduction. A basis for applications. Kluwer Academic Publishers 1998 S. 191-224
Dix, J.; Stolzenburg, F.
Section 1: Theory - A framework to incorporate non-monotonic reasoning into constraint logic programmingThe journal of logic programming. Bd. 37. H. 1. New York, NY: North-Holland 1998 S. 47 - 76
Brass, Stefan; Dix, Jürgen; Przymusinski, Teodor C.
Super logic programsKoblenz-Landau: Univ., Inst, für Informatik 1998 0 S. (Fachberichte Informatik ; 17/98)
Baumgartner, P.
Theory Reasoning in Connection CalculiLecture Notes in Artificial Intelligence. Springer 1998
Baumgartner, Peter; Furbach, Ulrich
Variants of Clausal TableauxWolfgang Bibel; Peter H. Schmitt (Hrsg). Automated Deduction-A Basis for Applications: Volume 1; Foundations - Calculi and Methods. Dordrecht: Kluwer Academic Publishers 1998 S. 73 - 102
Baumgartner, Peter; Aravindan, C.; Baumgartner, P. et al.
A Rational and Efficient Algorithm for View Deletion in DatabasesJ. Maluszynski (Hrsg). Logic Programming - Proceedings of the 1997 International Symposium. The MIT Press 1997
Baumgartner, P.; Furbach, U.; J. Maluszynski, J. Maluszynski
Calculi for Disjunctive Logic ProgrammingJ. Maluszynski (Hrsg). Logic Programming - Proceedings of the 1997 International Symposium. The MIT Press 1997
Dix, J.; Stolzenburg, F.
Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic ProgrammingLecture notes in computer science. Bd. 1216. Berlin: Springer 1997
Baumgartner, Peter; Furbach, Ulrich; Stolzenburg, Frieder
Computing answers with model eliminationArtificial Intelligence. Bd. 90. H. 1-2. Amsterdam: Elsevier 1997 S. 135 - 176
Stolzenburg, Frieder; Höhne, Stephan; Koch, Ulrich et al.
Constraint logic programming for computational linguisticsLecture notes in computer science. Bd. 1328. Berlin: Springer 1997 S. 406 - 425