Verifiability of Argumentation Semantics.

Ringo Baumann Thomas Linsbichler Stefan Woltran

Published in: CoRR (2016)

Keyphrases

argumentation semantics
practical reasoning
argumentation theory
nonmonotonic reasoning
artificial intelligence
security properties
strongly connected components
argumentation frameworks
data mining
bayesian networks
multi agent
logic programming