Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Aravindan, C.; Görz, G.; Hölldobler, S.
"DisLoP: A disjunctive logic programming system based on PROTEIN theorem proverGörz, G.; Hölldobler, S. (Hrsg). Proceedings of KI '96. Springer-Verlag 1996 S. 19-23
Rosendahl, M.; Berling, R.; Du, C. et al.
A Generalized Segment ConceptRoller, D.; Brunet, P. (Hrsg). CAD Systems Development - Tools and Methods. Berlin: Springer Verlag 1996
Aravindan, C.; Alfares, J.J.; Pereira, E.
An abductive framework for negation in disjunctive logic programmingAlfares, 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; Furbach, Ulrich
Calculi for Disjunctive Logic ProgrammingKoblenz: Universität Koblenz-Landau, Fachbereich Informatik 1996
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