Dialectical Proofs Accounting for Strength of Attacks in Argumentation Systems.

Claudette Cayrol Caroline Devred Marie-Christine Lagasquie-Schiex

Published in: ICTAI (1) (2010)

Keyphrases

argumentation systems
defeasible reasoning
general theory
probability theory
theorem prover
theorem proving
computational problems
argumentation theory
nonmonotonic reasoning
preference relations
argumentation frameworks
computational complexity
gray scale