The Complexity of Propositional Default Logics.

Jonathan Stillman

Published in: AAAI (1992)

Keyphrases

default logic
autoepistemic logic
default theories
nonmonotonic reasoning
default reasoning
logic programming
nonmonotonic logics
modal logic
propositional logic
classical logic
minimal models
truth maintenance systems
default rules
general purpose
polynomial hierarchy
graphical models
markov random field