Publications by Tran Cao Son

2009

Phan Huy Tu, Tran Cao Son, Michael Gelfond, A. Ricardo Morales. Approximation of Action Theories and Its Application to Conformant Planning. (Accepted for publication PDF)
Tran Cao Son and Chiaki Sakama. Negotiation Using Logic Programming with Consistency Restoring Rules. IJCAI 2009. (PDF)
Tran Cao Son and Chiaki Sakama. Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming. DALT 2009. (PDF)
Son Thanh To, Enrico Pontelli, and Tran Cao Son. A Conformant Planner with Explicit Disjunctive Representation of Belief States. To appear in Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS-09).
Tran Cao Son, Enrico Pontelli, and Chiaki Sakama. Logic Programming for Multiagent Planning with Negotiation. In Proceedings of the 25th International Conference on Logic Programming (ICLP-09). (PDF)
Phan Huy Tu, Enrico Pontelli, Tran Cao Son, and To Thanh Son. Applications of Parallel Processing Technologies in Heuristic Search Planning: Methodologies and Experiments. Concurrency and Computation: Practice and Experience. 2009. (PDF)
Enrico Pontelli, Tran Cao Son, Omar Elkhatib. Justifications for Logic Programs under Answer Set Semantics. TPLP 2009. (PDF)
Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff. Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers Springer 2009.
Dang-Vien Tran, Hoang-Khoi Nguyen, Enrico Pontelli, Tran Cao Son. Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications. PADL 2009: 239-253.
Chitta Baral, Tran Cao Son, Enrico Pontelli. Reasoning about Multi-Agent Domains using Action Language C: A Preliminary Study. To appear in Proceedings of the 10th Workshop on Computational Logic in Multi-Agent Systems (CLIMA X).
Chiaki Sakama and Tran Cao Son. Interacting Answer Sets. To appear in Proceedings of the 10th Workshop on Computational Logic in Multi-Agent Systems (CLIMA X).

2008

Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff. Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers Springer 2008.
Pierro Bonatti, Enrico Pontelli, Tran Cao Son. Credulous Resolution for Answer Set Programming. AAAI 2008. (PDF)
Chita Baral, Juraj Dzifcak, Tran Cao Son. Using ASP and lambda calculus to characterize NL sentences with normatives and exceptions. AAAI 2008. (PDF)
Richard B. Scherl, Tran Cao Son, Chitta Baral. State-Based Regression with Sensing and Knowledge. PRICAI 2008: 345-357
Tran Cao Son, Enrico Pontelli. Some Results on the Completeness of Approximation Based Reasoning. PRICAI 2008: 358-369 (also in AAAI Spring Symposium, 2008.

2007

Lengning Liu, Enrico Pontelli, Tran Cao Son, and Miroslaw Truszczynski. Logic Programs with Abstract Constraint Atoms: The Role of Computations. ICLP 2007: 286-301. (PDF)
Phan Huy Tu,Tran Cao Son, and Enrico Pontelli. CPP: A Constraint Logic Programming Based Planner with Preferences. LPNMR 2007. LNAI 4483, pp. 290–296, 2007. (PDF)
Phan Huy Tu, Tran Cao Son, and Chitta Baral. Reasoning Planning with Sensing Actions, Incomplete Information, and Static Causal Laws using Logic Programming. TPLP 7 (4): 377-450 . (PDF)
Tran Cao Son, Enrico Pontelli, and Phan Huy Tu Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. JAIR, Volume 29, 353-389. (PDF)
Tran Cao Son and Enrico Pontelli. A Constructive Semantic Characterization of Aggregates in Answer Set Programming. TPLP, Volume 7, Issue 03, May 2007, pp 355-375. (PDF)
A. Ricardo Morales, Phan Huy Tu, and Tran Cao Son. An Extension To Conformant Planning Using Logic Programming. IJCAI 2007, 1991-1196. (PDF)
Le Chi Tuan, Chitta Baral and Tran Cao Son. A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information. Logical Methods in Computer Science. Volume 2, Issue 4. (PDF)

2006

Tran Cao Son, Chitta Baral, Tran Hoai Nam, and Sheila McIlraith. Domain-Dependent Knowledge in Answer Set Planning. TOCL, Vol 7, Number 4. (PS)

Tran Cao Son and Enrico Pontelli. Planning with Preferences using Logic Programming. TPLP, Vol 6, Issue 5, September 2006, 559-608. (PDF)

Omar El-Khatib, Enrico Pontelli, Tran Cao Son A Tool for Knowledge Base Integration and Querying. AAAI Spring Symposium. (PDF)

Tran Cao Son and Phan Huy Tu. On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information, KR 2006. (PDF)

Tran Cao Son, Enrico Pontelli, and Phan Huy Tu. Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms, AAAI 2006. (PDF)

Enrico Pontelli and Tran Cao SonJustifications for Logic Programs under Answer Set Semantics, ICLP 2006. (PDF)

Gobinath Narayanasamy, Joe Cecil, Tran Cao Son. A Collaborative Framework to Realize Virtual Enterprises Using 3APL. DALT 2006: 191-206.

2005

Tran Cao Son, Enrico Pontelli, and Islam Elkabani. On Logic Programming with Aggregates.NMSU Technical Report, NMSU-CS-2005-005. (PDF)
Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales. An Approximation of Action Theories and Its Application to Conformant Planning. LPNMR 2005: 172-184. (PDF)
Omar El-Khatib, Enrico Pontelli, Tran Cao Son. Integrating an Answer Set Solver into Prolog: ASP-PROLOG. LPNMR 2005: 399-404. (PDF)
Islam Elkabani, Enrico Pontelli, Tran Cao Son. Smodels^A - A System for Computing Answer Sets of Logic Programs with Aggregates. LPNMR 2005: 427-431. (PDF)
Tran Cao Son, Phan Huy Tu, Michael Gelfond, and Ricardo Morales. Conformant Planning for Domains with Constraints - A New Approach. AAAI-05, 1211-1216. (PDF)
Omar Elkhatib, Enrico Pontelli, and Tran Cao Son. Justification and Debugging of Answer Set Programs in ASP. AADEBUG 2005, 49-58.
Tran Cao Son, Phan Huy Tu, and Xin Zhang. Reasoning about Sensing Actions in Domains with Multi-Valued Fluents. Studia Logica (2005) 79: 135-160. (PDF)

2004

Enrico Pontelli, Tran Cao Son, Keshav Reddy Kottapally, Co Thai Ngo, Ravikumar Reddy Kotthuru, Doug Gillan. A system for automatic structure discovery and reasoning-based navigation of the web. Journal of Interacting with Computers, 19 (2004) 451-475.
Tran Cao Son and Enrico Pontelli. Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory. Computational Intelligence, 20 (2) 358-404, 2004. (An extended abstract of this paper appeared in JELIA'02.) (PDF)
Yu Pan, Tu Phan, Enrico Pontelli, Tran Cao Son. Construction of an Agent-based Framework for Evolutionary Biology: A Progress Report. Proceedings of the second International Workshop, DALT 2004, Columbia University, New York, July 19th, 2004, 125-140. (PDF)
Inna Pivkina, Enrico Pontelli, Tran Cao Son: Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences. CLIMA IV 2004, 134-158, 2004.
Tran Cao Son, Chitta Baral, and Le Chi Tuan. Adding Time and Intervals to Procedural and Hierarchical Control Specifications. AAAI-04, 92-97. (PDF)
Le-chi Tuan, Chitta Baral, Xin Zhang, and Tran Cao Son. Regression With Respect to Sensing Actions and Partial States. AAAI-04, 556-561. (PDF)
Omar Elkhatib, Enrico Pontelli, and Tran Cao Son. ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. PADL-04, 148-162. (PDF)
Islam Elkabani, Enrico Pontelli, and Tran Cao Son. Smodels with CLP and its Applications: A Simple and Effective Approach to Aggregates in ASP, ICLP-04, 73-89, 2004. (PDF)
Tran Cao Son, Phan Huy Tu, and Chitta Baral. Planning with Sensing Actions and Incomplete Information using Logic Programming. Link to the planning system mentioned in this paper. Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, 261-274. Lecture Notes in Computer Science 2923 Springer 2004. (PDF)
Tran Cao Son and Enrico Pontelli. Planning with Preferences using Logic Programming. Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, 247-260. Lecture Notes in Computer Science 2923 Springer 2004. (PDF)
Enrico Pontelli, Tran Cao Son, and Islam Elkabani . Smodels with CLP-A Treatment of Aggregates in ASP (System Description). Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, 356-360. Lecture Notes in Computer Science 2923 Springer 2004.

2003

Chitta Baral, Le-Chi Tuan, and Tran Cao Son. Golog+HTN^TI: Adding time and intervals to procedural and hierarchical control knowledge. Proc. of the Sixth International Symposium on Logical Formalizations of Commonsense Reasoning, 2003 AAAI Spring Symposia Series, Stanford, USA. (PDF)
Tran Cao Son, Enrico Pontelli, Desh Ranjan, Brook Milligan and Gopta Gupta. An Agent-based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology. Proc. of the AAMAS-03 Workshop on Declarative Agent Languages and Technologies (DALT), Melbourne, Australia. (PDF)
Tran Cao Son, Phan Huy Tu, and Xin Zhang. Reasoning about Sensing Actions in Domains with Multi-Valued Fluents. Proc. of the IJCAI-03 Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC'03), Acalpuco, Mexico. (PDF)
Keshav Reddy Kottapally, Co Thai Ngo, Ravikumar Reddy Kotthuru, Enrico Pontelli, Tran Cao Son, Doug Gillan. Towards the Creation of Accessibility Agents for Non-visual Navigation of the Web (A Progress Report). Proc. of the Universal Accessibility Conference, British Columbia, Canada. (Best Paper Award)
Enrico Pontelli and Tran Cao Son. Developing Agents for Bioinformatics Applications: A Preliminary Design. Proc. of the Conference on Internet Computing.
Tran Cao Son and Enrico Pontelli. Adding Preferences to Answer Set Planning. Poster at the ICLP 2003. (PDF)
Chitta Baral, Alessandro Provetti, and Tran Cao Son. Introduction to the special issue on Programming with Answer Sets. Theory and Practice of Logic Programming, Volume 3, No. 4-5, 387-391.
Enrico Pontelli and Tran Cao Son. Designing Intelligent Agents to Support Universal Accessibility of the World Wide Web, 2(2), pages 147-161. Journal on "Electronic Commerce Research and Applications, Elsevier, March-May 2003. This is an extended version of the paper appeared in ICIC'02. (PDF)

2002

Chitta Baral, Tran Cao Son, and Le Chi Tuan. A transition function based characterization of actions with delayed and continuous effects. In Proceeding of the International Conference on the Principles of Knowledge Representation and Reasoning (KRR'02), 2002, 291-302. (PDF)
Sheila McIlraith and Tran Cao Son. Adapting Golog for Composition of Semantic Web Services. In Proceeding of the International Conference on the Principles of Knowledge Representation and Reasoning (KRR'02), 2002, 482-496. (PDF)
Stefania Costantini, Ramon P. Otero, Alessandro Provetti, and Tran Cao Son. Disjunctive Logic Programs with Inheritance Revisited (A Preliminary Report). In Proceedings of the 13th International Symposium on Methodologies for Intelligent Systems (ISMIS 2002), 294-302.
Enrico Pontelli and Tran Cao Son. Navigating HTML Tables and Frames: Planning, Reasoning, and Agents. In Proceedings of the Second AASERT, ACM, 2002.
Enrico Pontelli and Tran Cao Son. Designing Intelligent Agents to Support Universal Accessibility of the World Wide Web.In Proceedings of the International Conference on Internet Computing (ICIC'02), Vol. 3, pages 726--732. CSREA Press.
Tran Cao Son and Enrico Pontelli. Reasoning About Actions in Prioritized Default Theory. In Proceedings of the Eighth European Conference on Logics in Artificial Intelligence, JELIA'02, 369-381. A revised version of this paper is here.

2001

Phan Minh Dung and Tran Cao Son. An Argument-Based Approach to Reasoning with Specificity. Artificial Intelligence, Vol 133(1-2): 35-85 (2001). (PDF)
Tran Cao Son and Chitta Baral. Formalizing Sensing Actions - A Transition Function Based Approach. Artificial Intelligence, Vol 125, Issues 1-2, January 2001, pages 19 - 91. (PDF)
Sheila McIlraith, Tran Cao Son, and Honglei Zeng. Semantic Web Services , IEEE Intelligent Systems. Special Issue on the Semantic Web. March/April, 2001. Copyright IEEE, 2001. (PDF)
Tran Cao Son, Chitta Baral, and Sheila McIlraith. Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001, Vienna, Austria, September 17-19, 2001, pp. 226-239. (PDF)
Sheila McIlraith and Tran Cao Son. Adapting Golog for Programming the Semantic Web, Proceedings of the Fifth Symposium on Logical Formalizations of Commonsense Reasoning (Common Sense 2001). May 2001. (PDF)
Sheila McIlraith, Tran Cao Son, and Honglei Zeng. Mobilizing the Web with DAML-Enabled Web Services, The Second International Workshop on the Semantic Web (SemWeb'2001) at WWW-10. May 2001. (PDF)
Tran Cao Son, Chitta Baral, and Sheila McIlraith. Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs, Proceedings of the AAAI Spring Symposium on Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning. pp. 202-209, March, 2001. (PDF)
Tran Cao Son and Jorge Lobo. Reasoning about policies Proceedings of the AAAI Spring Symposium on Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning. pp. 210-216, March, 2001. (PDF)

2000

Phan Minh Dung and Tran Cao Son. Default Reasoning with Specificity. Proceedings of the first First International Conference on Computational Logic (CL'00), 2000, pages 792-806. (PDF)
Chitta Baral, Sheila McIlraith, and Tran Cao Son . Formulating diagnostic problem solving using an action language with narratives and sensing, Proceedings of the International Conference on the Principles of Knowledge Representation and Reasoning (KRR'00), 2000, pages 311-322. (PDF)
Pham Hong Hanh and Tran Cao Son. Round-Table Architecture for Communication in Multi-agent Softbot Systems. IDEAL 2000: 338-343. (PDF)
Chitta Baral and Tran Cao Son. Extending ConGolog to allow partial ordering. Proceeding of the Sixth International Workshops on Agent Theories, Architectures, and Languages July 1999, pages 264-275. (Best Paper Award) (PS)
Tran Cao Son. Reasoning about Sensing Actions and Reactivity, Doctoral Consortium, AAAI'1999

1999

Chitta Baral and Tran Cao Son. Relating Theories of actions and reactive control. ETAI - Electronic Transactions on Artificial Intelligence, Vol 2, Issues 3-4, July - December, 1998, pages 211-271. (link)
Chitta Baral, Gracia Gonzales, and Tran Cao Son. Conceptual modeling and querying in multi-media databases. Journal of multi-media tools and application. Vol 7, pages 37--66 (1998). (link)
Michael Gelfond and Tran Cao Son. Reasoning with Prioritized Defaults. Lecture Notes in Artificial Intelligence 1471, Selected Papers from the Workshop on Logic Programming and Knowledge Representation 1997, pages 164-223. This is an updated version of the paper appeared in LPKR 1997. (PS)

1998

Chitta Baral, Luis Floriano, Aaron Hardesty, David Morales, Monica Nogueira, and Tran Cao Son. From theory to practice: The UTEP robot in AAAI'96 and AAAI'97 robot contests Proceeding of the International Conference on Autonomous Agents, May 1998, pages 32-38. (PS)
Chitta Baral, Gracia Gonzales, and Tran Cao Son. Design and Implementation of Display Specification for Multi-media Answers. Proceeding of the International Conference on Data Engineering (ICDE'98), 1998, pages 558--565.

1997

Chitta Baral and Tran Cao Son, Approximate reasoning about actions in the presence of sensing and incomplete information Proceeding of International Logic Programming Symposium (ILPS'97), October 1997, pages 387-401. (PS)
Michael Gelfond, Tran Cao Son: Reasoning with Prioritized Defaults. LPKR 1997: 164-223.

1996

Phan Minh Dung and Tran Cao Son. An Argumentation-theoretical Approach to Reasoning with Specificity Proceeding of the International Conference on the Principles of Knowledge Representation and Reasoning (KRR'96), 1996, pages 507-519. (PS)

1995

Phan Minh Dung and Tran Cao Son. NonMonotonic Inheritance, Argumentation, and Logic Programming, Proceeding of the Logic Programming and NonMonotonic Reasoning Conference (LPNMR'95), 1995, pages 316-329. (PS)

Last modified: Mon Oct 26 11:41:01 MDT 2009