Publications
by Tran Cao Son

- 2012
- Luis Tari, Phan
Huy Tu, Jörg Hakenberg, Yi Chen,
Tran Cao Son, Graciela Gonzalez, Chitta Baral: Incremental Information Extraction Using
Relational Databases. IEEE Trans. Knowl. Data
Eng. 24(1): 86-99 (2012)
- Hoang-Khoi Nguyen, Dang-Vien Tran, Tran Cao Son, Enrico
Pontelli: On Computing Conformant Plans
Using Classical Planners: A Generate-And-Complete Approach. ICAPS 2012 (Best Student
Paper Award)
- Enrico Pontelli, Tran Cao Son, Chitta Baral, Gregory Gelfond: Answer
Set Programming and Planning with Knowledge and World-Altering Actions in
Multiple Agent Domains. Correct Reasoning 2012: 509-526.
- Tiep Le, Hieu Nguyen, Enrico Pontelli, Tran Cao Son: ASP at Work: An ASP
Implementation of PhyloWS. ICLP (Technical Communications)
2012: 359-369.
- Vinay K. Chaudhri, Tran Cao Son:
Specifying and Reasoning with Underspecified Knowledge Bases Using Answer
Set Programming. KR 2012.
- Dang-Vien Tran, Hoang-Khoi
Nguyen, Tran Cao Son, Enrico Pontelli: A Conformant Planner
Based On Approximation: CpA(H). To appear in ACM Transactions on Intelligent
Systems and Technology.
- Benjamin Wright, Enrico Pontelli, Tran
Cao Son: Implementing Reversible Processes in Multi-agent Action
Languages using Answer Set Planning. Proceedings of the 13th
International Workshop on Computational Logic in Multi-Agent Systems,
2012.
- Tran Cao Son, Enrico Pontelli, Chitta Baral: A
Non-Monotonic Goal Specification Language for Planning with Preferences.
6th Multidisciplinary Workshop on Advances in Preference Handling. 2012.
- 2011
- Marcello Balduccini, Tran Cao Son (Eds.): Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday.
Lecture Notes in Computer Science 6565, Springer 2011, isbn 978-3-642-20831-7
- Phan Huy
Tu, Tran Cao Son, Michael Gelfond,
A. Ricardo Morales. Approximation
of Action Theories and Its Application to Conformant Planning.
(Artificial Intelligence, Volume 175, Issue 1, January 2011, Pages
79-119. ScienceDirect Link).
- Chiaki Sakama, Tran Cao Son, Enrico Pontelli: A Logical Formulation
for Negotiation among Dishonest Agents. IJCAI 2011: 1069-1074
- Son Thanh
To, Enrico Pontelli, Tran Cao Son: On the Effectiveness
of CNF and DNF Representations in Contingent Planning. IJCAI 2011:
2033-2038
- Hoang-Khoi Nguyen, Dang-Vien
Tran, Tran Cao Son, Enrico Pontelli: On Improving
Conformant Planners by Analyzing Domain-Structures. AAAI 2011.
- Son Thanh
To, Tran Cao Son, Enrico Pontelli: Conjunctive
Representations in Contingent Planning: Prime Implicates Versus Minimal
CNF Formula. AAAI 2011.
- Son Thanh
To, Tran Cao Son, Enrico Pontelli: On the Effectiveness
of Belief State Representation in Contingent Planning. AAAI 2011.
- Brandon Chisham,
Ben Wright, Trung Le, Tran
Cao Son, Enrico Pontelli: CDAO-Store: Ontology-driven Data
Integration for Phylogenetic Analysis. BMC
Bioinformatics 12: 98 (2011)
- Son Thanh To, Tran Cao
Son, and Enrico Pontelli. Contingent Planning as And/Or forward search with
Disjunctive Representation. Proceedings of the 21st International
Conference on Automated Planning and Scheduling, 2011.
- Tran Cao Son, Enrico Pontelli, Chiaki Sakama: An Experiment in Formalizing Commitments
Using Action Languages. AAAI Spring Symposium: Logical Formalizations of
Commonsense Reasoning 2011
- Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli,
and Chiaki Sakama. ASP-Prolog for
Negotiation Among Dishonest Agents. Proceedings
of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning, 2011.
- Tran Cao
Son, Enrico Pontelli, Chiaki Sakama: Formalizing Commitments Using Action Languages. DALT
2011: 67-83
- Nancy Alajarmeh, Enrico Pontelli,
Tran Cao Son:
From "Reading" Math to "Doing" Math: A New Direction
in Non-visual Math Accessibility. HCI (8) 2011: 501-510.
- Brandon Chisham, Enrico Pontelli,
Tran Cao Son, Ben Wright: CDAOStore:
A Phylogenetic Repository Using Logic Programming and Web Services. ICLP
(Technical Communications) 2011: 209-219
- 2010
- Son Thanh To, Tran Cao
Son, Enrico Pontelli. On the Use of Prime
Implicates in Conformant Planning. AAAI 2010
- Luis Tari, Phan Huy Tu, Joerg
Hakenberg, Yi Chen, Tran Cao Son, Graciela
Gonzalez, Chitta Baral. GenerIE:
Information extraction using database queries. ICDE 2010: 1121-1124
- Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw
Truszczy~ski. Logic programs with abstract constraint atoms: The
role of computations Artificial Intelligence, Volume 174, Issues 3-4,
March 2010, Pages 295-315. ScienceDirect Link
- Chitta Baral,
Gregory Gelfond, Tran Cao Son, Enrico Pontelli. Using Answer Set Programming to model multi-agent
scenarios involving agents' knowledge about other's knowledge.
Proceedings of the Ninth International Conference on Autonomous Agents
and Multiagent Systems (AAMAS-10). (PDF)
- Son Thanh To, Tran Cao
Son, and Enrico Pontelli. A New Approach to
Conformant Planning Using CNF. Proceedings of the 20th International
Conference on Automated Planning and Scheduling (ICAPS-10). (PDF)
- Chitta Baral,
Gregory Gelfond, Enrico Pontelli,
Tran Cao Son.
Logic programming for finding models in the logics of knowledge and its
applications: A case study. TPLP 10(4-6): 675-690 (2010)
- Enrico Pontelli, Hung Viet Le, Tran Cao Son. An investigation in
parallel execution of answer set programs on distributed memory
platforms: Task sharing and dynamic scheduling. Computer Languages,
Systems and Structures 36(2): 158-202 (2010)
- Tran Cao Son, Enrico Pontelli, and Chiaki Sakama. Formalizing
Commitments Using Action Languages. NMSU-CS-01-2010. (PDF)
- 2009
- 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). (PDF)
- 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: Tue Mar 15 16:48:18 MDT 2011