|
11 |
Proceedings / International Workshop on Terminological Logics
International Workshop on Terminological Logics (2 : 1991 : Dagstuhl). - [Heidelberg] : IWBS, 1991
|
|
|
|
12 |
Reasoning and revision in hybrid representation systems
Nebel, Bernhard. - Berlin : Springer, 1990
|
|
|
|
13 |
Terminological reasoning and information systems
Nebel, Bernhard. - Berlin : Techn. Univ., Projektgruppe KIT, 1990
|
|
|
|
14 |
Computational complexity of terminological reasoning in BACK
Nebel, Bernhard. - Berlin : Inst. für Angewandte Informatik, Projektgruppe KIT, 1987
|
|
|
|
15 |
Issues of integration and balancing in hybrid knowledge representation systems
Nebel, Bernhard. - Berlin : Inst. für Angewandte Informatik, Projektgruppe KIT, 1987
|
|
|
|
16 |
On terminological cycles
Nebel, Bernhard. - Berlin : Technische Univ., Fachbereich Informatik, Projektgruppe KIT, 1987
|
|
|
|
17 |
NIGEL gets to know logic
Nebel, Bernhard. - Berlin : Techn. Univ., Fachbereich Informatik, Inst. für Angewandte Informatik, Projektgruppe KIT, 1986
|
|
|
|
18 |
How well does a vanilla loop fit into a frame?
Nebel, Bernhard. - Berlin : Techn. Univ., Fachbereich Informatik, Inst. für Angewandte Informatik, Projektgruppe KIT, 1985
|
|
|
|
19 |
Papiere zum Workshop "Logisches Programmieren und Lisp"
Workshop Logisches Programmieren und Lisp (1985 : Berlin, West). - Berlin : Inst. für Angewandte Informatik, Projektgruppe KIT, 1985
|
|
|
|
20 |
Weiterführende Arbeiten am COPANET-Compiler
Nebel, Bernhard. - Hamburg : [Univ.], Fachbereich Informatik, 1980
|
|
Administration
