Reasoning and Revision in Hybrid Representation Systems

Specificaties
Paperback, 274 blz. | Engels
Springer Berlin Heidelberg | 1990e druk, 1990
ISBN13: 9783540524434
Rubricering
Springer Berlin Heidelberg 1990e druk, 1990 9783540524434
Onderdeel van serie Lecture Notes in Computer Science
€ 42,99
Levertijd ongeveer 8 werkdagen

Specificaties

ISBN13:9783540524434
Taal:Engels
Bindwijze:paperback
Aantal pagina's:274
Uitgever:Springer Berlin Heidelberg
Druk:1990

Inhoudsopgave

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.
€ 42,99
Levertijd ongeveer 8 werkdagen

Rubrieken

    Personen

      Trefwoorden

        Reasoning and Revision in Hybrid Representation Systems