Reasoning and Revision in Hybrid Representation Systems

SOMMARIO

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.

ALTRE INFORMAZIONI

• Condizione: Nuovo
• ISBN: 9783540524434
• Collana: Lecture Notes in Computer Science
• Dimensioni: 235 x 155 mm
• Formato: Brossura
• Illustration Notes: XIV, 274 p.
• Pagine Arabe: 274
• Pagine Romane: xiv