Open Default Theories over Closed Domains.

Michael Kaminski

Published in: Log. J. IGPL (1999)

Keyphrases

default theories
default logic
autoepistemic logic
default reasoning
nonmonotonic reasoning
answer set programming
closed world
nonmonotonic logics
default rules
revision operators
reinforcement learning
xml documents
logic programs
search strategies