Nonmonotonic Logic for Default Theories.

Witold Lukaszewicz

Published in: ECAI (1984)

Keyphrases

default theories
nonmonotonic logics
default logic
autoepistemic logic
nonmonotonic reasoning
default rules
default reasoning
logic programming
answer set programming
classical logic
probabilistic model
database
general purpose
higher order
modal operators