Son Cao  Tran
Associate Professor Ph.D., Texas, El Paso   2000 Email: tson@cs.nmsu.edu   Phone: (575) 646-1930 Office: SH 155 Home Page
Tran Cao Son received his Diplom Mathematiker degree in Mathematic Cybernetics and Comuting Technique in July 1987 from the Technical University of Dresden, Germany and his Master's and Ph.D. degrees in computer science from Asian Institute of Technology, Thailand and University of Texas at El Paso in 1993 and 2000 respectively. Before joining the Computer Science Department at New Mexico State University as an Assistant Professor in 2001, he was a post-doctoral at the Knowledge Systems Laboratory, Computer Science, Stanford University. He was a recipient of the Outstanding Dissertation Award of the University of Texas at El Paso in 2001. His primary research interests are in Knowledge Representation and Reasoning, Logic Programming, Commonsense Reasoning, Planning and Plan Verification, and Intelligent Agents. He received the Junior Faculty/Staff Award, fourth annual University Council Award for Exceptional Achievements in Creative Scholarly Activity, New Mexico State University, 2004.

Publications
P.M. Dung and T.C. Son, " An Argument-Based Approach to Reasoning with Specificity, " An Argument-Based Approach to Reasoning with Specificity, Artificial Intelligence. Vol 103, 1-2, pp. 35-85, 2001

S. McIlraith and T.C.Son, " Adapting ConGolog for Programming the Semantics Web, " Adapting ConGolog for Programming the Semantics Web, In Working Notes of Common Sense - The Fifth International Symposium on Logical Formalization of Commonsense Reasoning, 2001

S. McIlraith, T.C. Son, and H. Zeng, " Mobilizing the Web with DAML-Enabled Web Services, " Mobilizing the Web with DAML-Enabled Web Services, In Proceedings of The Second International Workshop on the Semantic Web - SemWeb 2001 Hong Kong, China, May 1, April 1, 2001

T.C. Son and J. Lobo, " Reasoning about policies using logic programs, " Reasoning about policies using logic programs, AAAI Spring Symposium: "Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning", AAAI Press, 2001

T.C. Son, C. Baral, and S. McIlraith, " Extending answer set planning with sequence, conditional, loop, non-deterministic choice, and procedure constructs, " Extending answer set planning with sequence, conditional, loop, non-deterministic choice, and procedure constructs, In AAAI Spring Symposium: "Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning", AAAI Press, 2001

S. McIlraith, T.C. Son, and H. Zeng, " Semantic Web services, " Semantic Web services, In IEEE Intelligent Systems (Special Issue on the Semantic Web), March/April, 2001

T.C. Son and C. Baral, " Formalizing sensing actions - a transition function based approach, " Formalizing sensing actions - a transition function based approach, Artificial Intelligence. Vol. 125, 1-2, 2001

T.C. Son, C. Baral, and S. McIlraith, " Planning with different forms of domain-dependent control knowledge - an answer set programming approach, " Planning with different forms of domain-dependent control knowledge - an answer set programming approach, Proceedings of the 6th Internation Conference on Logic Programming and NonMonotonic Reasoning (LPRNM'01). Springer Verlag. Accepted, 2001

C. Baral, S. McIlraith, and T.C. Son, " Formulating diagnostic problem solving using an action language with narratives and sensing, " Formulating diagnostic problem solving using an action language with narratives and sensing, In Proceedings of the Seventh International Conference on Principles of Knowledge and Representation and Reasoning (KR'2000),, 2000

P.M. Dung and T.C. Son, " Default reasoning with specificity, " Default reasoning with specificity, In Proceedings of the First International Conference on Computational Logic (CL'00). Springer Verlag, NLCS 1861,, 2000

P.H. Hanh and T.C. Son, " Round-Table Architecture for Communication in Multi-Agent Softbot Systems, " Round-Table Architecture for Communication in Multi-Agent Softbot Systems, In Proceedings of the Second International Conference on Intelligent Data Engineering and Automated Learning (IDEAL'00),, 2000