|
51 |
Attributive description formalisms and the rest of the world
Nebel, Bernhard. - Kaiserslautern : DFKI, 1991
|
|
|
|
52 |
Belief revision and default reasoning
Nebel, Bernhard. - Kaiserslautern : DFKI, 1991
|
|
|
|
53 |
International Workshop on Terminological Logics
International Workshop on Terminological Logics (2 : 1991 : Dagstuhl). - Saarbrücken : Geschäftsstelle Schloss Dagstuhl, 1991
|
|
|
|
54 |
International Workshop on Terminological Logics
International Workshop on Terminological Logics (2 : 1991 : Dagstuhl). - Kaiserslautern : DFKI, 1991
|
|
|
|
55 |
International Workshop on Terminological Logics
International Workshop on Terminological Logics (2 : 1991 : Dagstuhl). - Berlin : Techn. Univ., Projektgruppe KIT, 1991
|
|
|
|
56 |
On the computational complexity of temporal projection and some related problems
Nebel, Bernhard. - Kaiserslautern : DFKI, 1991
|
|
|
|
57 |
Proceedings / International Workshop on Terminological Logics
International Workshop on Terminological Logics (2 : 1991 : Dagstuhl). - [Heidelberg] : IWBS, 1991
|
|
|
|
58 |
Reasoning and revision in hybrid representation systems
Nebel, Bernhard. - Berlin : Springer, 1990
|
|
|
|
59 |
Terminological reasoning and information systems
Nebel, Bernhard. - Berlin : Techn. Univ., Projektgruppe KIT, 1990
|
|
|
|
60 |
A knowledge level analysis of belief revision
Nebel, Bernhard. - [Heidelberg] : IWBS, 1989
|
|
Administration
