Bernhard Nebel

Reasoning and Revision in Hybrid Representation Systems

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Computer Science 422
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-52443-4
• 1990.
• Seitenzahl: 288
• Erscheinungstermin: 21. März 1990
• Englisch
• Abmessung: 235mm x 155mm x 16mm
• Gewicht: 408g
• ISBN-13: 9783540524434
• ISBN-10: 3540524436
• Artikelnr.: 23110646

Inhaltsangabe

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.