Open Default Theories over Closed Domains.

Michael Kaminski

Published in: ESCQARU (1999)

Keyphrases

default theories
default logic
autoepistemic logic
default rules
nonmonotonic reasoning
default reasoning
data management
classical logic
closed world