Login / Signup
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