|
61 |
Reasoning and revision in hybrid representation systems
Nebel, Bernhard, 1989
|
|
|
|
62 |
Representation and reasoning with attributive descriptions
Nebel, Bernhard. - [Heidelberg] : IWBS, 1989
|
|
|
|
63 |
Terminological reasoning is inherently intractable
Nebel, Bernhard. - [Heidelberg] : IWBS, 1989
|
|
|
|
64 |
Computational complexity of terminological reasoning in BACK
Nebel, Bernhard. - Berlin : Inst. für Angewandte Informatik, Projektgruppe KIT, 1987
|
|
|
|
65 |
Issues of integration and balancing in hybrid knowledge representation systems
Nebel, Bernhard. - Berlin : Inst. für Angewandte Informatik, Projektgruppe KIT, 1987
|
|
|
|
66 |
On terminological cycles
Nebel, Bernhard. - Berlin : Technische Univ., Fachbereich Informatik, Projektgruppe KIT, 1987
|
|
|
|
67 |
NIGEL gets to know logic
Nebel, Bernhard. - Berlin : Techn. Univ., Fachbereich Informatik, Inst. für Angewandte Informatik, Projektgruppe KIT, 1986
|
|
|
|
68 |
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
|
|
|
|
69 |
Papiere zum Workshop "Logisches Programmieren und Lisp"
Workshop Logisches Programmieren und Lisp (1985 : Berlin, West). - Berlin : Inst. für Angewandte Informatik, Projektgruppe KIT, 1985
|
|
|
|
70 |
Weiterführende Arbeiten am COPANET-Compiler
Nebel, Bernhard. - Hamburg : [Univ.], Fachbereich Informatik, 1980
|
|
Administration
