Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Steigner, C.
Die nächste Generation des Internet-KonzeptesAPS Nachrichten. Bd. APS Nachrichten. 1996 S. 18-23
Dix, Jürgen
Disjunctive logic programming and databasesSaarbrücken: Geschäftsstelle Schloss Dagstuhl 1996 27 S. (Dagstuhl-Seminar-Report ; 150 = 9627)
Rosendahl, M.; Roller, D.
Ein verallgemeinertes Segmentkonzept bei CAD-SystemenRoller, D. (Hrsg). Produktmodellierung Proceedings-Reihe der Informatik 96, Bd. 5. 1996
Baumgartner, P.; Beckert, Bernhard; Kühn, Michael et al.
Extending Hyper Tableaux with Rigid E-UnificationPrasser, K. (Hrsg). Workshop Deduktion, 20. Jahrestagung für künstliche Intelligenz, Zusammenfassungen. Fakultät Informatik, D-01062 Dresden: Technisches Universität Dresden 1996
Ebert, J.; Winter, Andreas; Dahm, Peter et al.
Graph Based Modeling and Implementation with EER/GRALKoblenz: Universität Koblenz-Landau, Fachbereich Informatik 1996 (11)
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