Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
Bergmann, Ralph; Wilke, Wolfgang
Lernen von Abstraktionshierarchien zur Optimierung der Auswahl von maschinell abstrahierten Plänen.PuK. 1994 S. 34 - 45
Fernau, Henning
Membership for 1-Limited ET0L Languages Is Not Decidable.J. Inf. Process. Cybern. Bd. 30. H. 4. 1994 S. 191 - 211
Bergmann, Ralph; Paulokat, Jürgen; Schoeller, Anna-Maria et al.
PuK-94, 8. Workshop "Planen und Konfigrieren", 18.-19. April 1994, Kaiserslautern, ProceedingsUniversität und DFKI Kaiserslautern 1994
Ferdinand, C.; Seidl, H.; Wilhelm, R.
Tree automata for code selectionActa informatica. Bd. 31. H. 8. Berlin: Springer 1994 S. 741 - 760
Fernau, Henning; Staiger, Ludwig
Valuations and Unambiguity of Languages, with Applications to Fractal Geometry.ICALP. 1994 S. 11 - 22
Fernau, Henning
Adult Languages of Propagating Systems with Restricted Parallelism.J. Inf. Process. Cybern. Bd. 29. H. 5. 1993 S. 249 - 267
Ley, Michael
Ein Datenbankkern zur Speicherung variabel strukturierter Feature-Terme. Implementierungstechniken.Bd. 41. Infix Verlag, St. Augustin, Germany 1993 S. 1 - 263
Bergmann, Ralph; Pews, Gerhard; Wilke, Wolfgang
Explanation-Based Similarity: A Unifying Approach for Integrating Domain Knowledge into Case-Based Reasoning for Diagnosis and Planning Tasks.EWCBR. 1993 S. 182 - 196
Bergmann, Ralph
Learning Hierarchically Clustered Shared Plan Abstractions as Problem Solving Knowledge with High Utility for Planning.PuK. 1993 S. 97 - 108
Seidl, Helmut
Least solutions of equations over NSaarbrücken: Sonderforschungsbereich 124 VLSI Entwurfsmethoden und Parallelität 1993 15 S. (Preprint ; 1993,8)