Reasoning and Revision in Hybrid Representation Systems

Bernhard Nebel (auth.)3540524436, 9783540524434, 0387524436

Table of contents :
Introduction….Pages 1-9
Representation and management of knowledge….Pages 11-33
A hybrid representation formalism….Pages 35-72
Reasoning in the formalism….Pages 73-118
Terminological cycles….Pages 119-147
Belief revision….Pages 149-186
The revision in terminological systems….Pages 187-211
Terminological reason maintenance….Pages 213 -224
Summary and outlook….Pages 225-228
The universal term-forming formalism U….Pages 229-230
Overview of formalism and systems….Pages 231-235