| 1. |
Buchheit, Martin ; Donini, Francesco M. ; Nutt, Werner ; Schaerf, Andrea
(1995)
A refined architecture for terminological systems : terminology = schema + views
Kaiserslautern ; Saarbrücken : DFKI, 1995
Report (Bericht)
|
| 2. |
Buchheit, Martin ; Klein, Rüdiger ; Nutt, Werner
(1995)
Constructive problem solving : a model construction approach towards configuration
Kaiserslautern ; Saarbrücken : DFKI, 1995
Report (Bericht)
|
| 3. |
Buchheit, Martin ; Bürckert, Hans-Jürgen ; Hollunder, Bernhard ; Laux, Armin ; Nutt, Werner ; Wójcik, Marek
(1995)
Task acquisition with a description logic reasoner
Kaiserslautern ; Saarbrücken : DFKI, 1995
Report (Bericht)
|
| 4. |
Baader, Franz ; Buchheit, Martin ; Hollunder, Bernhard
(1993)
Cardinality restrictions on concepts
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| 5. |
Buchheit, Martin ; Donini, Francesco M. ; Schaerf, Andrea
(1993)
Decidable reasoning in terminological knowledge representation systems
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| 6. |
Buchheit, Martin ; Jeusfeld, Manfred A. ; Nutt, Werner ; Staudt, Martin
(1993)
Subsumption between queries to object-oriented databases
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| 7. |
Buchheit, Martin
(1992)
Klassische Kommunikations- und Koordinationsmodelle
Kaiserslautern ; Saarbrücken : DFKI, 1992
Report (Bericht)
|
