Tran Cao Son's Home Page

Professor in Computer Science, New Mexico State University, Las Cruces, New Mexico

Research Interest

bullet

Reasoning about Actions and Changes, Planning, Scheduling

bullet

Knowledge Representation and Reasoning 

    (Argumentation, Logic Programming, Nonmonotonic Reasoning)

bullet

Autonomous Agents, Robotics, and Control Theory

bullet

Web Agents

Activities

bullet12th International Conference on Logic Programming and NonMonotonic Reasoning: LPNMR 2013
bullet14th International Workshop on Computational Logic and Multi-Agent Systems: CLIMA XIV
bulletBooks (Edited)
bulletLogic Programming, Knowledge Representation, and Nonmonotonic Reasoning
Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
LNAI 6565 - Springer Verlag, 2011 (with Marcello Balduccini)
bullet Declarative Agent Languages and Technologies VI
(Revised Selected and Invited Papers)
LNAI 5397 - Springer Verlag, 2008 (with Matteo Baldoni, Birna van Riemsdijk, and Michael Winikoff)
bullet Declarative Agent Languages and Technologies V
(Revised Selected and Invited Papers)
LNAI 4897 - Springer Verlag, 2007 (with Matteo Baldoni, Birna van Riemsdijk, and Michael Winikoff)
bullet Publications (some are listed on DBLP server).
bulletStudents
bulletTutorials
bulletKnowledge representation, Logic, and Advanced Programming Laboratory (KLAP)

Other Stuffs

bulletSome pictures of my family
bulletMy sister's art work
bulletTravel to Vietnam
bulletFor Vietnamese students: A note on TA/RA (from my perspective)

Favorite Links

bulletMy Advisors: Chitta Baral, Phan Minh Dung, Michael Gelfond
bulletMy Home Town: Nam Dinh (English).

Last modified: Fri Sep 16 14:03:34 MDT 2011