Suche
Kategorie
JGU Mainz (85458)
Uni Koblenz (18881)
18881 Treffer
×
Universität Koblenz
- Aravindan, C.; Alfares, J.J.; Pereira, E.
- An abductive framework for negation in disjunctive logic programming
- Alfares, J.J.; Pereira, L.M., Orlowska, E. (Hrsg). Proceedings of Joint European workshop on Logics in AI. Springer-Verlag 1996 S. 252-267
- Baumgartner, Peter
- Deduktion und Logisches Programmieren
- Koblenz-Landau: Univ., Inst. f. Informatik 1995 11 S. (Fachberichte Informatik ; 17/95)
- Furbach, U.; Baumgartner, Peter
- Hyper Tableaux and Disjunctive Logic Programming
- ICLP Workshop on Deductive Databases and Logic Programming. GMD 1996
- Baumgartner, P.; Furbach, U.; Niemelä, Ilkka
- Hyper Tableaux
- Proceedings Joint European workshop on Logics in AI '96. Springer 1996
- Baumgartner, P.; Beckert, Bernhard; Kühn, Michael et al.
- Extending Hyper Tableaux with Rigid E-Unification
- Prasser, K. (Hrsg). Workshop Deduktion, 20. Jahrestagung für künstliche Intelligenz, Zusammenfassungen. Fakultät Informatik, D-01062 Dresden: Technisches Universität Dresden 1996
- Brass, Stefan; Dix, Jürgen; Przymusinski, Teodor C.
- Super logic programs
- Koblenz-Landau: Univ., Inst, für Informatik 1998 0 S. (Fachberichte Informatik ; 17/98)
- Brewka, Gerhard; Dix, Jürgen; Konolige, Kurt
- Nonmonotonic reasoning : an overview
- Stanford, Calif.: CSLI Publ. 1997 0 S. (CSLI lecture notes ; 73)
- Dix, Jürgen; Furbach, Ulrich; Furbach, Ulrich
- Logisches Programmieren mit Negation und Disjunktion
- Koblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. ([Fachberichte Informatik ; 21/95)
- Aravindan, C.; Dix, J.; Niemelä, I.
- DisLoP: A research project on Disjunctive Logic Programming
- AI communications. AICOM ; the European journal on artificial intelligence. Bd. 10. H. 3. Amsterdam. 1997 S. 151 - 166
- Dix, Jürgen; Gottlob, Georg; Marek, V. Wiktor
- Reducing disjunctive to non-disjunctive semantics by shift-operations
- Koblenz-Landau: Univ., Inst. f. Informatik 1995 17 S. (Fachberichte Informatik ; 18/95)