Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
PuK-94, 8. Workshop "Planen und Konfigrieren", 18.-19. April 1994, Kaiserslautern, Proceedings
PuK. Bd. SWP-94-01. 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.Elektronische Informationsverarbeitung und Kybernetik. Bd. 29. H. 5. 1993 S. 249 - 267
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)
Fernau, Henning
Remarks on Adult Languages of Propagating Systems with Restricted Parallelism.Developments in Language Theory. 1993 S. 90 - 101
Bergmann, Ralph
Learning Plan Abstractions.GWAI. 1992 S. 187 - 198
Ley, Michael; Walter, Bernd
LILOG-DB: Some implementation techniques.CNKBS. 1992 S. 36 - 37
Ley, Michael
The Term Retrieval Machine.SIGMOD Conference. 1992 S. 154 - 163
Bergmann, Ralph
Knowledge Acquisition by Generating Skeletal Plans from Real World Cases.Contemporary Knowledge Engineering and Cognition. 1991 S. 125 - 133
Benzschawel, Stefan; Gehlen, Erich; Ley, Michael et al.
LILOG-DB: Database Support for Knowledge Based Systems.Text Understanding in LILOG. 1991 S. 501 - 594
Fernau, Henning
On Function-limited Lindenmayer Systems.Elektronische Informationsverarbeitung und Kybernetik. Bd. 27. H. 1. 1991 S. 21 - 53
Maier, Albert; Ley, Michael; Gehlen, Erich
Sort Processing in a Deductive Database SystemIWBS Report. Bd. 154. 1991
Ley, Michael
The Term Retrieval Abstract MachineIWBS Report. Bd. 202. 1991
Schmalhofer, Franz; Bergmann, Ralph; Kühn, Otto et al.
Using Integrated Knowledge Acquisition to Prepare Sophisticated Expert Plans for Their Re-Use in Novel Situations.GWAI. 1991 S. 62 - 71
Ley, Michael; Walter, Bernd
Der LILOG-DB-Fact-Manager: Ein Datenbankkern zur Speicherung variabel strukturierter komplexer Objekte.Inform., Forsch. Entwickl. Bd. 5. H. 4. 1990 S. 188 - 201
Ley, Michael; Walter, Bernd
Der LILOG-DB Fact Manager: Ein Datenbankkern zur Speicherung variabel strukturierter komplexer ObjekteIWBS Report. Bd. 107. 1989
Ludwig, Thomas; Walter, Bernd; Ley, Michael et al.
LILOG-DB: Database Support for Knowledge-Based Systems.BTW. 1989 S. 176 - 195
Ley, Michael
Ein Fact Manager zur persistenten Speicherung variabel strukturierter komplexer ObjekteLILOG-Report. Bd. 60. 1988
Ludwig, Thomas; Walter, Bernd; Ley, Michael et al.
LILOG-DB: Database Support for Knowledge-Based SystemsLILOG-Report. Bd. 56. 1988
Meinel, C.; Hludov, S.; C., Schröter
Adaptive Komprimierung von DICOM-Bildern
Meinel, C.; Müller, S.; Görg, H. - J. et al.
CryptoPay-Sicheres Bezahlen im InternetTechnical Reports 1998. Institute for Telematics