| 1. |
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)
|
| 2. |
Nebel, Bernhard ; Koehler, Jana
(1993)
Plan reuse versus plan generation : a theoretical and empirical analysis
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| 3. |
Heinsohn, Jochen ; Kudenko, Daniel ; Nebel, Bernhard ; Profitlich, Hans-Jürgen
(1992)
An empirical analysis of terminological representation systems
Report (Bericht)
|
| 4. |
Nebel, Bernhard ; Koehler, Jana
(1992)
Plan modifications versus plan generation : a complexity-theoretic perspective
Kaiserslautern ; Saarbrücken : DFKI, 1992
Report (Bericht)
|
| 5. |
Nebel, Bernhard
(1991)
Belief revision and default reasoning : syntax-based approaches
Kaiserslautern ; Saarbrücken : DFKI, 1991
Report (Bericht)
|
| 6. |
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)
|
| 7. |
Baader, Franz ; Bürckert, Hans-Jürgen ; Heinsohn, Jochen ; Hollunder, Bernhard ; Müller, Jürgen ; Nebel, Bernhard ; Nutt, Werner ; Profitlich, Hans-Jürgen
(1990)
Terminological knowledge representation : a proposal for a terminological logic
Kaiserslautern ; Saarbrücken : DFKI, 1990
Report (Bericht)
|
