Complexity of propositional nested circumscription and nested abnormality theories.

Marco Cadoli Thomas Eiter Georg Gottlob

Published in: ACM Trans. Comput. Log. (2005)

Keyphrases

default logic
propositional logic
theoretical framework
computational complexity
hierarchical structure
nonmonotonic reasoning
default reasoning
neural network
first order logic
space complexity
classical logic
minimal models
polynomial hierarchy
loop formulas