Suche
Kategorie
JGU Mainz (85458)
Uni Koblenz (18881)
18881 Treffer
×
Universität Koblenz
- Dix, Jürgen
- Disjunctive logic programming and databases
- Saarbrücken: Geschäftsstelle Schloss Dagstuhl 1996 27 S. (Dagstuhl-Seminar-Report ; 150 = 9627)
- Dix, J.; Stolzenburg, F.
- Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming
- Lecture notes in computer science. Bd. 1216. Berlin: Springer 1997
- Stolzenburg, Frieder; Höhne, Stephan; Koch, Ulrich et al.
- Constraint logic programming for computational linguistics
- Lecture notes in computer science. Bd. 1328. Berlin: Springer 1997 S. 406 - 425
- Stolzenburg, Frieder; Thomas, Bernd
- Analysing rule sets for the calculation of banking fees by a theorem prover with constraints
- Koblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. (Fachberichte Informatik ; 14/95)
- Stolzenburg, Frieder
- Membership-constraints and complexity in logic programming with sets
- Koblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. (Fachberichte Informatik ; 13/95)
- Stolzenburg, Frieder
- A flexible System for Constraint Disjunctive Logic Programming
- Künstliche Intelligenz. KI ; Forschung, Entwicklung, Erfahrungen ; Organ des Fachbereichs 1 Künstliche Intelligenz der Gesellschaft für Informatik e.V., GI. Bd. 12. H. 2. Bremen: Böttcher IT-Verl. 1998 S. 73 - 78
- Bresink, M.
- Radiosity 2.0 Entwicklerdokumentation
- 1995
- Harbusch, K.; Choi, K.-S.
- Generating from Discourse Representation Structures or Why should "Meets" Meet "Meeting" in a DRS?
- Choi, K.-S. (Hrsg). Proceedings of the Natural Language Processing Pacific Rim Symposiums '95 (NLPRS). 1995 S. 83-88
- Harbusch, K.
- How to Solve the Conflict of Structure-preserving Translation and Fluent Text Production
- Proceedings of the 7th International Conference on Theoretical and Methodological Issues in Machine Translation (TMI-97). 1997 S. 87-94
- Harbusch, K.; Becker, Timma; Krieger, Ulrich
- The Relation Between Tree-Adjoining Grammars and Constraint Dependency Grammars
- Becker, Timma; Krieger, Ulrich (Hrsg). Proceedings of the 5th Meeting on Mathematics of Language (MOL 5). 1997 S. 38-45