Characterization of an Auto-Compatible Default Theory.

Daoyun Xu Decheng Ding Mingyi Zhang

Published in: J. Comput. Sci. Technol. (2003)

Keyphrases

default theories
default logic
default reasoning
nonmonotonic logics
autoepistemic logic
answer set programming
nonmonotonic reasoning
logic programming
classical logic
constraint satisfaction
default rules
revision operators
high level
pairwise
general purpose