An Algebraic Approach to the Complexity of Propositional Circumscription.

Gustav Nordh Peter Jonsson

Published in: LICS (2004)

Keyphrases

default logic
disjunctive logic programming
polynomial hierarchy
propositional logic
loop formulas
logic programs
logic programming
neural network
artificial intelligence
worst case
first order logic
nonmonotonic logics
closed world assumption
general logic programs