| 2019 | AAAI | On Structured Argumentation with Conditional Preferences. | Phan Minh Dung, Phan Minh Thang, Tran Cao Son |
| 2016 | COMMA | A Canonical Semantics for Structured Argumentation with Priorities. | Phan Minh Dung |
| 2016 | PRIMA | Argumentation for Practical Reasoning: An Axiomatic Approach. | Phan Minh Dung |
| 2016 | PRIMA | Argumentation-Based Semantics for Logic Programs with First-Order Formulae. | Phan Minh Dung, Tran Cao Son, Phan Minh Thang |
| 2014 | ECAI | An Axiomatic Analysis of Structured Argumentation for Prioritized Default Reasoning. | Phan Minh Dung |
| 2012 | COMMA | Towards Argument-based Foundation for Sceptical and Credulous Dialogue Games. | Phan Minh Thang, Phan Minh Dung, Nguyen Duy Hung |
| 2010 | COMMA | Towards (Probabilistic) Argumentation for Jury-based Dispute Resolution. | Phan Minh Dung, Phan Minh Thang |
| 2010 | COMMA | Some design guidelines for practical argumentation systems. | Phan Minh Dung, Francesca Toni, Paolo Mancarella |
| 2009 | ICAIL | Modular argumentation for modelling legal doctrines of performance relief. | Phan Minh Dung, Phan Minh Thang, Nguyen Duy Hung |
| 2009 | ICLP | Stabilization of Information Sharing for Queries Answering in Multiagent Systems. | Phan Minh Dung, Do Duc Hanh, Phan Minh Thang |
| 2009 | IJCAI | A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation. | Phan Minh Dung, Phan Minh Thang |
| 2008 | COMMA | Towards argumentation-based contract negotiation. | Phan Minh Dung, Phan Minh Thang, Francesca Toni |
| 2008 | JURIX | Modular Argumentation For Modelling Legal Doctrines in Common Law of Contract. | Phan Minh Dung, Phan Minh Thang |
| 2007 | SMC | Effective event description using trend template language and efficient intrusion detection. | Md. Ahsan Habib, Phan Minh Dung |
| 2006 | COMMA | A dialectic procedure for sceptical, assumption-based argumentation. | Phan Minh Dung, Paolo Mancarella, Francesca Toni |
| 2004 | CCS | Stepwise development of security protocols: a speech act-oriented approach. | Phan Minh Dung, Phan Minh Thang |
| 1998 | AAAI | A Formal Methodology for Verifying Situated Agents. | Phan Minh Dung |
| 1996 | AAAI | Production Systems Need Negation as Failure. | Phan Minh Dung, Paolo Mancarella |
| 1996 | CoopIS | Integrating Data from Possibly Inconsistent Databases. | Phan Minh Dung |
| 1996 | KR | An Argumentation-theoretic Approach to Reasoning with Specificity. | Phan Minh Dung, Tran Cao Son |
| 1996 | LOPSTR | Synthesis of Proof Procedures for Default Reasoning. | Phan Minh Dung, Robert A. Kowalski, Francesca Toni |
| 1995 | LPNMR | Nonmonotonic Inheritance, Argumentation and Logic Programming. | Phan Minh Dung, Tran Cao Son |
| 1994 | ICLP | The Acceptability Semantics for Logic Programs. | Antonis C. Kakas, Paolo Mancarella, Phan Minh Dung |
| 1994 | JELIA | Belief Dynamics, Abduction, and Database. | Chandrabose Aravindan, Phan Minh Dung |
| 1993 | ICLP | Representing Actions in Logic Programming and Its Applications in Database Updates. | Phan Minh Dung |
| 1993 | ICLP | An Argumentation Semantics for Logic Programming with Explicit Negation. | Phan Minh Dung |
| 1993 | IJCAI | On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming. | Phan Minh Dung |
| 1993 | LPNMR | Scenario Semantics of Extended Logic Programs. | Jos Jlio Alferes, Phan Minh Dung, Lus Moniz Pereira |
| 1991 | ICLP | Negations as Hypotheses: An Abductive Foundation for Logic Programming. | Phan Minh Dung |
| 1991 | LPNMR | Well-Founded Reasoning with Classical Negation. | Phan Minh Dung, Phaiboon Ruamviboonsuk |
| 1990 | ECAI | Strong Circumscription Specifies Stable Semantics of Normal Logic Programs. | Phan Minh Dung |