A dialectic procedure for sceptical, assumption-based argumentation.

Phan Minh Dung Paolo Mancarella Francesca Toni

Published in: COMMA (2006)

Keyphrases

argumentation frameworks
proof procedures
proof procedure
nonmonotonic reasoning
inference rules
real time
computational complexity
propositional logic
theorem proving
iterative procedure
argumentation systems
data sets
default logic