Handling Contradictions in Default Theories.

Zhangang Lin Zuoquan Lin

Published in: KSEM (2007)

Keyphrases

default theories
default logic
autoepistemic logic
default rules
default reasoning
nonmonotonic logics
revision operators
classical logic
answer set programming
nonmonotonic reasoning
data sources
database systems
object oriented