Reasoning and Revision in Hybrid Representation Systems

Inhaltsverzeichnis

• 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.