Extensions for Open Default Theories via the Domain Closure Assumption.

Michael Kaminski Johann A. Makowsky Michael L. Tiomkin

Published in: J. Log. Comput. (1998)

Keyphrases

default theories
default logic
autoepistemic logic
default rules
answer set programming
logic programming
revision operators
general purpose
nonmonotonic reasoning
classical logic
databases
nonmonotonic logics
machine learning
computational complexity
default reasoning