Künstliche Intelligenz
Institut für Informatik / Universität Koblenz
Baumgartner, P.
Theory Reasoning in Connection Calculi and the Linearizing Completion Approach1996
Baumgartner, Peter; Brüning, Stefan
A disjunctive positive refinement of model elimination and its application to subsumption deletionKoblenz-Landau: Univ., Inst. f. Informatik 1995 48 S. (Fachberichte Informatik ; 6/95)
Stolzenburg, Frieder; Thomas, Bernd
Analysing rule sets for the calculation of banking fees by a theorem prover with constraintsKoblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. (Fachberichte Informatik ; 14/95)
Baumgartner, Peter
Deduktion und Logisches ProgrammierenKoblenz-Landau: Univ., Inst. f. Informatik 1995 11 S. (Fachberichte Informatik ; 17/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)
Stolzenburg, Frieder
Membership-constraints and complexity in logic programming with setsKoblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. (Fachberichte Informatik ; 13/95)
Dix, Jürgen; Gottlob, Georg; Marek, V. Wiktor
Reducing disjunctive to non-disjunctive semantics by shift-operationsKoblenz-Landau: Univ., Inst. f. Informatik 1995 17 S. (Fachberichte Informatik ; 18/95)
Baumgartner, P.; Furbach, U.; Thomas, B.
Model based deduction for knowledge representation17. WLP - Workshop Logische Programmierung.