Ordering Default Theories.

Published in: IJCAI (2003)

Keyphrases

default theories
default logic
nonmonotonic logics
autoepistemic logic
default rules
revision operators
default reasoning
classical logic
fixed point
answer set programming
nonmonotonic reasoning
artificial intelligence
high level