Format:
Online-Ressource (X, 270 S.)
Edition:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540469926
Series Statement:
Lecture notes in computer science 422
Content:
Representation and management of knowledge -- A hybrid representation formalism -- Reasoning in the formalism -- Terminological cycles -- Belief revision -- The revision in terminological systems -- Terminological reason maintenance -- Summary and outlook -- The universal term-forming formalism U -- Overview of formalism and systems.
Note:
Literaturverz. S. [237] - 255
,
Zugl.: Saarbrücken, Univ., Diss., 1989
Additional Edition:
ISBN 3540524436
Additional Edition:
ISBN 9783540524434
Additional Edition:
Erscheint auch als Druck-Ausgabe Nebel, Bernhard, 1956 - Reasoning and revision in hybrid representation systems Berlin : Springer, 1990 ISBN 3540524436
Additional Edition:
ISBN 0387524436
Language:
English
Subjects:
Computer Science
Keywords:
Wissensrepräsentation
;
Hochschulschrift
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Author information:
Nebel, Bernhard 1956-
