Tran Cao Son's Home Page
Professor in Computer Science, New Mexico State University, Las Cruces, New Mexico
Research Interest
 |
Reasoning about Actions and Changes, Planning, Scheduling |
|
Knowledge Representation and Reasoning (Argumentation, Logic Programming, Nonmonotonic Reasoning) |
|
Autonomous Agents, Robotics, and Control Theory |
|
Web Agents |
Activities: PC/General Chair/Local Organizer
| 20th International Conference on Principles of Knowledge
Representation and Reasoning. Rhodos. Greece 2023.
| 18th International Conference on Principles of Knowledge
Representation and Reasoning. Hanoi. Vietname 2021 (virtual).
| 35th International Conference on Logic Programming. Las Cruces, New
Mexico. USA. 2019.
| 19th Principles and Practice
of Multi-Agent Systems conference agent-based modeling programming. Tokyo. Japan. August 2018.
| 33rd International Conference on Logic Programming. Melbourne.
Australia. 2017.
| 19th Principles and Practice
of Multi-Agent Systems conference agent-based modeling programming. Phuket Thailand. August 2016.
| 12th International Conference on Logic Programming and NonMonotonic
Reasoning. Coruna. Spain. 2013.
| 14th International Workshop on Computational Logic and Multi-Agent Systems.
| |
Books (Edited)
 | Proceedings of the 12th International Conference on Logic Programming and NonMonotonic Reasoning LNAI 8148 - Springer Verlag, 2013 (with Pedro Cabalar) LPNMR 2013  Proceedings 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  Logic 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) 
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) 
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
| Publications (See Google scholar or DBLP server). |
| Systems -- developed mainly by my students |
| Students |
| Tutorials |
| Knowledge representation, Logic, and Advanced Programming Laboratory (KLAP) |
Other Stuffs
| Some pictures of my family |
| My sister's art work |
| Travel to Vietnam |
| For Vietnamese students: A note on TA/RA (from my perspective) |
Favorite Links
| My Advisors: Chitta Baral, Phan Minh Dung, Michael Gelfond |
| My Home Town: Nam Dinh (English). |
| Vietnamese Lunar Calnder (by Ho Ngoc Duc) |