| 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. |
Nebel, Bernhard ; Bürckert, Hans-Jürgen
(1993)
Reasoning about temporal relations : a maximal tractable subclass of Allen's interval algebra
Kaiserslautern ; Saarbrücken : DFKI, 1993
Report (Bericht)
|
| 4. |
Heinsohn, Jochen ; Kudenko, Daniel ; Nebel, Bernhard ; Profitlich, Hans-Jürgen
(1992)
An empirical analysis of terminological representation systems
Report (Bericht)
|
| 5. |
Nebel, Bernhard ; Koehler, Jana
(1992)
Plan modifications versus plan generation : a complexity-theoretic perspective
Kaiserslautern ; Saarbrücken : DFKI, 1992
Report (Bericht)
|
| 6. |
Nebel, Bernhard ; Smolka, Gert
(1991)
Attributive description formalisms and the rest of the world
Report (Bericht)
|
| 7. |
Nebel, Bernhard
(1991)
Belief revision and default reasoning : syntax-based approaches
Kaiserslautern ; Saarbrücken : DFKI, 1991
Report (Bericht)
|
| 8. |
Nebel, Bernhard ; Bäckström, Christer
(1991)
On the computational complexity of temporal projection and some related problems
Kaiserslautern ; Saarbrücken : DFKI, 1991
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. |
Nebel, Bernhard
(1990)
Reasoning and revision in hybrid representation systems
Dissertation
|
