Dialectical Proofs for Constrained Argumentation.

Caroline Devred Sylvie Doutre Claire Lefèvre Pascal Nicolas

Published in: COMMA (2010)

Keyphrases

argumentation systems
defeasible reasoning
argumentation theory
legal reasoning
argumentation schemes
formal proofs
case based reasoning
theorem prover
nonmonotonic reasoning
argumentation semantics
database
real time
content analysis
theorem proving
preference relations
decision procedures