| 2026 | AAAI | On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios (Abstract Reprint). | Stylianos Loukas Vasileiou, William Yeoh, Alessandro Previti, Tran Cao Son |
| 2026 | KR | A Study of Belief Revision Postulates in Multi-Agent Systems. | Michael Thielscher, Tran Cao Son |
| 2026 | KR | Extracting Verified Action Theories from Informal Specifications via Explanation-Guided Refinement. | Stylianos Loukas Vasileiou, Minh Nguyen, Tran Cao Son, Huiping Cao, Enrico Pontelli |
| 2025 | ACL | UnSeenTimeQA: Time-Sensitive Question-Answering Beyond LLMs' Memorization. | Md Nayem Uddin, Amir Saeidi, Divij Handa, Agastya Seth, Tran Cao Son, Eduardo Blanco, Steven R. Corman, Chitta Baral |
| 2025 | ICLR | ActionReasoningBench: Reasoning about Actions with and without Ramification Constraints. | Divij Handa, Pavel Dolin, Shrinidhi Kumbhar, Tran Cao Son, Chitta Baral |
| 2024 | DX | Diagnosing Multi-Agent STRIPS Plans. | Avraham Natan, Roni Stern, Meir Kalech, William Yeoh, Tran Cao Son |
| 2024 | KR | Action Language mA* with Higher-Order Action Observability. | David Buckingham, Matthias Scheutz, Tran Cao Son, Francesco Fabiano |
| 2024 | KR | Dialectical Reconciliation via Structured Argumentative Dialogues. | Stylianos Loukas Vasileiou, Ashwin Kumar, William Yeoh, Tran Cao Son, Francesca Toni |
| 2024 | LPNMR | A Simulation for Supply Chains Contract Execution. | Long Tran-Thanh, Tran Cao Son, Dylan Flynn, Marcello Balduccini |
| 2024 | PRIMA | ℋ-Efp: Bridging Efficiency in Multi-agent Epistemic Planning with Heuristics. | Francesco Fabiano, Theoderic Platt, Tran Cao Son, Enrico Pontelli |
| 2023 | EMAS | Load Balancing in Distributed Multi-Agent Path Finder (DMAPF). | Poom Pianpak, Jiaoyang Li, Tran Cao Son |
| 2023 | ICLP | Routing and Scheduling in different ways: Abridged Preliminary Report. | Jan Behrens, Roland Kaminski, Torsten Schaub, Tran Cao Son, Jiri Svancara, Philipp Wanko |
| 2023 | PADL | Formalizing and Reasoning About Supply Chain Contracts Between Agents. | Dylan Flynn, Chasity Nadeau, Jeannine Shantz, Marcello Balduccini, Tran Cao Son, Edward R. Griffor |
| 2023 | SAC | Reasoning about Non-Deterministic Observability and Hypothetical Action Occurrences in Multi-Agent Domains. | Loc Pham, Tran Cao Son, Enrico Pontelli |
| 2022 | EPIA | A Robust State Transition Function for Multi-agent Epistemic Systems. | Yusuf Izmirlioglu, Loc Pham, Tran Cao Son, Enrico Pontelli |
| 2022 | LPNMR | State Transition in Multi-agent Epistemic Domains Using Answer Set Programming. | Yusuf Izmirlioglu, Loc Pham, Tran Cao Son, Enrico Pontelli |
| 2022 | LPNMR | Interlinking Logic Programs and Argumentation Frameworks. | Chiaki Sakama, Tran Cao Son |
| 2022 | LPNMR | xASP: An Explanation Generation System for Answer Set Programming. | Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini |
| 2022 | PRIMA | A New Semantics for Action Language m | Loc Pham, Yusuf Izmirlioglu, Tran Cao Son, Enrico Pontelli |
| 2022 | PRIMA | Improving Problem Decomposition and Regulation in Distributed Multi-Agent Path Finder (DMAPF). | Poom Pianpak, Tran Cao Son |
| 2022 | SAC | Update models for lying and misleading announcements. | Loc Pham, Tran Cao Son, Enrico Pontelli |
| 2021 | ICLP | exp(ASPc): Explaining ASP Programs with Choice Atoms and Constraint Rules. | Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini |
| 2021 | JELIA | Model Reconciliation in Logic Programs. | Tran Cao Son, Van Nguyen, Stylianos Loukas Vasileiou, William Yeoh |
| 2021 | PADL | A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States. | Fabio Tardivo, Loc Pham, Tran Cao Son, Enrico Pontelli |
| 2021 | PRICAI | Multi-agent Epistemic Planning with Inconsistent Beliefs, Trust and Lies. | Francesco Fabiano, Alessandro Burigana, Agostino Dovier, Enrico Pontelli, Tran Cao Son |
| 2021 | SoCS | Explainable Problem in clingo-dl Programs. | Van Nguyen, Tran Cao Son, William Yeoh |
| 2020 | KR | An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements. | Marcello Balduccini, Michael Gelfond, Enrico Pontelli, Tran Cao Son |
| 2020 | KR | Explainable Planning Using Answer Set Programming. | Van Nguyen, Vasileiou Loukas Stylianos, Tran Cao Son, William Yeoh |
| 2020 | PADL | On Repairing Web Services Workflows. | Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son |
| 2020 | PRIMA | Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP. | Thanh Hai Nguyen, Tran Cao Son, Matthew Bundas, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor |
| 2019 | AAAI | On Structured Argumentation with Conditional Preferences. | Phan Minh Dung, Phan Minh Thang, Tran Cao Son |
| 2019 | AAAI | Multi-Context System for Optimization Problems. | Tiep Le, Tran Cao Son, Enrico Pontelli |
| 2019 | EUSPN | Predicting Lung Healthiness Risk Scores to Identify Probability of an Asthma Attack. | Quan T. Do, Alexa K. Doig, Tran Cao Son, Jamil M. Chaudri |
| 2019 | PADL | Natural Language Generation from Ontologies. | Van Nguyen, Tran Cao Son, Enrico Pontelli |
| 2019 | PRICAI | Epistemic Argumentation Framework. | Chiaki Sakama, Tran Cao Son |
| 2019 | PRIMA | A Scheduler for Smart Homes with Probabilistic User Preferences. | Van Nguyen, William Yeoh, Tran Cao Son, Vladik Kreinovich, Tiep Le |
| 2019 | SoCS | Generalized Target Assignment and Path Finding Using Answer Set Programming. | Van Nguyen, Philipp Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh |
| 2018 | ICLP | Explanations Generation For Web Service Workflow. | Van Duc Nguyen, Tran Cao Son, Enrico Pontelli |
| 2018 | PADL | Automatic Web Services Composition for Phylotastic. | Thanh Hai Nguyen, Tran Cao Son, Enrico Pontelli |
| 2018 | PRIMA | A Multi-agent Simulator Environment Based on the Robot Operating System for Human-Robot Interaction Applications. | Poom Pianpak, Tran Cao Son, Phoebe O. Toups Dugas |
| 2017 | EUSPN | Classification of Asthma Severity and Medication Using TensorFlow and Multilevel Databases. | Quan T. Do, Tran Cao Son, Jamil M. Chaudri |
| 2017 | IJCAI | Generalized Target Assignment and Path Finding Using Answer Set Programming. | Van Nguyen, Philipp Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh |
| 2017 | IJCAI | On Computing World Views of Epistemic Logic Programs. | Tran Cao Son, Tiep Le, Patrick Thor Kahl, Anthony P. Leclerc |
| 2017 | IJCAI | A generic approach to planning in the presence of incomplete information: Theory and implementation (Extended Abstract). | Son Thanh To, Tran Cao Son, Enrico Pontelli |
| 2017 | LPNMR | Generalized Answer Set Planning with Incomplete Information. | Javier Romero, Torsten Schaub, Tran Cao Son |
| 2017 | LPNMR | Answer Set Programming and Its Applications in Planning and Multi-agent Systems. | Tran Cao Son |
| 2017 | PRIMA | Revision and Updates in Possibly Action-Occurrence-Incomplete Narratives. | Chitta Baral, Tran Cao Son |
| 2016 | AAAI | Solving Goal Recognition Design Using ASP. | Tran Cao Son, Orkunt Sabuncu, Christian Schulz-Hanke, Torsten Schaub, William Yeoh |
| 2016 | ICLP | An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. | Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini |
| 2016 | IJCAI | Goal Recognition Design with Stochastic Agent Action Outcomes. | Christabel Wayllace, Ping Hou, William Yeoh, Tran Cao Son |
| 2016 | KR | Reasoning about Truthfulness of Agents Using Answer Set Programming. | Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini |
| 2016 | PRIMA | Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication. | Chitta Baral, Tran Cao Son, Michael Gelfond, Arindam Mitra |
| 2016 | PRIMA | Argumentation-Based Semantics for Logic Programs with First-Order Formulae. | Phan Minh Dung, Tran Cao Son, Phan Minh Thang |
| 2015 | AAAI | Solving Distributed Constraint Optimization Problems Using Logic Programming. | Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh |
| 2015 | AAAI | Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence. | Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond |
| 2015 | CP | Exploiting GPUs in Solving (Distributed) Constraint Optimization Problems with Dynamic Programming. | Ferdinando Fioretto, Tiep Le, Enrico Pontelli, William Yeoh, Tran Cao Son |
| 2015 | ICTAI | Exploring the Use of BDDs in Conformant Planning. | Stefano Tognazzi, Agostino Dovier, Enrico Pontelli, Tran Cao Son |
| 2015 | LPNMR | "Add Another Blue Stack of the Same Height!": ASP Based Planning and Plan Failure Analysis. | Chitta Baral, Tran Cao Son |
| 2015 | PRIMA | Multi-Context Systems with Preferences. | Tiep Le, Tran Cao Son, Enrico Pontelli |
| 2014 | AAAI | Solving Uncertain MDPs by Reusing State Information and Plans. | Ping Hou, William Yeoh, Tran Cao Son |
| 2014 | CP | Improving DPOP with Branch Consistency for Solving Distributed Constraint Optimization Problems. | Ferdinando Fioretto, Tiep Le, William Yeoh, Enrico Pontelli, Tran Cao Son |
| 2014 | JELIA | Finitary S5-Theories. | Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond |
| 2014 | PADL | Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems. | Tran Cao Son, Enrico Pontelli, Tiep Le |
| 2012 | ICLP | ASP at Work: An ASP Implementation of PhyloWS. | Tiep Le, Hieu Nguyen, Enrico Pontelli, Tran Cao Son |
| 2012 | KR | Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming. | Vinay K. Chaudhri, Tran Cao Son |
| 2011 | AAAI | On Improving Conformant Planners by Analyzing Domain-Structures. | Hoang-Khoi Nguyen, Dang-Vien Tran, Tran Cao Son, Enrico Pontelli |
| 2011 | AAAI | Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF Formula. | Son Thanh To, Tran Cao Son, Enrico Pontelli |
| 2011 | AAAI | On the Effectiveness of Belief State Representation in Contingent Planning. | Son Thanh To, Tran Cao Son, Enrico Pontelli |
| 2011 | HCI | From "Reading" Math to "Doing" Math: A New Direction in Non-visual Math Accessibility. | Nancy Alajarmeh, Enrico Pontelli, Tran Cao Son |
| 2011 | ICLP | CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services. | Brandon Chisham, Enrico Pontelli, Tran Cao Son, Ben Wright |
| 2011 | IJCAI | A Logical Formulation for Negotiation among Dishonest Agents. | Chiaki Sakama, Tran Cao Son, Enrico Pontelli |
| 2011 | IJCAI | On the Effectiveness of CNF and DNF Representations in Contingent Planning. | Son Thanh To, Enrico Pontelli, Tran Cao Son |
| 2011 | LPNMR | ASP-Prolog for Negotiation among Dishonest Agents. | Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli, Chiaki Sakama |
| 2010 | AAAI | On the Use of Prime Implicates in Conformant Planning. | Son Thanh To, Tran Cao Son, Enrico Pontelli |
| 2010 | ICDE | GenerIE: Information extraction using database queries. | Luis Tari, Phan Huy Tu, Jrg Hakenberg, Yi Chen, Tran Cao Son, Graciela Gonzalez, Chitta Baral |
| 2009 | ASSETS | Making Microsoft Excel | Iyad Abu Doush, Enrico Pontelli, Dominic Simon, Tran Cao Son, Ou Ma |
| 2009 | ICLP | Logic Programming for Multiagent Planning with Negotiation. | Tran Cao Son, Enrico Pontelli, Chiaki Sakama |
| 2009 | IJCAI | Negotiation Using Logic Programming with Consistency Restoring Rules. | Tran Cao Son, Chiaki Sakama |
| 2009 | LPNMR | Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using . | Chitta Baral, Tran Cao Son, Enrico Pontelli |
| 2009 | PADL | Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications. | Dang-Vien Tran, Hoang-Khoi Nguyen, Enrico Pontelli, Tran Cao Son |
| 2008 | AAAI | Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions. | Chitta Baral, Juraj Dzifcak, Tran Cao Son |
| 2008 | AAAI | Credulous Resolution for Answer Set Programming. | Piero A. Bonatti, Enrico Pontelli, Tran Cao Son |
| 2008 | PRICAI | State-Based Regression with Sensing and Knowledge. | Richard B. Scherl, Tran Cao Son, Chitta Baral |
| 2008 | PRICAI | Some Results on the Completeness of Approximation Based Reasoning. | Tran Cao Son, Enrico Pontelli |
| 2007 | ICLP | Logic Programs with Abstract Constraint Atoms: The Role of Computations. | Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski |
| 2007 | IJCAI | An Extension to Conformant Planning Using Logic Programming. | A. Ricardo Morales, Phan Huy Tu, Tran Cao Son |
| 2007 | LPNMR | CPP: A Constraint Logic Programming Based Planner with Preferences. | Phan Huy Tu, Tran Cao Son, Enrico Pontelli |
| 2006 | AAAI | Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. | Tran Cao Son, Enrico Pontelli, Phan Huy Tu |
| 2006 | ICLP | Untitled record | Enrico Pontelli, Tran Cao Son |
| 2006 | KR | On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information. | Tran Cao Son, Phan Huy Tu |
| 2005 | AAAI | Conformant Planning for Domains with Constraints-A New Approach. | Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales |
| 2005 | LPNMR | Smodels | Islam Elkabani, Enrico Pontelli, Tran Cao Son |
| 2005 | LPNMR | Integrating an Answer Set Solver into Prolog: ASP-PROLOG. | Omar El-Khatib, Enrico Pontelli, Tran Cao Son |
| 2005 | LPNMR | An Approximation of Action Theories of and Its Application to Conformant Planning. | Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales |
| 2004 | AAAI | Adding Time and Intervals to Procedural and Hierarchical Control Specifications. | Tran Cao Son, Chitta Baral, Le-Chi Tuan |
| 2004 | AAAI | Regression with Respect to Sensing Actions and Partial States. | Le-Chi Tuan, Chitta Baral, Xin Zhang, Tran Cao Son |
| 2004 | ICLP | Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP. | Islam Elkabani, Enrico Pontelli, Tran Cao Son |
| 2004 | LPNMR | Smodels with CLP?A Treatment of Aggregates in ASP. | Enrico Pontelli, Tran Cao Son, Islam Elkabani |
| 2004 | LPNMR | Planning with Preferences Using Logic Programming. | Tran Cao Son, Enrico Pontelli |
| 2004 | LPNMR | Planning with Sensing Actions and Incomplete Information Using Logic Programming. | Tran Cao Son, Phan Huy Tu, Chitta Baral |
| 2004 | PADL | ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. | Omar El-Khatib, Enrico Pontelli, Tran Cao Son |
| 2003 | ICLP | Adding Preferences to Answer Set Planning. | Tran Cao Son, Enrico Pontelli |
| 2003 | PDPTA | Developing Agents for Bioinformatics Applications: A Preliminary Design. | Enrico Pontelli, Tran Cao Son, Yu Pan, T. Phan |
| 2002 | ASSETS | Planning, reasoning, and agents for non-visual navigation of tables and frames. | Enrico Pontelli, Tran Cao Son |
| 2002 | ISMIS | Disjunctive Logic Programs with Inheritance Revisited. | Stefania Costantini, Ramn P. Otero, Alessandro Provetti, Tran Cao Son |
| 2002 | JELIA | Reasoning about Actions in Prioritized Default Theory. | Tran Cao Son, Enrico Pontelli |
| 2002 | KR | A Transition Function Based Characterization of Actions with Delayed and Continuous Effects. | Chitta Baral, Tran Cao Son, Le-Chi Tuan |
| 2002 | KR | Adapting Golog for Composition of Semantic Web Services. | Sheila A. McIlraith, Tran Cao Son |
| 2001 | LPNMR | Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. | Tran Cao Son, Chitta Baral, Sheila A. McIlraith |
| 2000 | IDEAL | Round-Table Architecture for Communication in Multi-agent Softbot Systems. | Pham Hong Hanh, Tran Cao Son |
| 2000 | KR | Formulating diagnostic problem solving using an action language with narratives and sensing. | Chitta Baral, Sheila A. McIlraith, Tran Cao Son |
| 1999 | AAAI | Reasoning about Sensing Actions and Reactivity. | Tran Cao Son |
| 1998 | ICDE | Design and Implementation of Display Specification for Multimedia Answers. | Chitta Baral, Graciela Gonzalez, Tran Cao Son |
| 1996 | AAAI | A Reactive Mobile Robot Based on a Formal Theory of Action. | Chitta Baral, Luis Floriano, Alfredo Gabaldon, David Morales, Tran Cao Son, Richard G. Watson |
| 1996 | KR | An Argumentation-theoretic Approach to Reasoning with Specificity. | Phan Minh Dung, Tran Cao Son |
| 1995 | LPNMR | Nonmonotonic Inheritance, Argumentation and Logic Programming. | Phan Minh Dung, Tran Cao Son |