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 Media type: computer Carrier type: online resourceISBN: 9783540469926Subject(s): Computer science | Artificial intelligence | Computer Science | Artificial Intelligence (incl. Robotics)Additional physical formats: Printed edition:: No titleDDC classification: 006.3 LOC classification: Q334-342TJ210.2-211.495Online resources: Click here to access online
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.
Current library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | 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.