Bernhard Nebel

Broschiertes Buch

Reasoning and Revision in Hybrid Representation Systems

Beschreibung

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