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.
SmodelsA - 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+HTNTI: 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