Translating default theories to normal default theories.

Yu Sun Tianwei Xu Zhiping Li

Published in: ICIS (2010)

Keyphrases

default theories
default logic
autoepistemic logic
nonmonotonic logics
answer set programming
nonmonotonic reasoning
default reasoning
revision operators
default rules
logic programming
knowledge base
high level
orders of magnitude