Phan Minh Dung

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

On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming