Details

Category: profile dung

Phan Minh Dung

Title: Professor of Computer Science; Information Management
Field of Study: Computer Science; Information Management
Location: CSIM, room #100
Phone: +66 2524 5709
Fax: +66 2524 5721
Email: This email address is being protected from spambots. You need JavaScript enabled to view it.

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.