Stepwise development of security protocols: a speech act-oriented approach. - Phan Minh Dung; Phan Minh Thang (FMSE, 2004)

Trust Negotiation with Nonmonotonic Access Policies. - Phan Minh Dung; Phan Minh Thang (INTELLCOMM, 2004)

Stabilization of cooperative information agents in unpredictable environment: a logic programming approach. - Phan Minh Dung; Do Duc Hanh; Phan Minh Thang (Theory Pract. Log. Program., 2006)

Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant. - Phan Minh Dung; Phan Minh Thang; Nguyen Duy Hung (CLIMA, 2008)

Towards argumentation-based contract negotiation. - Phan Minh Dung; Phan Minh Thang; Francesca Toni (COMMA, 2008)

Stabilization of Information Sharing for Queries Answering in Multiagent Systems. - Phan Minh Dung; Do Duc Hanh; Phan Minh Thang (ICLP, 2009)

A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation. - Phan Minh Dung; Phan Minh Thang (IJCAI, 2009)

Modular argumentation for modelling legal doctrines in common law of contract. - Phan Minh Dung; Phan Minh Thang (Artif. Intell. Law, 2009)

Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation. - Phan Minh Thang; Phan Minh Dung; Nguyen Duy Hung (J. Log. Comput., 2009)

Towards (Probabilistic) Argumentation for Jury-based Dispute Resolution. - Phan Minh Dung; Phan Minh Thang (COMMA, 2010)

Modular argumentation for modelling legal doctrines of performance relief. - Phan Minh Dung; Phan Minh Thang; Nguyen Duy Hung (Argument Comput., 2010)

Closure and Consistency Rationalities in Logic-Based Argumentation. - Phan Minh Dung; Phan Minh Thang (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)

Inductive Defense for Sceptical Semantics of Extended Argumentation. - Do Duc Hanh; Phan Minh Dung; Nguyen Duy Hung; Phan Minh Thang (J. Log. Comput., 2011)

Towards Argument-based Foundation for Sceptical and Credulous Dialogue Games. - Phan Minh Thang; Phan Minh Dung; Nguyen Duy Hung (COMMA, 2012)

Modiso: a Tool for Building Contract Dispute Resolution Systems. - Nguyen Duy Hung; Phan Minh Thang; Phan Minh Dung (Int. J. Artif. Intell. Tools, 2012)

Closure and Consistency In Logic-Associated Argumentation. - Phan Minh Dung; Phan Minh Thang (J. Artif. Intell. Res., 2014)

Translating preferred subtheories into structured argumentation. - Phan Minh Thang; Huynh Trung Luong (J. Log. Comput., 2014)

Argumentation-Based Semantics for Logic Programs with First-Order Formulae. - Phan Minh Dung; Tran Cao Son; Phan Minh Thang (PRIMA, 2016)

Dialectical Proof Procedures for Probabilistic Abstract Argumentation. - Phan Minh Thang (PRIMA, 2016)

Fundamental properties of attack relations in structured argumentation with priorities. - Phan Minh Dung; Phan Minh Thang (Artif. Intell., 2018)

Representing the semantics of abstract dialectical frameworks based on arguments and attacks. - Phan Minh Dung; Phan Minh Thang (Argument Comput., 2018)

On Structured Argumentation with Conditional Preferences. - Phan Minh Dung; Phan Minh Thang; Tran Cao Son (AAAI, 2019)

Infinite arguments and semantics of dialectical proof procedures. - Phan Minh Thang; Phan Minh Dung; Jiraporn Pooksook (Argument Comput., 2022)

ω -Groundedness of argumentation and completeness of grounded dialectical proof procedures. - Phan Minh Dung; Phan Minh Thang; Jiraporn Pooksook (Argument Comput., 2025)