Reasoning and Revision in Hybrid Representation Systems [electronic resource] / by Bernhard Nebel.
Material type:
TextSeries: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 422Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Description: XIV, 274 p. online resourceContent type: - text
- computer
- online resource
- 9783540469926
- 006.3 23
- Q334-342
- TJ210.2-211.495
Contents:
In:
Springer eBooks
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.
E-BOOKS
| Home library | Call number | Materials specified | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| IMSc Library | Link to resource | Available | EBK5949 |
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.
There are no comments on this title.
Log in to your account to post a comment.