The Complexity of the Warranted Formula Problem in Propositional Argumentation.

Robin Hirsch Nikos Gorogiannis

Published in: J. Log. Comput. (2010)

Keyphrases

propositional formulas
propositional logic
computational complexity
first order logic
causal graph
polynomial hierarchy
worst case
strips planning
lower bound
pspace complete
neural network
knowledge base
decision problems
default logic
space complexity