Complexity of Prioritized Default Logics

Published in: CoRR (2011)

Keyphrases

default logic
default theories
default reasoning
computational complexity
image segmentation
nonmonotonic reasoning
machine learning
learning algorithm
high level
higher order
logic programming
nonmonotonic logics
truth maintenance systems