Nonmonotonic Inheritance, Argumentation and Logic Programming. - Phan Minh Dung; Tran Cao Son (LPNMR, 1995)

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 (AAAI/IAAI, Vol. 2, 1996)

An Argumentation-theoretic Approach to Reasoning with Specificity. - Phan Minh Dung; Tran Cao Son (KR, 1996)

Reasoning with Prioritized Defaults. - Michael Gelfond; Tran Cao Son (LPKR, 1997)

Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information. - Chitta Baral; Tran Cao Son (ILPS, 1997)

From Theory to Practice: The UTEP Robot in the AAAI 96 AAAI 97 Robot Contests. - Chitta Baral; Luis Floriano; Aaron Hardesty; David Morales; Monica L. Nogueira; Tran Cao Son (Agents, 1998)

Design and Implementation of Display Specification for Multimedia Answers. - Chitta Baral; Graciela Gonzalez 001; Tran Cao Son (ICDE, 1998)

Relating Theories of Actions and Reactive Control. - Chitta Baral; Tran Cao Son (Electron. Trans. Artif. Intell., 1998)

Conceptual Modeling and Querying in Multimedia Databases. - Chitta Baral; Graciela Gonzalez 001; Tran Cao Son (Multim. Tools Appl., 1998)

Interval Methods in Robot Navigation. - David Morales; Tran Cao Son (Reliab. Comput., 1998)

Reasoning about Sensing Actions and Reactivity. - Tran Cao Son (AAAI/IAAI, 1999)

Extending ConGolog to Allow Partial Ordering. - Chitta Baral; Tran Cao Son (ATAL, 1999)

Default Reasoning with Specificity. - Phan Minh Dung; Tran Cao Son (Computational Logic, 2000)

Round-Table Architecture for Communication in Multi-agent Softbot Systems. - Pham Hong Hanh; Tran Cao Son (IDEAL, 2000)

Formulating diagnostic problem solving using an action language with narratives and sensing. - Chitta Baral; Sheila A. McIlraith; Tran Cao Son (KR, 2000)

Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs. - Tran Cao Son; Chitta Baral; Sheila A. McIlraith (Answer Set Programming, 2001)

Reasoning about Policies using Logic Programs. - Tran Cao Son; Jorge Lobo 001 (Answer Set Programming, 2001)

Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. - Tran Cao Son; Chitta Baral; Sheila A. McIlraith (LPNMR, 2001)

Mobilizing the Semantic Web with DAML-enabled Web Services. - Sheila A. McIlraith; Tran Cao Son; Honglei Zeng (SemWeb, 2001)

An argument-based approach to reasoning with specificity. - Phan Minh Dung; Tran Cao Son (Artif. Intell., 2001)

Formalizing sensing actions A transition function based approach. - Tran Cao Son; Chitta Baral (Artif. Intell., 2001)

AAAI 2001 Spring Symposium Series Reports. - Lorraine M. Fesq; Ella M. Atkins; Lina Khatib; Charles Pecheur; Paul R. Cohen; Lynn Andrea Stein; Michael van Lent; John E. Laird; Alessandro Provetti; Tran Cao Son (AI Mag., 2001)

Semantic Web Services. - Sheila A. McIlraith; Tran Cao Son; Honglei Zeng (IEEE Intell. Syst., 2001)

Planning, reasoning, and agents for non-visual navigation of tables and frames. - Enrico Pontelli; Tran Cao Son (ASSETS, 2002)

Designing Intelligent Agents to Support Universal Accessibility. - Enrico Pontelli; Tran Cao Son (International Conference on Internet Computing, 2002)

Disjunctive Logic Programs with Inheritance Revisited. - Stefania Costantini; Ramón P. Otero; Alessandro Provetti; Tran Cao Son (ISMIS, 2002)

Reasoning about Actions in Prioritized Default Theory. - Tran Cao Son; Enrico Pontelli (JELIA, 2002)

A Transition Function Based Characterization of Actions with Delayed and Continuous Effects. - Chitta Baral; Tran Cao Son; Le-Chi Tuan (KR, 2002)

Adapting Golog for Composition of Semantic Web Services. - Sheila A. McIlraith; Tran Cao Son (KR, 2002)

Towards the creation of accessibility agents for non-visual navigation of the web. - Keshav Reddy Kottapally; C. Ngo; R. Reddy; Enrico Pontelli; Tran Cao Son; Douglas J. Gillan (CUU, 2003)

An Agent-based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology. - Tran Cao Son; Enrico Pontelli; Desh Ranjan; Brook Milligan; Gopal Gupta 001 (DALT, 2003)

Adding Preferences to Answer Set Planning. - Tran Cao Son; Enrico Pontelli (ICLP, 2003)

Developing Agents for Bioinformatics Applications: A Preliminary Design. - Enrico Pontelli; Tran Cao Son; Yu Pan; T. Phan (PDPTA, 2003)

Designing intelligent agents to support universal accessibility of E-commerce services. - Enrico Pontelli; Tran Cao Son (Electron. Commer. Res. Appl., 2003)

Introduction to the special issue on Programming with Answer Sets. - Chitta Baral; Alessandro Provetti; Tran Cao Son (Theory Pract. Log. Program., 2003)

Adding Time and Intervals to Procedural and Hierarchical Control Specifications. - Tran Cao Son; Chitta Baral; Le-Chi Tuan (AAAI, 2004)

Regression with Respect to Sensing Actions and Partial States. - Le-Chi Tuan; Chitta Baral; Xin Zhang 005; Tran Cao Son (AAAI, 2004)

Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences. - Inna Pivkina; Enrico Pontelli; Tran Cao Son (CLIMA, 2004)

Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report. - Yu Pan; Phan Huy Tu; Enrico Pontelli; Tran Cao Son (DALT, 2004)

Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP. - Islam Elkabani; Enrico Pontelli; Tran Cao Son (ICLP, 2004)

Smodels with CLP?A Treatment of Aggregates in ASP. - Enrico Pontelli; Tran Cao Son; Islam Elkabani (LPNMR, 2004)

Planning with Sensing Actions and Incomplete Information Using Logic Programming. - Tran Cao Son; Phan Huy Tu; Chitta Baral (LPNMR, 2004)

ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. - Omar El-Khatib; Enrico Pontelli; Tran Cao Son (PADL, 2004)

Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory. - Tran Cao Son; Enrico Pontelli (Comput. Intell., 2004)

Regression with respect to sensing actions and partial states - Le-Chi Tuan; Chitta Baral; Tran Cao Son (CoRR, 2004)

A system for automatic structure discovery and reasoning-based navigation of the web. - Enrico Pontelli; Tran Cao Son; Keshav Reddy Kottapally; Co Thai Ngo; Ravikumar Reddy Kotthuru; Douglas J. Gillan (Interact. Comput., 2004)

Conformant Planning for Domains with Constraints-A New Approach. - Tran Cao Son; Phan Huy Tu; Michael Gelfond; A. Ricardo Morales (AAAI, 2005)

Justification and debugging of answer set programs in ASP. - Omar El-Khatib; Enrico Pontelli; Tran Cao Son (AADEBUG, 2005)

SmodelsA - A System for Computing Answer Sets of Logic Programs with Aggregates. - Islam Elkabani; Enrico Pontelli; Tran Cao Son (LPNMR, 2005)

Integrating an Answer Set Solver into Prolog: ASP-PROLOG. - Omar El-Khatib; Enrico Pontelli; Tran Cao Son (LPNMR, 2005)

An Approximation of Action Theories of and Its Application to Conformant Planning. - Tran Cao Son; Phan Huy Tu; Michael Gelfond; A. Ricardo Morales (LPNMR, 2005)

Reasoning about Sensing Actions in Domains with Multi-Valued Fluents. - Tran Cao Son; Phan Huy Tu; Xin Zhang 005 (Stud Logica, 2005)

A Tool for Knowledge Base Integration and Querying. - Omar El-Khatib; Enrico Pontelli; Tran Cao Son (AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006)

A Collaborative Framework to Realize Virtual Enterprises Using 3APL. - Gobinath Narayanasamy; Joe Cecil 001; Tran Cao Son (DALT, 2006)

Justifications for Logic Programs Under Answer Set Semantics. - Enrico Pontelli; Tran Cao Son (ICLP, 2006)

On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information. - Tran Cao Son; Phan Huy Tu (KR, 2006)

A Framework for Composition and Inter-operation of Rules in the Semantic Web. - Enrico Pontelli; Tran Cao Son; Chitta Baral (RuleML, 2006)

A Constructive Semantic Characterization of Aggregates in ASP - Tran Cao Son; Enrico Pontelli (CoRR, 2006)

An Unfolding-Based Semantics for Logic Programming with Aggregates - Tran Cao Son; Enrico Pontelli; Islam Elkabani (CoRR, 2006)

A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information. - Le-Chi Tuan; Chitta Baral; Tran Cao Son (Log. Methods Comput. Sci., 2006)

Domain-dependent knowledge in answer set planning. - Tran Cao Son; Chitta Baral; Tran Hoai Nam; Sheila A. McIlraith (ACM Trans. Comput. Log., 2006)

Planning with preferences using logic programming. - Tran Cao Son; Enrico Pontelli (Theory Pract. Log. Program., 2006)

An Extension to Conformant Planning Using Logic Programming. - A. Ricardo Morales; Phan Huy Tu; Tran Cao Son (IJCAI, 2007)

CPP: A Constraint Logic Programming Based Planner with Preferences. - Phan Huy Tu; Tran Cao Son; Enrico Pontelli (LPNMR, 2007)

Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. - Tran Cao Son; Enrico Pontelli; Phan Huy Tu (J. Artif. Intell. Res., 2007)

A Constructive semantic characterization of aggregates in answer set programming. - Tran Cao Son; Enrico Pontelli (Theory Pract. Log. Program., 2007)

Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming. - Phan Huy Tu; Tran Cao Son; Chitta Baral (Theory Pract. Log. Program., 2007)

Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions. - Chitta Baral; Juraj Dzifcak; Tran Cao Son (AAAI, 2008)

Credulous Resolution for Answer Set Programming. - Piero A. Bonatti; Enrico Pontelli; Tran Cao Son (AAAI, 2008)

Some Results on the Completeness of Approximation Based Reasoning. - Tran Cao Son; Enrico Pontelli; Son Thanh To (AAAI Spring Symposium: Emotion, Personality, and Social Behavior, 2008)

Some Results on the Completeness of Approximation Based Reasoning. - Tran Cao Son; Enrico Pontelli (PRICAI, 2008)

A Conformant Planner with Explicit Disjunctive Representation of Belief States. - Son Thanh To; Enrico Pontelli; Tran Cao Son (ICAPS, 2009)

Making Microsoft ExcelTM: multimodal presentation of charts. - Iyad Abu Doush; Enrico Pontelli; Dominic Simon; Tran Cao Son; Ou Ma (ASSETS, 2009)

Reasoning about Multi-agent Domains Using Action Language C mathcal{C}: A Preliminary Study. - Chitta Baral; Tran Cao Son; Enrico Pontelli (CLIMA, 2009)

Interacting Answer Sets. - Chiaki Sakama; Tran Cao Son (CLIMA, 2009)

Planning for Multiagent Using ASP-Prolog. - Tran Cao Son; Enrico Pontelli; Ngoc-Hieu Nguyen (CLIMA, 2009)

Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming. - Tran Cao Son; Chiaki Sakama (DALT, 2009)

Logic Programming for Multiagent Planning with Negotiation. - Tran Cao Son; Enrico Pontelli; Chiaki Sakama (ICLP, 2009)

Negotiation Using Logic Programming with Consistency Restoring Rules. - Tran Cao Son; Chiaki Sakama (IJCAI, 2009)

Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using . - Chitta Baral; Tran Cao Son; Enrico Pontelli (LPNMR, 2009)

Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications. - Dang-Vien Tran; Hoang-Khoi Nguyen; Enrico Pontelli; Tran Cao Son (PADL, 2009)

Applications of parallel processing technologies in heuristic search planning: methodologies and experiments. - Phan Huy Tu; Enrico Pontelli; Tran Cao Son; Son Thanh To (Concurr. Comput. Pract. Exp., 2009)

State-Based Regression with Sensing and Knowledge. - Richard B. Scherl; Tran Cao Son; Chitta Baral (Int. J. Softw. Informatics, 2009)

Justifications for logic programs under answer set semantics. - Enrico Pontelli; Tran Cao Son; Omar El-Khatib (Theory Pract. Log. Program., 2009)

On the Use of Prime Implicates in Conformant Planning. - Son Thanh To; Tran Cao Son; Enrico Pontelli (AAAI, 2010)

A New Approach to Conformant Planning Using CNF*. - Son Thanh To; Tran Cao Son; Enrico Pontelli (ICAPS, 2010)

Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge. - Chitta Baral; Gregory Gelfond; Tran Cao Son; Enrico Pontelli (AAMAS, 2010)

GenerIE: Information extraction using database queries. - Luis Tari; Phan Huy Tu; Jörg Hakenberg; Yi Chen 001; Tran Cao Son; Graciela Gonzalez 001; Chitta Baral (ICDE, 2010)

Logic programs with abstract constraint atoms: The role of computations. - Lengning Liu; Enrico Pontelli; Tran Cao Son; Miroslaw Truszczynski (Artif. Intell., 2010)

An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling. - Enrico Pontelli; Hung Viet Le; Tran Cao Son (Comput. Lang. Syst. Struct., 2010)

Multimodal Presentation of Two-Dimensional Charts: An Investigation Using Open Office XML and Microsoft Excel. - Iyad Abu Doush; Enrico Pontelli; Tran Cao Son; Dominic Simon; Ou Ma (ACM Trans. Access. Comput., 2010)

Logic programming for finding models in the logics of knowledge and its applications: A case study. - Chitta Baral; Gregory Gelfond; Enrico Pontelli; Tran Cao Son (Theory Pract. Log. Program., 2010)

BSIS: An Experiment in Automating Bioinformatics Tasks Through Intelligent Workflow Construction. - Yu Pan; Enrico Pontelli; Tran Cao Son (Semantic e-Science, 2010)

On Improving Conformant Planners by Analyzing Domain-Structures. - Hoang-Khoi Nguyen; Dang-Vien Tran; Tran Cao Son; Enrico Pontelli (AAAI, 2011)

Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF Formula. - Son Thanh To; Tran Cao Son; Enrico Pontelli (AAAI, 2011)

On the Effectiveness of Belief State Representation in Contingent Planning. - Son Thanh To; Tran Cao Son; Enrico Pontelli (AAAI, 2011)

An Experiment in Formalizing Commitments Using Action Languages. - Tran Cao Son; Enrico Pontelli; Chiaki Sakama (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2011)

Contingent Planning as AND/OR Forward Search with Disjunctive Representation. - Son Thanh To; Tran Cao Son; Enrico Pontelli (ICAPS, 2011)

Formalizing Commitments Using Action Languages. - Tran Cao Son; Enrico Pontelli; Chiaki Sakama (DALT, 2011)

From "Reading" Math to "Doing" Math: A New Direction in Non-visual Math Accessibility. - Nancy Alajarmeh; Enrico Pontelli; Tran Cao Son (HCI (8), 2011)

CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services. - Brandon Chisham; Enrico Pontelli; Tran Cao Son; Ben Wright 001 (ICLP (Technical Communications), 2011)

A Logical Formulation for Negotiation among Dishonest Agents. - Chiaki Sakama; Tran Cao Son; Enrico Pontelli (IJCAI, 2011)

On the Effectiveness of CNF and DNF Representations in Contingent Planning. - Son Thanh To; Enrico Pontelli; Tran Cao Son (IJCAI, 2011)

ASP-Prolog for Negotiation among Dishonest Agents. - Ngoc-Hieu Nguyen; Tran Cao Son; Enrico Pontelli; Chiaki Sakama (LPNMR, 2011)

Approximation of action theories and its application to conformant planning. - Phan Huy Tu; Tran Cao Son; Michael Gelfond; A. Ricardo Morales (Artif. Intell., 2011)

CDAO-Store: Ontology-driven Data Integration for Phylogenetic Analysis. - Brandon Chisham; Ben Wright 001; Trung Le 004; Tran Cao Son; Enrico Pontelli (BMC Bioinform., 2011)

On Computing Conformant Plans Using Classical Planners: A Generate-And-Complete Approach. - Hoang-Khoi Nguyen; Dang-Vien Tran; Tran Cao Son; Enrico Pontelli (ICAPS, 2012)

Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains. - Enrico Pontelli; Tran Cao Son; Chitta Baral; Gregory Gelfond (Correct Reasoning, 2012)

Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning. - Ben Wright 001; Enrico Pontelli; Tran Cao Son (CLIMA, 2012)

ASP at Work: An ASP Implementation of PhyloWS. - Tiep Le; Hieu Nguyen; Enrico Pontelli; Tran Cao Son (ICLP (Technical Communications), 2012)

Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming. - Vinay K. Chaudhri; Tran Cao Son (KR, 2012)

Incremental Information Extraction Using Relational Databases. - Luis Tari; Phan Huy Tu; Jörg Hakenberg; Yi Chen 001; Tran Cao Son; Graciela Gonzalez 001; Chitta Baral (IEEE Trans. Knowl. Data Eng., 2012)

Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL. - Chitta Baral; Gregory Gelfond; Enrico Pontelli; Tran Cao Son (CLIMA, 2013)

Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP. - Vinay K. Chaudhri; Stijn Heymans; Michael A. Wessel; Tran Cao Son (CoRR, 2013)

A conformant planner based on approximation: CpA(H). - Vien Tran; Khoi Nguyen; Tran Cao Son; Enrico Pontelli (ACM Trans. Intell. Syst. Technol., 2013)

Solving Uncertain MDPs by Reusing State Information and Plans. - Ping Hou; William Yeoh 001; Tran Cao Son (AAAI, 2014)

ASP-DPOP: solving distributed constraint optimization problems with logic programming. - Tiep Le; Tran Cao Son; Enrico Pontelli; William Yeoh 001 (AAMAS, 2014)

Improving DPOP with Branch Consistency for Solving Distributed Constraint Optimization Problems. - Ferdinando Fioretto; Tiep Le; William Yeoh 001; Enrico Pontelli; Tran Cao Son (CP, 2014)

Finitary S5-Theories. - Tran Cao Son; Enrico Pontelli; Chitta Baral; Gregory Gelfond (JELIA, 2014)

Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems. - Tran Cao Son; Enrico Pontelli; Tiep Le (PADL, 2014)

Logic and Constraint Logic Programming for Distributed Constraint Optimization. - Tiep Le; Enrico Pontelli; Tran Cao Son; William Yeoh 001 (CoRR, 2014)

Formalizing Negotiations Using Logic Programming. - Tran Cao Son; Enrico Pontelli; Ngoc-Hieu Nguyen; Chiaki Sakama (ACM Trans. Comput. Log., 2014)

Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence. - Tran Cao Son; Enrico Pontelli; Chitta Baral; Gregory Gelfond (AAAI, 2015)

Reasoning about Truthfulness of Agents Using Answer Set Programming. - Tran Cao Son; Enrico Pontelli; Marcello Balduccini (AAAI Fall Symposia, 2015)

Multi-Agent Action Modeling Through Action Sequences And Perspective Fluents. - Chitta Baral; Gregory Gelfond; Enrico Pontelli; Tran Cao Son (AAAI Spring Symposia, 2015)

A Non-monotonic Goal Specification Language for Planning with Preferences. - Tran Cao Son; Enrico Pontelli; Chitta Baral (Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015)

Exploiting GPUs in Solving (Distributed) Constraint Optimization Problems with Dynamic Programming. - Ferdinando Fioretto; Tiep Le; Enrico Pontelli; William Yeoh 001; Tran Cao Son (CP, 2015)

Exploring the Use of BDDs in Conformant Planning. - Stefano Tognazzi; Agostino Dovier; Enrico Pontelli; Tran Cao Son (ICTAI, 2015)

"Add Another Blue Stack of the Same Height!": ASP Based Planning and Plan Failure Analysis. - Chitta Baral; Tran Cao Son (LPNMR, 2015)

A generic approach to planning in the presence of incomplete information: Theory and implementation. - Son Thanh To; Tran Cao Son; Enrico Pontelli (Artif. Intell., 2015)

Applications of logical approaches to argumentation. - João Leite 001; Tran Cao Son; Paolo Torroni; Stefan Woltran (Argument Comput., 2015)

An Action Language for Multi-Agent Domains: Foundations. - Chitta Baral; Gregory Gelfond; Enrico Pontelli; Tran Cao Son (CoRR, 2015)

Solving Goal Recognition Design Using ASP. - Tran Cao Son; Orkunt Sabuncu; Christian Schulz-Hanke; Torsten Schaub; William Yeoh 001 (AAAI, 2016)

ER-DCOPs: A Framework for Distributed Constraint Optimization with Uncertainty in Constraint Utilities. - Tiep Le; Ferdinando Fioretto; William Yeoh 001; Tran Cao Son; Enrico Pontelli (AAMAS, 2016)

An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. - Tran Cao Son; Enrico Pontelli; Michael Gelfond; Marcello Balduccini (ICLP (Technical Communications), 2016)

Goal Recognition Design with Stochastic Agent Action Outcomes. - Christabel Wayllace; Ping Hou; William Yeoh 001; Tran Cao Son (IJCAI, 2016)

Reasoning about Truthfulness of Agents Using Answer Set Programming. - Tran Cao Son; Enrico Pontelli; Michael Gelfond; Marcello Balduccini (KR, 2016)

Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication. - Chitta Baral; Tran Cao Son; Michael Gelfond; Arindam Mitra (PRIMA, 2016)

Argumentation-Based Semantics for Logic Programs with First-Order Formulae. - Phan Minh Dung; Tran Cao Son; Phan Minh Thang (PRIMA, 2016)

Reports of the 2016 AAAI Workshop Program. - Stefano V. Albrecht; Bruno Bouchard 001; John S. Brownstein; David L. Buckeridge; Cornelia Caragea; Kevin M. Carter 001; Adnan Darwiche; Blaz Fortuna; Yannick Francillette; Sébastien Gaboury; C. Lee Giles; Marko Grobelnik; et al. (AI Mag., 2016)

Classification of Asthma Severity and Medication Using TensorFlow and Multilevel Databases. - Quan T. Do; Tran Cao Son; Jamil M. Chaudri (EUSPN/ICTH, 2017)

Generalized Target Assignment and Path Finding Using Answer Set Programming. - Van Nguyen 001; Philipp Obermeier; Tran Cao Son; Torsten Schaub; William Yeoh 001 (IJCAI, 2017)

On Computing World Views of Epistemic Logic Programs. - Tran Cao Son; Tiep Le; Patrick Thor Kahl; Anthony P. Leclerc (IJCAI, 2017)

A generic approach to planning in the presence of incomplete information: Theory and implementation (Extended Abstract). - Son Thanh To; Tran Cao Son; Enrico Pontelli (IJCAI, 2017)

Generalized Answer Set Planning with Incomplete Information. - Javier Romero 003; Torsten Schaub; Tran Cao Son (ASPOCP@LPNMR, 2017)

Answer Set Programming and Its Applications in Planning and Multi-agent Systems. - Tran Cao Son (LPNMR, 2017)

Revision and Updates in Possibly Action-Occurrence-Incomplete Narratives. - Chitta Baral; Tran Cao Son (PRIMA, 2017)

Reports of the Workshops of the Thirty-First AAAI Conference on Artificial Intelligence. - Monica Anderson 001; Roman Barták; John S. Brownstein; David L. Buckeridge; Hoda Eldardiry; Christopher W. Geib; Maria L. Gini; Aaron Isaksen; Sarah Keren; Robert Laddaga; Viliam Lisý; Rodney Martin; et al. (AI Mag., 2017)

Solving distributed constraint optimization problems using logic programming. - Tiep Le; Tran Cao Son; Enrico Pontelli; William Yeoh 001 (Theory Pract. Log. Program., 2017)

Introduction to the 33rd international conference on logic programming special issue. - Ricardo Rocha 001; Tran Cao Son (Theory Pract. Log. Program., 2017)

EFP and PG-EFP: Epistemic Forward Search Planners in Multi-Agent Domains. - Tiep Le; Francesco Fabiano; Tran Cao Son; Enrico Pontelli (ICAPS, 2018)

Bidding Strategy for Periodic Double Auctions Using Monte Carlo Tree Search. - Moinul Morshed Porag Chowdhury; Christopher Kiekintveld; Tran Cao Son; William Yeoh 001 (AAMAS, 2018)

Preference Elicitation with Interdependency and User Bother Cost. - Tiep Le; Atena M. Tabakhi; Long Tran-Thanh; William Yeoh 001; Tran Cao Son (AAMAS, 2018)

Personalized Prediction of Asthma Severity and Asthma Attack for a Personalized Treatment Regimen. - Quan T. Do; Alexa K. Doig; Tran Cao Son; Jamil M. Chaudri (EMBC, 2018)

Explanations Generation For Web Service Workflow. - Van Duc Nguyen; Tran Cao Son; Enrico Pontelli (ICLP (Technical Communications), 2018)

Automatic Web Services Composition for Phylotastic. - Thanh Hai Nguyen 002; Tran Cao Son; Enrico Pontelli (PADL, 2018)

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 (PRIMA, 2018)

Multi-Context Systems with Preferences. - Tiep Le; Tran Cao Son; Enrico Pontelli (Fundam. Informaticae, 2018)

Answer Set Planning in Single- and Multi-agent Environments. - Tran Cao Son; Marcello Balduccini (Künstliche Intell., 2018)

Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV). - João Leite 001; Tran Cao Son; Paolo Torroni; Stefan Woltran (J. Log. Comput., 2018)

Experimenting with robotic intra-logistics domains. - Martin Gebser; Philipp Obermeier; Thomas Otto; Torsten Schaub; Orkunt Sabuncu; Van Nguyen 001; Tran Cao Son (Theory Pract. Log. Program., 2018)

Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming. - Thanh Hai Nguyen 002; Enrico Pontelli; Tran Cao Son (Theory Pract. Log. Program., 2018)

On Structured Argumentation with Conditional Preferences. - Phan Minh Dung; Phan Minh Thang; Tran Cao Son (AAAI, 2019)

Multi-Context System for Optimization Problems. - Tiep Le; Tran Cao Son; Enrico Pontelli (AAAI, 2019)

A distributed solver for multi-agent path finding problems. - Poom Pianpak; Tran Cao Son; Phoebe O. Toups Dugas; William Yeoh 001 (DAI, 2019)

Deep Q-learning for Predicting Asthma Attack with Considering Personalized Environmental Triggers' Risk Scores. - Quan T. Do; Alexa K. Doig; Tran Cao Son (EMBC, 2019)

Predicting Lung Healthiness Risk Scores to Identify Probability of an Asthma Attack. - Quan T. Do; Alexa K. Doig; Tran Cao Son; Jamil M. Chaudri (EUSPN/ICTH, 2019)

Natural Language Generation from Ontologies. - Van Nguyen 001; Tran Cao Son; Enrico Pontelli (PADL, 2019)

Epistemic Argumentation Framework. - Chiaki Sakama; Tran Cao Son (PRICAI (1), 2019)

A Scheduler for Smart Homes with Probabilistic User Preferences. - Van Nguyen 001; William Yeoh 001; Tran Cao Son; Vladik Kreinovich; Tiep Le (PRIMA, 2019)

A parallel memory-efficient epistemic logic program solver: harder, better, faster. - Patrick Thor Kahl; Anthony P. Leclerc; Tran Cao Son (Ann. Math. Artif. Intell., 2019)

Natural Language Generation for Non-Expert Users. - Van Duc Nguyen; Tran Cao Son; Enrico Pontelli (ICLP Technical Communications, 2019)

Conditional Updates of Answer Set Programming and Its Application in Explainable Planning. - Van Nguyen 001; Tran Cao Son; Vasileiou Loukas Stylianos; William Yeoh 001 (AAMAS, 2020)

An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements. - Marcello Balduccini; Michael Gelfond; Enrico Pontelli; Tran Cao Son (KR, 2020)

Explainable Planning Using Answer Set Programming. - Van Nguyen 001; Vasileiou Loukas Stylianos; Tran Cao Son; William Yeoh 001 (KR, 2020)

On Repairing Web Services Workflows. - Thanh Hai Nguyen 002; Enrico Pontelli; Tran Cao Son (PADL, 2020)

Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP. - Thanh Hai Nguyen 002; Tran Cao Son; Matthew Bundas; Marcello Balduccini; Kathleen Campbell Garwood; Edward R. Griffor (PRIMA, 2020)

On the Relationship Between KR Approaches for Explainable Planning. - Stylianos Loukas Vasileiou; William Yeoh 001; Tran Cao Son (CoRR, 2020)

Can Transformers Reason About Effects of Actions? - Pratyay Banerjee; Chitta Baral; Man Luo 003; Arindam Mitra; Kuntal Kumar Pal; Tran Cao Son; Neeraj Varshney (CoRR, 2020)

Epistemic Argumentation Framework: Theory and Computation. - Chiaki Sakama; Tran Cao Son (J. Artif. Intell. Res., 2020)

An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario. - Botros N. Hanna; Ly Ly T. Trieu; Tran Cao Son; Nam T. Dinh (Theory Pract. Log. Program., 2020)

Model Reconciliation in Logic Programs. - Tran Cao Son; Van Nguyen 001; Stylianos Loukas Vasileiou; William Yeoh 001 (JELIA, 2021)

A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States. - Fabio Tardivo; Loc Pham; Tran Cao Son; Enrico Pontelli (PADL, 2021)

Multi-agent Epistemic Planning with Inconsistent Beliefs, Trust and Lies. - Francesco Fabiano; Alessandro Burigana; Agostino Dovier; Enrico Pontelli; Tran Cao Son (PRICAI (1), 2021)

Explainable Problem in clingo-dl Programs. - Van Nguyen 001; Tran Cao Son; William Yeoh 001 (SOCS, 2021)

Towards a Framework for Characterizing the Behavior of AI-Enabled Cyber-Physical and IoT Systems. - Matthew Bundas; Chasity Nadeau; Thanh Hai Nguyen 002; Jeannine Shantz; Marcello Balduccini; Tran Cao Son (WF-IoT, 2021)

Generating explanations for answer set programming applications. - Ly Ly T. Trieu; Tran Cao Son; Enrico Pontelli; Marcello Balduccini (CoRR, 2021)

DMAPF: A Decentralized and Distributed Solver for Multi-Agent Path Finding Problem with Obstacles. - Poom Pianpak; Tran Cao Son (ICLP Technical Communications, 2021)

exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules. - Ly Ly T. Trieu; Tran Cao Son; Marcello Balduccini (ICLP Technical Communications, 2021)

Developing Future Wearable Interfaces for Human-Drone Teams through a Virtual Drone Search Game. - Marlena R. Fraune; Ahmed S. Khalaf; Mahlet Zemedie; Poom Pianpak; Zahra NaminiMianji; Sultan A. Alharthi; Igor Dolgov; Bill Hamilton 001; Tran Cao Son; Phoebe O. Toups Dugas (Int. J. Hum. Comput. Stud., 2021)

Planning with Incomplete Information in Quantified Answer Set Programming. - Jorge Fandinno; François Laferrière; Javier Romero 003; Torsten Schaub; Tran Cao Son (Theory Pract. Log. Program., 2021)

A Review of the Muddy Children Problem. - Yusuf Izmirlioglu; Loc Pham; Tran Cao Son; Enrico Pontelli (AI*IA, 2022)

A Robust State Transition Function for Multi-agent Epistemic Systems. - Yusuf Izmirlioglu; Loc Pham; Tran Cao Son; Enrico Pontelli (EPIA, 2022)

State Transition in Multi-agent Epistemic Domains Using Answer Set Programming. - Yusuf Izmirlioglu; Loc Pham; Tran Cao Son; Enrico Pontelli (LPNMR, 2022)

Interlinking Logic Programs and Argumentation Frameworks. - Chiaki Sakama; Tran Cao Son (LPNMR, 2022)

xASP: An Explanation Generation System for Answer Set Programming. - Ly Ly T. Trieu; Tran Cao Son; Marcello Balduccini (LPNMR, 2022)

A New Semantics for Action Language mA*. - Loc Pham; Yusuf Izmirlioglu; Tran Cao Son; Enrico Pontelli (PRIMA, 2022)

Improving Problem Decomposition and Regulation in Distributed Multi-Agent Path Finder (DMAPF). - Poom Pianpak; Tran Cao Son (PRIMA, 2022)

Update models for lying and misleading announcements. - Loc Pham; Tran Cao Son; Enrico Pontelli (SAC, 2022)

An action language for multi-agent domains. - Chitta Baral; Gregory Gelfond; Enrico Pontelli; Tran Cao Son (Artif. Intell., 2022)

On Model Reconciliation: How to Reconcile When Robot Does not Know Human's Model? - Ho Tuan Dung; Tran Cao Son (ICLP Technical Communications / Doctoral Consortium, 2022)

A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems. - Stylianos Loukas Vasileiou; William Yeoh 001; Tran Cao Son; Ashwin Kumar; Michael Cashmore; Daniele Magazzeni (J. Artif. Intell. Res., 2022)

Planning in Multi-Agent Domains with Untruthful Announcements. - Loc Pham; Tran Cao Son; Enrico Pontelli (ICAPS, 2023)

Advancements in xASP, an XAI System for Answer Set Programming. - Mario Alviano; Ly Ly T. Trieu; Tran Cao Son; Marcello Balduccini (CILC, 2023)

Multi-Agent Planning and Diagnosis with Commonsense Reasoning. - Tran Cao Son; William Yeoh 001; Roni Stern; Meir Kalech (DAI, 2023)

Load Balancing in Distributed Multi-Agent Path Finder (DMAPF). - Poom Pianpak; Jiaoyang Li 001; Tran Cao Son (EMAS, 2023)

Routing and Scheduling in different ways: Abridged Preliminary Report. - Jan Behrens; Roland Kaminski; Torsten Schaub; Tran Cao Son; Jiri Svancara; Philipp Wanko (ICLP Workshops, 2023)

Formalizing and Reasoning About Supply Chain Contracts Between Agents. - Dylan Flynn; Chasity Nadeau; Jeannine Shantz; Marcello Balduccini; Tran Cao Son; Edward R. Griffor (PADL, 2023)

Reasoning about Non-Deterministic Observability and Hypothetical Action Occurrences in Multi-Agent Domains. - Loc Pham; Tran Cao Son; Enrico Pontelli (SAC, 2023)

DR-HAI: Argumentation-based Dialectical Reconciliation in Human-AI Interactions. - Stylianos Loukas Vasileiou; Ashwin Kumar; William Yeoh 001; Tran Cao Son; Francesca Toni (CoRR, 2023)

Explanations for Answer Set Programming. - Mario Alviano; Ly Ly T. Trieu; Tran Cao Son; Marcello Balduccini (ICLP, 2023)

Answer Set Planning: A Survey. - Tran Cao Son; Enrico Pontelli; Marcello Balduccini; Torsten Schaub (Theory Pract. Log. Program., 2023)

Solving an Industrial-Scale Warehouse Delivery Problem with Answer Set Programming Modulo Difference Constraints. - David Rajaratnam; Torsten Schaub; Philipp Wanko; Kai Chen; Sirui Liu; Tran Cao Son (Algorithms, 2023)

ASPER: Answer Set Programming Enhanced Neural Network Models for Joint Entity-Relation Extraction. - Trung Hoang Le; Huiping Cao; Tran Cao Son (Theory Pract. Log. Program., 2023)

Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework. - Thanh Hai Nguyen 002; Matthew Bundas; Tran Cao Son; Marcello Balduccini; Kathleen Campbell Garwood; Edward R. Griffor (Theory Pract. Log. Program., 2023)

On Dealing with False Beliefs and Maintaining KD45n Property. - Tran Cao Son; Loc Pham; Enrico Pontelli (AAMAS, 2024)

Diagnosing Multi-Agent STRIPS Plans. - Avraham Natan; Roni Stern; Meir Kalech; William Yeoh 001; Tran Cao Son (DX, 2024)

An Experiment with LLM in Contract Extraction. - Nhan Le; Tran Cao Son (KoDis+CAKR+SYNERGY@KR, 2024)

Action Language mA* with Higher-Order Action Observability. - David Buckingham; Matthias Scheutz; Tran Cao Son; Francesco Fabiano (KR, 2024)

Dialectical Reconciliation via Structured Argumentative Dialogues. - Stylianos Loukas Vasileiou; Ashwin Kumar; William Yeoh 001; Tran Cao Son; Francesca Toni (KR, 2024)

A Simulation for Supply Chains Contract Execution. - Long Tran-Thanh; Tran Cao Son; Dylan Flynn; Marcello Balduccini (LPNMR, 2024)

ℋ-Efp: Bridging Efficiency in Multi-agent Epistemic Planning with Heuristics. - Francesco Fabiano; Theoderic Platt; Tran Cao Son; Enrico Pontelli (PRIMA, 2024)

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report. - Roland Kaminski; Torsten Schaub; Tran Cao Son; Jirí Svancara; Philipp Wanko (CoRR, 2024)

A Methodology for Gradual Semantics for Structured Argumentation under Incomplete Information. - Antonio Rago 001; Stylianos Loukas Vasileiou; Francesca Toni; Tran Cao Son; William Yeoh 001 (CoRR, 2024)

The XAI system for answer set programming xASP2. - Mario Alviano; Ly Ly T. Trieu; Tran Cao Son; Marcello Balduccini (J. Log. Comput., 2024)

Development of a Novel Classification Approach for Cow Behavior Analysis Using Tracking Data and Unsupervised Machine Learning Techniques. - Jiefei Liu; Derek W. Bailey; Huiping Cao; Tran Cao Son; Colin Tobin (Sensors, 2024)

UnSeenTimeQA: Time-Sensitive Question-Answering Beyond LLMs' Memorization. - Md Nayem Uddin; Amir Saeidi; Divij Handa; Agastya Seth; Tran Cao Son; Eduardo Blanco 002; Steven R. Corman; Chitta Baral (ACL (1), 2025)

ActionReasoningBench: Reasoning about Actions with and without Ramification Constraints. - Divij Handa; Pavel Dolin; Shrinidhi Kumbhar; Tran Cao Son; Chitta Baral (ICLR, 2025)

On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios. - Stylianos Loukas Vasileiou; William Yeoh 001; Alessandro Previti; Tran Cao Son (J. Artif. Intell. Res., 2025)

An LLM + ASP Workflow for Joint Entity-Relation Extraction. - Trang Tran; Trung Hoang Le; Huiping Cao; Tran Cao Son (CoRR, 2025)