A Comparative Study of Open Default Theories.

Michael Kaminski

Published in: Artif. Intell. (1995)

Keyphrases

default theories
default logic
autoepistemic logic
default reasoning
default rules
revision operators
logic programming
nonmonotonic reasoning
modal logic
answer set programming
nonmonotonic logics
machine learning
artificial intelligence
knowledge base
classical logic