Publications



  1. ✤2018

    1. ✴Phan Minh Dung, Phan Minh Thang: Fundamental properties of attack relations in structured argumentation with priorities, Journal of Artificial Intelligence, Volume 255, pp 1-42, Elsevier Press.


  1. ✤2016

    1. ✴Phan Minh Dung: An axiomatic analysis of structured argumentation with priorities, Journal of Artificial Intelligence, Volume 231, pp 107-150, Elsevier Press.

    2. ✴Phan Minh Dung: A Canonical Semantics for Structured Argumentation with Priorities., The 6th International Conference on Computational Models of Argument (COMMA 2016), pp 263-274, ISO Press.

    3. ✴Phan Minh Dung: Argumentation for Practical Reasoning: An Axiomatic Approach, International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2016), pp 20-39, Springer Press.

    4. ✴Phan Minh Dung, Tran Cao Son, Phan Minh Thang: Argumentation-based semantics for logic programs with first-order formulae, International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2016), pp 43-60, Springer Press.


  1. ✤2014

    1. ✴Phan Minh Dung, Phan Minh Thang: Closure and consistency in logic-associated argumentation, Journal of Artificial Intelligence Research, 2014, Volume 49, pp 79-109, ISO Press.

    2. ✴Phan Minh Dung: An Axiomatic Analysis of Structured Argumentation for Prioritized Default Reasoning, ECAI, pp. 267-272 (2014), IOS Press.

    3. ✴Phan Minh Dung: Argumentation for practical reasoning, Book: Knowledge and Systems Engineering, 2014, pp 5-5, Springer Press.


  1. ✤2012

    1. ✴Nguyen Duy Hung, Phan Minh Thang, Phan Minh Dung: MoDiSo: A TOOL FOR BUILDING CONTRACT DISPUTE RESOLUTION SYSTEMS, International Journal on Artificial Intelligence Tools, 2012, Volume 21, No. 01, DOI: 10.1142/S0218213012500029.

    2. ✴Phan Minh Thang, Phan Minh Dung, Nguyen Duy Hung: Towards Argument-based Foundation for Sceptical and Credulous Dialogue Games, COMMA 2012, Vienna, Austria.


  1. ✤2011

    1. ✴Phan Minh Dung, Giovanni Sartor: The modular logic of private international law, Artif. Intell. Law 19(2-3): 233-261 (2011), Springer Verlag.

    2. ✴Do Duc Hanh, Phan Minh Dung, Nguyen Duy Hung, Phan Minh Thang: Inductive Defense For Sceptical Semantics of Extended Argumentation, Journal of Logic and Computation, 21(2): 307-349 (2011), Oxford University Press.

    3. ✴Phan Minh Dung, Phan Minh Thang: Closure and Consistency Rationalities in Logic-Based Argumentation, LOGIC PROGRAMMING, KNOWLEDGE REPRESENTATION, AND NONMONOTONIC REASONING Lecture Notes in Computer Science, 2011, Volume 6565/2011, 33-43. Springer Verlag.


  1. ✤2010

    1. ✴Phan Minh Dung, Francesca Toni, Paolo Mancarella: Some design guidelines for practical argumentation system, COMMA10, Third International Conference on Computational Models of Argument, Desenzano del Garda, Italy, 8-10 September, 2010.

    2. ✴Phan Minh Dung, Phan Minh Thang: Towards Probabilistic Argumentation for Jury-based Dispute Resolution, COMMA10, Third International Conference on Computational Models of Argument, Desenzano del Garda, Italy, 8-10 September, 2010.

    3. ✴Phan Minh Dung, Giovanni Sartor: A Logical  Model for Private International Law, DEON 2010, Tenth International Conference on Deontic Logic in Computer Science, Fiesole, Firenze, Italy, 7-9 July, 2010.

    4. ✴Phan Minh Dung, Phan Minh Thang, Nguyen Duy Hung: Modular Argumentation for Modelling Legal Doctrines of Performance Relief, Argument & Computational Journal, Vol. 1, Issue 1, pp 47-69, Taylor & Francis March 2010.



  1. ✤2009

    1. ✴Phan Minh Dung, Phan Minh Thang: Modular Argumentation For Modelling Legal Doctrines in Common Law of Contract, Artificial Intelligence and Law Journal, Vol. 17, No. 3, pp. 167-182, Springer Verlag, September, 2009.

    2. ✴Phan Minh Dung, Phan Minh Thang: An Unified Framework for Dialectical Proof Procedure in Argumentation, In Proceedings of International Joint conference on Artificial Intelligence (IJCAI 2009), Pasadena, California, USA, Springer Verlag, 2009.

    3. ✴Phan Minh Dung, Do Duc Hanh, Phan Minh Thang: Stabilization of Information Sharing for Queries Answering in Multiagent Systems, In Proceedings of International Conference on Logic Programming (ICLP 2009), Pasadena, California, USA, Springer Verlag, 2009.

    4. ✴Phan Minh Thang, Phan Minh Dung, Nguyen Duy Hung: Toward a Common Framework for Dialectical Proof Procedure in Abstract Argumentation, Journal of Logic and Computation, Vol. 19, No. 6, pp. 1071- 1109, Oxford University Press, June, 2009.

    5. ✴Phan Minh Dung, Phan Minh Thang, Nguyen Duy Hung: Modular Argumentation for Modelling Legal Doctrines of Performance Relief, In Proceedings of the 12th International Conference on Artificial Intelligence and Law (ICAIL09), Barcelona, Spain, ACM Press, June, 2009.

    6. ✴Phan Minh Dung, Phan Minh Thang, Nguyen Duy Hung: Argument-based Decision Making and Negotiation in E-business: Contracting a Land Lease for a Computer Assembly Plant. CLIMA 2008, Springer-Verlag, 2009.

    7. ✴Phan Minh Dung, Robert A. Kowalski, and Francesca Toni: Assumption-based Argumentation, Argumentation in AI, I. Rahwan and G. Simari (Eds.), 199-218, Springer 2009.


  3. ✤2008

    1. ✴Phan Minh Dung, Phan Minh Thang: Modular Argumentation For Modelling Legal Doctrines in Common Law of Contract. JURIX08, Frontiers in Artificial Intelligence and Applications, Vol. 189, pp. 108-117, IOS Press, 2008.

    2. ✴Phan Minh Dung, Phan Minh Thang: Towards an Argument-based Model of Legal Doctrines in Common Law of Contracts CLIMA 2008.

    3. ✴Phan Minh Dung, Phan Minh Thang, Francesca Toni: Towards argumentation-based contract negotiation.  COMMA08, Frontiers in Artificial Intelligence and Applications, Vol. 172, pp. 134-146, IOS Press, 2008.

  4.  

  5. ✤2007

    1. ✴Phan Minh Dung, Phan Minh Thang: A Sound and Complete Dialectical Proof Procedure for Sceptical Preferred Argumentation Proceedings LPNMR-Workshop on Argumentation and Non-Monotonic Reasoning (ArgNMR07), May 2007, Arizona, U.S.A.

    2. ✴Phan Minh Dung, Paolo Mancarella, Francesca Toni: Computing ideal sceptical argumentation. Artificial Intelligence, Volume 171, Issues 10-15, Pages 642-674. Special Issue on Argumentation in Artificial Intelligence, Elsevier Press, July-October 2007


  7. ✤2006

    1. ✴Phan Minh Dung, Paolo Mancarella, Francesca Toni: A dialectic procedure for skeptical, assumption-based argumentation.  COMMA06, Liverpool, UK, Frontiers in Artificial Intelligence and Applications, Vol. 144, pp. 145-156, IOS Press, 2006.

    2. ✴Phan Minh Dung, Robert A. Kowalski, Francesca Toni: Dialectic proof procedures for assumption-based, admissible argumentation. Artificial Intelligence 170(2), pp 114-159, Elsevier Press, February 2006.

    3. ✴Phan Minh Dung, Do Duc Hanh, Phan Minh Thang: Stabilization of Cooperative information agents in unpredictable environment: a logic programming approach. Theory and Practice of Logic Programming, Vol. 6, Number 1-2, pp. 1-22, Cambridge University Press, 2006.



  1. ✤2004

    1. ✴Phan Minh Dung, Phan Minh Thang: Stepwise development of security protocols: a speech act-oriented approach. Proceedings of Formal Methods in Security Engineering, pp. 33-44, ACM, 2004

    2. ✴Phan Minh Dung, Phan Minh Thang: A Speech Act-Oriented Paradigm for Key Exchange Protocol Design. Proceedings of Foundations of Computer Security, pp. 149-164, ACM, 2004.

    3. ✴Phan Minh Dung, Phan Minh Thang: Trust Negotiation with Nonmonotonic Access Policies. INTELLCOMM, Lecture Notes in Computer Science, Vol. 3283, pp. 70-84, Springer, 2004.


  3. ✤2003

    1. ✴Phan Minh Dung, Robert A. Kowalski, Francesca Toni: Argumentation-theoretic proof procedures for default reasoning. Technical Report

    2. ✴Phan Minh Dung, Do Duc Hanh, Phan Minh Thang: Stabilization of Cooperative information agents in unpredictable environment: a logic programming approach. Proceedings of the second international joint conference on Autonomous Agents and Multiagent System (AAMAS), pp. 978-979, ACM 2003.



  1. ✤2002

    1. ✴Phan Minh Dung, Paolo Mancarella, Francesca Toni: Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning. Lecture Notes in Computer Science, Vol. 2408, p. 289-310, 2002

    2. ✴Phan Minh Dung, Paolo Mancarella: Production Systems with Negation as Failure. IEEE Trans. Knowl. Data Eng. 14(2): 336-352 (2002)


  3. ✤2001

    1. ✴Phan Minh Dung, Tran Cao Son: An argument-based approach to reasoning with specificity. Artificial Intelligence, Vol. 133, Number 1-2, pp. 35-85, 2001


  5. ✤2000

    1. ✴Phan Minh Dung, Tran Cao Son: Default Reasoning with Specificity. Lecture Notes in Computer Science, Vol. 1861, pp. 792-806, 2000.


  7. ✤1998

    1. ✴Phan Minh Dung: A Formal Methodology for Verifying Situated Agents. Proceedings of the 15th National Conference on Artificial Intelligence (AAAI-98) and of the 10th Conference on Innovative Applications of Artificial Intelligence (IAAI-98), pp. 637-642, AAAI Press, July 26-30 1998


  9. ✤1997

    1. ✴Andrei Bondarenko, Phan Minh Dung, Robert A. Kowalski, Francesca Toni: An Abstract, Argumentation-Theoretic Approach to Default Reasoning. Artificial Intelligence, Vol. 93, Number 1-2, pp. 63-101, 1997

    2. ✴P. M. Dung and R. A. Kowalski and F. Toni: Synthesis of Proof Procedures for Default Reasoning Lecture Notes in Computer Science, Vol. 1207, 1997

    3. ✴P. M. Dung and R. A. Kowalski and F. Toni: Argumentation-theoretic proof procedures for default reasoning, Technical Report, Department of Computing, Imperial College, London, 1997


  11. ✤1996

    1. ✴Phan Minh Dung, Paolo Mancarella: Production Systems Need Negation as Failure. Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference, pp. 1242-1247, AAAI Press / MIT Press, August 4-8 1996.

    2. ✴

    3. ✴Phan Minh Dung: Integrating Data from Possibly Inconsistent Databases. 4th Int. Conf. on Cooperative Information Systems, pp. 58-65, 1996

    4. ✴Phan Minh Dung, Tran Cao Son: An Argumentation-theoretic Approach to Reasoning with Specificity. KR 1996: 506-517

    5. ✴Phan Minh Dung, Robert A. Kowalski, Francesca Toni: Synthesis of Proof Procedures for Default Reasoning. LOPSTR 1996: 313-324

    6. ✴P. M. Dung and R. A. Kowalski and F. Toni: Argumentation-theoretic proof procedures for non-monotonic reasoning, Technical Report, Department of Computing, Imperial College, London, 1996


  13. ✤1995

    1. ✴Phan Minh Dung, Tran Cao Son: Nonmonotonic Inheritance, Argumentation and Logic Programming. LPNMR 1995: 316-329

    2. ✴Phan Minh Dung: On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games. Artificial Intelligence, 77(2), pp. 321-357, 1995

    3. ✴Phan Minh Dung: An Argumentation-Theoretic Foundations for Logic Programming. Journal of Logic Programming, Vol. 22, pp. 151-177, 1995.

    4. ✴Chandrabose Aravindan, Phan Minh Dung: On the Correctness of Unfold/Fold Transformation of Normal and Extended Logic Programs. The Journal of Logic Programming 24(3): 201-217 (1995)

    5. ✴Phan Minh Dung, Chandrabose Aravindan: Knowledge base dynamics, Abduction and Databases updates. Journal of Applied Non-Classical Logics 5(1): (1995)

    6. ✴Phan Minh Dung: An Argumentation Theoretic Foundation for Logic Programming. Journal of Logic Programming, Vol. 22, pp. 151-177, 1995


  15. ✤1994

    1. ✴Antonis C. Kakas, Paolo Mancarella, Phan Minh Dung: The Acceptability Semantics for Logic Programs. ICLP 1994: 504-519

    2. ✴Chandrabose Aravindan, Phan Minh Dung: Belief Dynamics, Abduction, and Database. Logics in Artificial Intelligence, pp. 66-85, Springer-Verlag, 1994

    3. ✴Phan Minh Dung, Ngo Huu Liem: Negation as Failure for Disjunctive Logic Programming. Ann. Math. Artif. Intell. 12(1-2): 25-52 (1994)

    4. ✴Chandrabose Aravindan, Phan Minh Dung: Partial Deduction of Logic Programs wrt Well-Founded Semantics. New Generation Comput. 13(1): 45-74 (1994)

    5. ✴Phan Minh Dung: Generalized Clark Completion of Disjunctive Logic Programs. Annals of Mathematics and Artificial Intelligence, Vol 12, 1994, pp 25-51, J.C. Baltzer AG, Science Publischers

    6. ✴Chandrabose Aravindan and Phan Minh Dung: Relationship between Gärdenfors-Makinson's epistemic entrenchment and Katsuno-Mendelzon's faithful total pre-orders Second international conference on expert systems for development, pp. 182-186, IEEE, 1994


  17. ✤1993

    1. ✴Phan Minh Dung: Representing Actions in Logic Programming and Its Applications in Database Updates. Proceedings of the Tenth International Conference on Logic Programming, pp. 222-238, The MIT Press, 1993

    2. ✴ Phan Minh Dung: An Argumentation Semantics for Logic Programming with Explicit Negation. Proceedings of the Tenth International Conference on Logic Programming, pp. 616-630, The MIT Press, 1993
      Corrigendum

    3. ✴Phan Minh Dung: On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming. Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI93), pp. 852-857, Morgan Kaufmann, 1993

    4. ✴Jos Jlio Alferes, Phan Minh Dung, Lus Moniz Pereira: Scenario Semantics of Extended Logic Programs. 2nd Int. Ws. on LP & NMR, pp. 334-348, MIT Press, 1993

    5. ✴Phan Minh Dung: Declarative Semantics of Hypothetical Logic Programming with Negation as Failure, Lecture Notes in Computer Science, Vol. 660, 1993

    6. ✴Phan Minh Dung: Logic programming as dialog-game Technical report, AIT, 1993.


  19. ✤1992

    1. ✴Chandrabose Aravindan, Phan Minh Dung: Partial Deduction of Logic Programs wrt Well-Founded Semantics. ALP 1992: 384-402

    2. ✴Phan Minh Dung: Declarative Semantics of Hypothetical Logic Programming with Negation as Failure. ELP 1992: 45-58

    3. ✴Phan Minh Dung: Acyclic Disjunctive Logic Programs with Abductive Procedures as Proof Procedure. Proceedings of the International Conference on Fifth Generation Computer Systems, pp. 555-561, Association for Computing Machinery, 1992

    4. ✴Rizaldo B. Caringal, Phan Minh Dung: A FORTRAN IV to QuickBASIC translator. SIGPLAN Notices 27(2): 75-87 (1992)

    5. ✴Phan Minh Dung: On the Relations between Stable and Well-Founded Semantics of Logic Programs. Theor. Comput. Sci. 105(1): 7-25 (1992)

    6. ✴Phan Minh Dung, Antonis C. Kakas, Paolo Mancarella: Negation as failure, revisited Technical Report, University of Pisa, 1992.

    7. ✴Phan Minh Dung: Hypothetical Logic Programming with Negation as Failure, In Proceedings of the Third International Workshop on Extensions of Logic Programming , pp. 6173, Feb, 1992


  21. ✤1991

    1. ✴Phan Minh Dung: Negations as Hypotheses: An Abductive Foundation for Logic Programming. Proceedings of the Eighth International Conference on Logic Programming, pp. 3-17, The MIT Press, 1991.

    2. ✴Phan Minh Dung, Phaiboon Ruamviboonsuk: Well-Founded Reasoning with Classical Negation. Logic Programming and Non-Monotonic Reasoning, Proceedings of the first International Workshop, pp. 120-133, MIT Press, July 1991.

    3. ✴Phan Minh Dung: An Abductive Foundation of Logic Programming. Proc. of 8th International Conference on Logic Programming, 1991, MIT Press

    4. ✴Phan Minh Dung: An Abductive Foundation for Non-Monotonic Truth-Maintenance, Proceedings of the 1st World Conference on the Fundamentals of Artificial Intelligence, pp. 375-384, Angkor, July 1991


  23. ✤1990

    1. ✴Phan Minh Dung: On the strong completion of logic programs. Algebraic and Logic Programming, pp. 158-172, Springer, October 1990

    2. ✴Phan Minh Dung: Strong Circumscription Specifies Stable Semantics of Normal Logic Programs. ECAI 1990: 443-448


  25. ✤1989

    1. ✴Phan Minh Dung, Kanchana Kanchanasut: A Natural Semantics for Logic Programs with Negation. Foundations of Software Technology and Theoretical Computer Science, pp. 78-88, Springer, December 1989.

    2. ✴Phan Minh Dung, Kanchana Kanchanasut: On the Generalized Predicate Completion of Non-Horn Programs, Proceedings of the North American Conference on Logic Programming, pp. 587-603, 1989

    3. ✴Phan Minh Dung, Kanchana Kanchanasut: A Fixpoint Approach to Declarative Semantics of Logic Programs. Proceedings of the North American Conference on Logic Programming, pp. 604-625, 1989


  27. ✤1986

    1. ✴Peter Bachmann, Phan Minh Dung: Nondeterministic Computations - Structure and Axioms. Elektronische Informationsverarbeitung und Kybernetik 22(5/6): 243-261 (1986)