It's Not My Default: The Complexity of Membership Problems in Restricted Propositional Default Logics.

Jonathan Stillman

Published in: AAAI (1990)

Keyphrases

default logic
polynomial hierarchy
default rules
logic programming
default reasoning
autoepistemic logic
artificial intelligence
knowledge base
image segmentation
computational complexity
propositional logic