| 1. |
Baader, Franz ; Laux, Armin
(1994)
Terminological logics with modal operators
Kaiserslautern ; Saarbrücken : DFKI, 1994
Report (Bericht)
|
| 2. |
Baader, Franz ; Schlechta, Karl
(1993)
A semantics for open normal defaults via a modified preferential approach
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| 3. |
Baader, Franz ; Hollunder, Bernhard ; Nebel, Bernhard ; Profitlich, Hans-Jürgen ; Franconi, Enrico
(1993)
An empirical analysis of optimization techniques for terminological representation systems : or: 'Making KRIS get a move on'
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| 4. |
Baader, Franz ; Buchheit, Martin ; Hollunder, Bernhard
(1993)
Cardinality restrictions on concepts
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| 5. |
Baader, Franz ; Schulz, Klaus U.
(1993)
Combination techniques and decision problems for disunification
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| 6. |
Baader, Franz ; Hollunder, Bernhard
(1993)
Embedding defaults into terminological knowledge representation formalisms
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| 7. |
Baader, Franz ; Hanschke, Philipp
(1992)
Extensions of concept languages for a mechanical engineering application
Kaiserslautern ; Saarbrücken : DFKI, 1992
Report (Bericht)
|
| 8. |
Baader, Franz ; Hollunder, Bernhard
(1992)
How to prefer more specific defaults in terminological default logic
Kaiserslautern ; Saarbrücken : DFKI, 1992
Report (Bericht)
|
| 9. |
Baader, Franz
(1992)
Unification theory
Kaiserslautern ; Saarbrücken : DFKI, 1992
Report (Bericht)
|
| 10. |
Baader, Franz ; Hanschke, Philipp
(1991)
A scheme for integrating concrete domains into concept languages
Kaiserslautern ; Saarbrücken : DFKI, 1991
Report (Bericht)
|
