| 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. |
Donini, Francesco M. ; Lenzerini, Maurizio ; Nardi, Daniele ; Nutt, Werner
(1995)
The complexity of concept languages
Kaiserslautern ; Saarbrücken : DFKI, 1995
Report (Bericht)
|
| 5. |
Donini, Francesco M. ; Lenzerini, Maurizio ; Nardi, Daniele ; Nutt, Werner ; Schaerf, Andrea
(1993)
Queries, rules and definitions as epistemic statements in concept languages
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. |
Bürckert, Hans-Jürgen ; Nutt, Werner
(1992)
On abduction and answer generation through constrained resolution
Kaiserslautern ; Saarbrücken : DFKI, 1992
Report (Bericht)
|
| 8. |
Nutt, Werner
(1992)
Unification in monoidal theories is solving linear equations over semirings
Kaiserslautern ; Saarbrücken : DFKI, 1992
Report (Bericht)
|
| 9. |
Baader, Franz ; Bürckert, Hans-Jürgen ; Nebel, Bernhard ; Nutt, Werner ; Smolka, Gert
(1991)
On the expressivity of feature logics with negation, functional uncertainty, and sort equations
Kaiserslautern ; Saarbrücken : DFKI, 1991
Report (Bericht)
|
| 10. |
Donini, Francesco M. ; Hollunder, Bernhard ; Lenzerini, Maurizio ; Spaccamela, Alberto Marchetti ; Nard, Daniele ; Nutt, Werner
(1991)
The complexity of existential quantification in concept languages
Kaiserslautern ; Saarbrücken : DFKI, 1991
Report (Bericht)
|
