Publications by Tran Cao Son

  • 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. 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. (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