Reasoning and revision in hybrid representation systems
Author(s)
Bibliographic Information
Reasoning and revision in hybrid representation systems
（Lecture notes in computer science, 422 . Lecture notes in artificial intelligence）
Springer Verlag, c1990
- : gw
- : us
Available at / 50 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||42290006891
-
University of Tsukuba Library, Library on Library and Information Science
: gw007.08:L-49:422901000340
-
No Libraries matched.
- Remove all filters.
Note
Originally presented as the author's thesis (Saarland) 1989
Includes bibliographical references
Description and Table of Contents
Table of Contents
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.
by "Nielsen BookData"