More on Inheritance Hierarchies with Exceptions: Default Theories and Inferential Distance.

David W. Etherington

Published in: AAAI (1987)

Keyphrases

default theories
default rules
default logic
default reasoning
nonmonotonic logics
autoepistemic logic
distance measure
nonmonotonic reasoning
answer set programming
revision operators
np hard
logical equivalence