Complexity-Sensitive Decision Procedures for Abstract Argumentation.

Wolfgang Dvorák Matti Järvisalo Johannes Peter Wallner Stefan Woltran

Published in: KR (2012)

Keyphrases

decision procedures
theorem proving
abstract argumentation
modal logic
automated reasoning
computational complexity
decision problems
lower bound
probabilistic model
conjunctive queries