Publications
by Tran Cao Son

Google scholar has almost all of my publications - please check it out

- 2020
- Marcello Balduccini, Michael Gelfond, Enrico Pontelli, Tran Cao Son: An Answer Set Programming Framework for Reasoning about Agents’ Beliefs
and Truthfulness of Statements (PDF)
- Van Nguyen, Stylianos Loukas Vasileiou, Tran Cao Son, William Yeoh: Explainable Planning Using Answer Set Programming (PDF)
-
Van Nguyen, Tran Cao Son, Vasileiou Loukas Stylianos, William Yeoh:
Conditional Updates of Answer Set Programming and Its Application in Explainable Planning. AAMAS 2020: 1954-1956
-
Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son:
On Repairing Web Services Workflows. PADL 2020: 37-53

- 2019
- Patrick Thor Kahl, Anthony P. Leclerc, Tran Cao Son:
A parallel memory-efficient epistemic logic program solver: harder, better, faster. Ann. Math. Artif. Intell. 86(1-3): 61-85 (2019)
-
Phan Minh Dung, Phan Minh Thang, Tran Cao Son:
On Structured Argumentation with Conditional Preferences. AAAI 2019: 2792-2800
-
Tiep Le, Tran Cao Son, Enrico Pontelli:
Multi-Context System for Optimization Problems. AAAI 2019: 2929-2937
-
Poom Pianpak, Tran Cao Son, Z O. Toups, William Yeoh:
A distributed solver for multi-agent path finding problems. DAI 2019: 2:1-2:7
-
Quan T. Do, Alexa K. Doig, Tran Cao Son:
Deep Q-learning for Predicting Asthma Attack with Considering Personalized Environmental Triggers' Risk Scores. EMBC 2019: 562-565
-
Quan T. Do, Alexa K. Doig, Tran Cao Son, Jamil M. Chaudri:
Predicting Lung Healthiness Risk Scores to Identify Probability of an Asthma Attack. EUSPN/ICTH 2019: 424-431
-
Van Nguyen, Tran Cao Son, Enrico Pontelli:
Natural Language Generation from Ontologies. PADL 2019: 64-81
-
Chiaki Sakama, Tran Cao Son:
Epistemic Argumentation Framework. PRICAI (1) 2019: 718-732
-
Van Nguyen, William Yeoh, Tran Cao Son, Vladik Kreinovich, Tiep Le:
A Scheduler for Smart Homes with Probabilistic User Preferences. PRIMA 2019: 138-152
-
Van Nguyen, Philipp Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh:
Generalized Target Assignment and Path Finding Using Answer Set Programming. SOCS 2019: 194-195
-
Van Duc Nguyen, Tran Cao Son, Enrico Pontelli:
Natural Language Generation for Non-Expert Users. ICLP Technical Communications 2019: 280-294

- 2018
-
Tiep Le, Francesco Fabiano, Tran Cao Son, Enrico Pontelli:
EFP and PG-EFP: Epistemic Forward Search Planners in Multi-Agent Domains. ICAPS 2018.
PDF
-
Tiep Le, Atena M. Tabakhi, Long Tran-Thanh, William Yeoh, Tran Cao Son.
Preference Elicitation with Interdependency and User Bother Cost.
AAMAS 2018.
-
Moinul Morshed Porag Chowdhury, Christopher Kiekintveld, Tran Cao Son, William Yeoh.
Bidding in Periodic Double Auctions
Using Heuristics and Dynamic Monte Carlo Tree Search.
IJCAI 2018.
-
Moinul Morshed Porag Chowdhury, Christopher Kiekintveld, Tran Cao Son, William Yeoh.
Bidding Strategy for Periodic Double Auctions Using Monte Carlo Tree Search.
AAMAS 2018. (Extended Abstract)
-
Van Nguyen, Tran Cao Son and Enrico Pontelli.
Natural Language Generation From Ontologies: Application Paper (Extended Abstract).
ICLP 2018.
-
Thanh Nguyen, Enrico Pontelli and Tran Cao Son.
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming.
ICLP 2018.
-
Martin Gebser, Van Nguyen, Philipp Obermeier, Thomas Otto, Orkunt Sabuncu, Torsten Schaub and Tran Cao Son.
Experimenting with robotic intra-logistics domains.
ICLP 2018.
- Tiep Le, Tran Cao
Son, Enrico
Pontelli:
Multi-Context Systems with Preferences. Fundam. Inform. 158(1-3): 171-216 (2018)
-
Thanh H. Nguyen, Tran Cao Son, Enrico Pontelli:
Automatic Web Services Composition for Phylotastic. PADL 2018: 186-202.
-
Ricardo Rocha, Tran Cao Son, Christopher Mears, Neda Saeedloei:
Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, August 28
to September 1, 2017, Melbourne, Australia. OASICS 58, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
2018, ISBN 978-3-95977-058-3

- 2017
-
Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh:
Solving distributed constraint optimization problems using logic programming. TPLP 17(4): 634-683 (2017).
-
Ricardo Rocha, Tran Cao Son:
Introduction to the 33rd international conference on logic programming special issue. TPLP 17(5-6):
684-688 (2017)
-
Quan Do, Tran Cao Son, Jamil Chaudri:
Classification of Asthma Severity and Medication Using TensorFlow and Multilevel Databases. EUSPN/ICTH
2017: 344-351
-
Van Nguyen, Philipp Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh:
Generalized Target Assignment and Path Finding Using Answer Set Programming. IJCAI 2017: 1216-1223.
-
Tran Cao Son, Tiep Le, Patrick Thor Kahl, Anthony P. Leclerc:
On Computing World Views of Epistemic Logic Programs. IJCAI 2017: 1269-1275.
-
Son Thanh To, Tran Cao Son, Enrico Pontelli:
A generic approach to planning in the presence of incomplete information: Theory and implementation
(Extended Abstract). IJCAI 2017: 5075-5079.
-
Javier Romero, Torsten Schaub, Tran Cao Son:
Generalized Answer Set Planning with Incomplete Information. ASPOCP@LPNMR 2017
-
Tran Cao Son:
Answer Set Programming and Its Applications in Planning and Multi-agent Systems. LPNMR 2017: 23-35.
-
Chitta Baral, Tran Cao Son:
Revision and Updates in Possibly Action-Occurrence-Incomplete Narratives. PRIMA 2017: 53-70.
-
Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh:
Solving Distributed Constraint Optimization Problems Using Logic Programming. CoRR abs/1705.03916 (2017).

- 2016
-
Tran Cao Son, Orkunt Sabuncu, Christian Schulz-Hanke, Torsten Schaub, William Yeoh:
Solving Goal Recognition Design Using ASP. AAAI 2016: 3181-3187.
-
Tiep Le, Ferdinando Fioretto, William Yeoh, Tran Cao Son, Enrico Pontelli:
ER-DCOPs: A Framework for Distributed Constraint Optimization with Uncertainty in Constraint Utilities.
AAMAS 2016: 606-614.
-
Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini:
An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. ICLP
(Technical Communications) 2016: 8:1-8:4
-
Christabel Wayllace, Ping Hou, William Yeoh, Tran Cao Son:
Goal Recognition Design with Stochastic Agent Action Outcomes. IJCAI 2016: 3279-3285
-
Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini: Reasoning
about Truthfulness of Agents Using Answer Set Programming. KR 2016: 605-608
-
Phan Minh Dung, Tran Cao Son, Phan Minh Thang:
Argumentation-Based Semantics for Logic Programs with First-Order Formulae. PRIMA 2016: 43-60
-
Chitta Baral, Tran Cao Son, Michael Gelfond, Arindam Mitra:
Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language
Communication. PRIMA 2016: 376-386.
-
Enrico Pontelli, Alex Rogers, Sylvie Thiébaux, Tran Cao Son:
AI for Smart Grids and Smart Buildings, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA,
February 12, 2016. AAAI Workshops WS-16-04, AAAI Press 2016.
-
Matteo Baldoni, Amit K. Chopra, Tran Cao Son, Katsutoshi Hirayama, Paolo Torroni:
PRIMA 2016: Princiles and Practice of Multi-Agent Systems - 19th International Conference, Phuket,
Thailand, August 22-26, 2016, Proceedings. Lecture Notes in Computer Science 9862, Springer 2016, ISBN
978-3-319-44831-2
-
Patrick Thor Kahl, Anthony P. Leclerc, Tran Cao Son:
A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, Better, Faster. CoRR abs/1608.06910
(2016)

- 2015
-
Son Thanh To, Tran Cao Son, Enrico Pontelli:
A generic approach to planning in the presence of incomplete information: Theory and implementation.
Artif. Intell. 227: 1-51 (2015)
-
João Leite, Tran Cao Son, Paolo Torroni, Stefan Woltran:
Applications of logical approaches to argumentation. Argument & Computation 6(1): 1-2 (2015)
-
Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh:
Solving Distributed Constraint Optimization Problems Using Logic Programming. AAAI 2015: 1174-1181
-
Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond:
Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence. AAAI 2015:
1604-1610
-
Tran Cao Son, Enrico Pontelli, Chitta Baral:
A Non-monotonic Goal Specification Language for Planning with Preferences. Advances in Knowledge
Representation, Logic Programming, and Abstract Argumentation 2015: 202-217
-
Ferdinando Fioretto, Tiep Le, Enrico Pontelli, William Yeoh, Tran Cao Son:
Exploiting GPUs in Solving (Distributed) Constraint Optimization Problems with Dynamic Programming. CP
2015: 121-139
-
Stefano Tognazzi, Agostino Dovier, Enrico Pontelli, Tran Cao Son:
Exploring the Use of BDDs in Conformant Planning. ICTAI 2015: 502-509
-
Chitta Baral, Tran Cao Son:
"Add Another Blue Stack of the Same Height!": ASP Based Planning and Plan Failure Analysis. LPNMR 2015:
127-133
-
Tiep Le, Tran Cao Son, Enrico Pontelli:
Multi-Context Systems with Preferences. PRIMA 2015: 449-466
-
Enrico Pontelli, Tran Cao Son:
Practical Aspects of Declarative Languages - 17th International Symposium, PADL 2015, Portland, OR, USA,
June 18-19, 2015. Proceedings. Lecture Notes in Computer Science 9131, Springer 2015, ISBN
978-3-319-19685-5
-
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son:
An Action Language for Multi-Agent Domains: Foundations. CoRR abs/1511.01960 (2015)

- 2014
-
Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen, Chiaki Sakama:
Formalizing Negotiations Using Logic Programming. ACM Trans. Comput. Log. 15(2): 12:1-12:30 (2014)
-
Ping Hou, William Yeoh, Tran Cao Son:
Solving Uncertain MDPs by Reusing State Information and Plans. AAAI 2014: 2285-2292
-
Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh:
ASP-DPOP: solving distributed constraint optimization problems with logic programming. AAMAS 2014:
1337-1338
-
Ferdinando Fioretto, Tiep Le, William Yeoh, Enrico Pontelli, Tran Cao Son:
Improving DPOP with Branch Consistency for Solving Distributed Constraint Optimization Problems. CP 2014:
307-323
-
Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond:
Finitary S5-Theories. JELIA 2014: 239-252
-
Tran Cao Son, Enrico Pontelli, Tiep Le:
Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems. PADL 2014:
87-103
-
Tiep Le, Enrico Pontelli, Tran Cao Son, William Yeoh:
Logic and Constraint Logic Programming for Distributed Constraint Optimization. CoRR abs/1405.1734 (2014)

- 2013
- Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen, Chiaki Sakama:
Formalizing Negotiations Using Logic Programming. ACM TOCL (accepted).
link to PDF
- Vien Tran, Khoi Nguyen, Tran Cao Son, Enrico Pontelli:
A conformant planner based on approximation: CpA(H). ACM TIST 4(2): 36 (2013)
Link to ACM Digital Library
-
Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son:
Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The
Action Language mAL. CLIMA 2013: 290-306
-
João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran:
Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain,
September 16-18, 2013. Proceedings. Lecture Notes in Computer Science 8143, Springer 2013, ISBN
978-3-642-40623-2
-
Pedro Cabalar, Tran Cao Son:
Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain,
September 15-19, 2013. Proceedings. Lecture Notes in Computer Science 8148, Springer 2013, ISBN
978-3-642-40563-1
-
Vinay K. Chaudhri, Stijn Heymans, Michael A. Wessel, Tran Cao Son:
Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for
ASP. CoRR abs/1312.6138 (2013)

- 2012
- Luis Tari, Phan
Huy Tu, J?g 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.
- 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.
290296, 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. (PDF)
- 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