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: PC/General Chair/Local Organizer

bullet20th International Conference on Principles of Knowledge Representation and Reasoning. Rhodos. Greece 2023.
bullet18th International Conference on Principles of Knowledge Representation and Reasoning. Hanoi. Vietname 2021 (virtual).
bullet35th International Conference on Logic Programming. Las Cruces, New Mexico. USA. 2019.
bullet19th Principles and Practice of Multi-Agent Systems conference agent-based modeling programming. Tokyo. Japan. August 2018.
bullet33rd International Conference on Logic Programming. Melbourne. Australia. 2017.
bullet19th Principles and Practice of Multi-Agent Systems conference agent-based modeling programming. Phuket Thailand. August 2016.
bullet12th International Conference on Logic Programming and NonMonotonic Reasoning. Coruna. Spain. 2013.
bullet14th International Workshop on Computational Logic and Multi-Agent Systems.

Books (Edited)

bulletProceedings of the 12th International Conference on Logic Programming and NonMonotonic Reasoning
LNAI 8148 - Springer Verlag, 2013 (with Pedro Cabalar)
LPNMR 2013
bulletProceedings of the 14th International Workshop on Computational Logic and Multi-Agent Systems
LNAI 8143 - Springer Verlag, 2013 (with Leite, J.; Torroni, P.; van der Torre, L.; Woltran, S.)
CLIMA XIV
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)

Publications, Students, Systems, and Tutorials

bullet Publications (some are listed on DBLP server).
bulletSystems
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).
bulletVietnamese Lunar Calnder (by Ho Ngoc Duc)

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