Zur Struktur nichtdeterministischer Berechnungen. - Phan Minh Dung (1985)

Nondeterministic Computations - Structure and Axioms. - Peter Bachmann; Phan Minh Dung (J. Inf. Process. Cybern., 1986)

A Natural Semantics for Logic Programs with Negation. - Phan Minh Dung; Kanchana Kanchanasut (FSTTCS, 1989)

On the Generalized Predicate Completion of Non-Horn Programs. - Phan Minh Dung; Kanchana Kanchanasut (NACLP, 1989)

A Fixpoint Approach to Declarative Semantics of Logic Programs. - Phan Minh Dung; Kanchana Kanchanasut (NACLP, 1989)

On the strong completion of logic programs. - Phan Minh Dung (ALP, 1990)

Strong Circumscription Specifies Stable Semantics of Normal Logic Programs. - Phan Minh Dung (ECAI, 1990)

Negations as Hypotheses: An Abductive Foundation for Logic Programming. - Phan Minh Dung (ICLP, 1991)

Well-Founded Reasoning with Classical Negation. - Phan Minh Dung; Phaiboon Ruamviboonsuk (LPNMR, 1991)

Declarative Semantics of Hypothetical Logic Programming with Negation as Failure. - Phan Minh Dung (ELP, 1992)

Acyclic Disjunctive Logic Programs with Abductive Procedures as Proof Procedure. - Phan Minh Dung (FGCS, 1992)

A FORTRAN IV to QuickBASIC translator. - Rizaldo B. Caringal; Phan Minh Dung (ACM SIGPLAN Notices, 1992)

On the Relations between Stable and Well-Founded Semantics of Logic Programs. - Phan Minh Dung (Theor. Comput. Sci., 1992)

Representing Actions in Logic Programming and Its Applications in Database Updates. - Phan Minh Dung (ICLP, 1993)

An Argumentation Semantics for Logic Programming with Explicit Negation. - Phan Minh Dung (ICLP, 1993)

On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming. - Phan Minh Dung (IJCAI, 1993)

Scenario Semantics of Extended Logic Programs. - José Júlio Alferes; Phan Minh Dung; Luís Moniz Pereira (LPNMR, 1993)

The Acceptability Semantics for Logic Programs. - Antonis C. Kakas; Paolo Mancarella; Phan Minh Dung (ICLP, 1994)

Belief Dynamics, Abduction, and Database. - Chandrabose Aravindan; Phan Minh Dung (JELIA, 1994)

Negation as Failure for Disjunctive Logic Programming. - Phan Minh Dung; Ngo Huu Liem (Ann. Math. Artif. Intell., 1994)

Partial Deduction of Logic Programs wrt Well-Founded Semantics. - Chandrabose Aravindan; Phan Minh Dung (New Gener. Comput., 1994)

Nonmonotonic Inheritance, Argumentation and Logic Programming. - Phan Minh Dung; Tran Cao Son (LPNMR, 1995)

On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games. - Phan Minh Dung (Artif. Intell., 1995)

Knowledge base dynamics, Abduction and Databases updates. - Phan Minh Dung; Chandrabose Aravindan (J. Appl. Non Class. Logics, 1995)

On the Correctness of Unfold/Fold Transformation of Normal and Extended Logic Programs. - Chandrabose Aravindan; Phan Minh Dung (J. Log. Program., 1995)

An Argumentation-Theoretic Foundations for Logic Programming. - Phan Minh Dung (J. Log. Program., 1995)

Production Systems Need Negation as Failure. - Phan Minh Dung; Paolo Mancarella (AAAI/IAAI, Vol. 2, 1996)

Integrating Data from Possibly Inconsistent Databases. - Phan Minh Dung (CoopIS, 1996)

An Argumentation-theoretic Approach to Reasoning with Specificity. - Phan Minh Dung; Tran Cao Son (KR, 1996)

Synthesis of Proof Procedures for Default Reasoning. - Phan Minh Dung; Robert A. Kowalski; Francesca Toni (LOPSTR, 1996)

An Abstract, Argumentation-Theoretic Approach to Default Reasoning. - Andrei Bondarenko; Phan Minh Dung; Robert A. Kowalski; Francesca Toni (Artif. Intell., 1997)

A Formal Methodology for Verifying Situated Agents. - Phan Minh Dung (AAAI/IAAI, 1998)

Default Reasoning with Specificity. - Phan Minh Dung; Tran Cao Son (Computational Logic, 2000)

An argument-based approach to reasoning with specificity. - Phan Minh Dung; Tran Cao Son (Artif. Intell., 2001)

Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning. - Phan Minh Dung; Paolo Mancarella; Francesca Toni (Computational Logic: Logic Programming and Beyond, 2002)

Production Systems with Negation as Failure. - Phan Minh Dung; Paolo Mancarella (IEEE Trans. Knowl. Data Eng., 2002)

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)

A dialectic procedure for sceptical, assumption-based argumentation. - Phan Minh Dung; Paolo Mancarella; Francesca Toni (COMMA, 2006)

Dialectic proof procedures for assumption-based, admissible argumentation. - Phan Minh Dung; Robert A. Kowalski; Francesca Toni (Artif. Intell., 2006)

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)

Effective event description using trend template language and efficient intrusion detection. - Md. Ahsan Habib 003; Phan Minh Dung (SMC, 2007)

Computing ideal sceptical argumentation. - Phan Minh Dung; Paolo Mancarella; Francesca Toni (Artif. Intell., 2007)

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)

Assumption-Based Argumentation. - Phan Minh Dung; Robert A. Kowalski; Francesca Toni (Argumentation in Artificial Intelligence, 2009)

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)

Some design guidelines for practical argumentation systems. - Phan Minh Dung; Francesca Toni; Paolo Mancarella (COMMA, 2010)

A Logical Model of Private International Law. - Phan Minh Dung; Giovanni Sartor (DEON, 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)

The modular logic of private international law. - Phan Minh Dung; Giovanni Sartor (Artif. Intell. Law, 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)

Argumentation for Practical Reasoning. - Phan Minh Dung (KSE (1), 2013)

An Axiomatic Analysis of Structured Argumentation for Prioritized Default Reasoning. - Phan Minh Dung (ECAI, 2014)

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

A Canonical Semantics for Structured Argumentation with Priorities. - Phan Minh Dung (COMMA, 2016)

Argumentation for Practical Reasoning: An Axiomatic Approach. - Phan Minh Dung (PRIMA, 2016)

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

An axiomatic analysis of structured argumentation with priorities. - Phan Minh Dung (Artif. Intell., 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)

Modelling last-act attempted crime in criminal law. - Jiraporn Pooksook; Phan Minh Dung; Ken Satoh; Giovanni Sartor (J. Appl. Non Class. Logics, 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)