Counting Complexity for Reasoning in Abstract Argumentation.

Johannes Klaus Fichte Markus Hecher Arne Meier

Published in: AAAI (2019)

Keyphrases

abstract argumentation
fixed parameter tractable
theorem proving
computational complexity
artificial intelligence
decision problems
argumentation theory
knowledge base
special case
reasoning systems