Title : Prof.
Name : Phan Minh Dung
FoS : Computer Science and Information Management
Affiliation : Professor
Location :
Phone : (662) 524 5709
Fax :
Email : dung[at]cs.ait.ac.th

Educational Background

  1. Ph.D., in Computer Science, Dresden University of Technology, Germany, 1984
  2. M.Sc., in Computer science, University of Technology, Germany, 1981

Research Interests

Logic Programming, Knowledge Representation and Reasoning, Argumentation, MultiAgent Computing, Semantic Grids, Trust and Security, Artificial Intelligence.
Teaching Interests
Computer Networks, Software Engineering of Distributed Real-time Systems, Service and Protocol Architectures, Network and Service Management.



  1. AT70.03 Theory of Computation
  2. AT70.07 Programming Languages and Compilers
  3. AT70.13 Computer Security

Selected Publications

  1. An argument-based approach to reasoning with specificity, Artificial Intelligence, Vol. 133 (2001), 35-85, Elsevier Publishing B.V.
  2. Production Systems with Negation as Failure, IEEE Transaction on Knowledge and Data Engineering, March/April 2002, Vol. 14, No. 2.
  3. Argumentation-based proof procedures for Credulous and Skeptical Non-monotonic Reasoning in Computational Logic: Logic Programming and Beyond, Springer Verlag 2003, pp. 289-310.
  4. Stepwise Development of Security Protocols: A speech Act Oriented Approach, In Proc of 2 nd ACM Workshop on Formal Methods in Security Engineering, 2004, Washington, USA.
  5. Dialectic Proof Procedures for Assumption-based, Admissible Argumentation, Artificial Intelligence 170(2), Elsevier Science, February 2006, pp. 114-159.

Ongoing and Completed Projects


Awards and Honors


Professional Affiliations

IEEE, Association of Logic Programming.


Research Keywords

Logic Programming, Argumentation, Trust, Security, Negotiation, Multiagent, Semantic Grids.