Some Variations on Default Logic.

Published in: AAAI (1991)

Keyphrases

default logic
default theories
default reasoning
logic programming
nonmonotonic reasoning
nonmonotonic logics
autoepistemic logic
fixed point
modal logic
default rules
classical logic
relational databases
logic programs
truth maintenance systems
database
decision procedures
bayesian networks
databases