Phan Minh Dũng - Giáo sư Đại học AIT - Thái Lan

Title: Professor of Computer Science; Information Management; Information and Communications Technologies Field of Study: Computer Science; Information Management; Information and Communications Technologies Location: Phone: (662) 524 5709 Fax: E-mail: dung@cs.ait.ac.th

Education Background

• Ph.D., in Computer Science, Dresden University of Technology, Germany, 1984
• 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.

Teaching

• AT70.03 Theory of Computation
• AT70.07 Programming Languages and Compilers
• AT70.13 Computer Security

Selected Publications

• An argument-based approach to reasoning with specificity, Artificial Intelligence, Vol. 133 (2001), 35-85, Elsevier Publishing B.V.
• Production Systems with Negation as Failure, IEEE Transaction on Knowledge and Data Engineering, March/April 2002, Vol. 14, No. 2.
• Argumentation-based proof procedures for Credulous and Skeptical Non-monotonic Reasoning in Computational Logic: Logic Programming and Beyond, Springer Verlag 2003, pp. 289-310.
• 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.
• Dialectic Proof Procedures for Assumption-based, Admissible Argumentation, Artificial Intelligence 170(2), Elsevier Science, February 2006, pp. 114-159.

Professional Affiliations

IEEE, Association of Logic Programming.

Research Keywords

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