Nebel, Bernhard.
Reasoning and Revision in Hybrid Representation Systems [electronic resource] / by Bernhard Nebel. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1990. - XIV, 274 p. online resource. - Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, 422 0302-9743 ; . - Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, 422 .
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.
9783540469926
10.1007/BFb0016445 doi
Computer science.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Q334-342 TJ210.2-211.495
006.3
Reasoning and Revision in Hybrid Representation Systems [electronic resource] / by Bernhard Nebel. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1990. - XIV, 274 p. online resource. - Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, 422 0302-9743 ; . - Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, 422 .
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.
9783540469926
10.1007/BFb0016445 doi
Computer science.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Q334-342 TJ210.2-211.495
006.3