Weak Extensions for Default Theories.

François Lévy

Published in: ECSQARU (1993)

Keyphrases

default theories
default logic
default reasoning
autoepistemic logic
default rules
revision operators
answer set programming
nonmonotonic logics
nonmonotonic reasoning
logic programming
pairwise
fixed point
modal logic
conditional independence
epistemic states