Contributions to a Proof Theory for Generic Defaults.

Ramiro A. de T. Guerreiro Marco A. Casanova Andrea S. Hemerly

Published in: ECAI (1990)

Keyphrases

proof theory
default reasoning
belief revision
default logic
proof theoretic
nonmonotonic reasoning
automated reasoning
default theories
partial order
probabilistic reasoning
np hard
knowledge representation
high level
decision makers