Complexity of Verification in Incomplete Argumentation Frameworks.

Dorothea Baumeister Daniel Neugebauer Jörg Rothe Hilmar Schadrack

Published in: AAAI (2018)

Keyphrases

argumentation frameworks
argumentation semantics
decision problems
computational complexity
computational problems
machine learning
model checking
defeasible reasoning
practical reasoning