Extensions for Open Default Theories via the Domain Closure Assumption.

Michael Kaminski Johann A. Makowsky Michael L. Tiomkin

Published in: JELIA (1996)

Keyphrases

default theories
default logic
nonmonotonic logics
autoepistemic logic
default rules
classical logic
answer set programming
nonmonotonic reasoning
default reasoning
revision operators
artificial intelligence
modal logic
database
machine learning
probability distribution
logical equivalence