A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation.

Phan Minh Dung Phan Minh Thang

Published in: IJCAI (2009)

Keyphrases

proof procedures
inference rules
argumentation systems
defeasible reasoning
artificial intelligence
search algorithm
proof procedure