×
Reasoning and Revision in Hybrid Representation Systems
von Bernhard NebelInhaltsverzeichnis
- 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.