Tran Cao Son
Orcid: 0000-0003-3689-8433Affiliations:
- New Mexico State University, Las Cruces, New Mexico, USA
According to our database1,
Tran Cao Son
authored at least 217 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on cs.nmsu.edu
On csauthors.net:
Bibliography
2024
Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report.
CoRR, 2024
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024
2023
Theory Pract. Log. Program., September, 2023
ASPER: Answer Set Programming Enhanced Neural Network Models for Joint Entity-Relation Extraction.
Theory Pract. Log. Program., July, 2023
Solving an Industrial-Scale Warehouse Delivery Problem with Answer Set Programming Modulo Difference Constraints.
Algorithms, April, 2023
Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023
CoRR, 2023
Reasoning about Non-Deterministic Observability and Hypothetical Action Occurrences in Multi-Agent Domains.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023
Proceedings of the Practical Aspects of Declarative Languages, 2023
Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023
Proceedings of the Engineering Multi-Agent Systems - 11th International Workshop, 2023
Proceedings of the Fifth International Conference on Distributed Artificial Intelligence, 2023
Proceedings of the 38th Italian Conference on Computational Logic, 2023
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023
2022
A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems.
J. Artif. Intell. Res., 2022
Proceedings of the Proceedings 38th International Conference on Logic Programming, 2022
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022
Improving Problem Decomposition and Regulation in Distributed Multi-Agent Path Finder (DMAPF).
Proceedings of the PRIMA 2022: Principles and Practice of Multi-Agent Systems, 2022
Proceedings of the PRIMA 2022: Principles and Practice of Multi-Agent Systems, 2022
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022
Proceedings of the Progress in Artificial Intelligence, 2022
Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022
2021
Theory Pract. Log. Program., 2021
Developing Future Wearable Interfaces for Human-Drone Teams through a Virtual Drone Search Game.
Int. J. Hum. Comput. Stud., 2021
Proceedings of the Proceedings 37th International Conference on Logic Programming (Technical Communications), 2021
DMAPF: A Decentralized and Distributed Solver for Multi-Agent Path Finding Problem with Obstacles.
Proceedings of the Proceedings 37th International Conference on Logic Programming (Technical Communications), 2021
Towards a Framework for Characterizing the Behavior of AI-Enabled Cyber-Physical and IoT Systems.
Proceedings of the 7th IEEE World Forum on Internet of Things, 2021
Proceedings of the Fourteenth International Symposium on Combinatorial Search, 2021
Proceedings of the PRICAI 2021: Trends in Artificial Intelligence, 2021
A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States.
Proceedings of the Practical Aspects of Declarative Languages, 2021
Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021
2020
An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario.
Theory Pract. Log. Program., 2020
J. Artif. Intell. Res., 2020
Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP.
Proceedings of the PRIMA 2020: Principles and Practice of Multi-Agent Systems, 2020
Proceedings of the Practical Aspects of Declarative Languages, 2020
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Conditional Updates of Answer Set Programming and Its Application in Explainable Planning.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020
2019
Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019
Ann. Math. Artif. Intell., 2019
Proceedings of the Twelfth International Symposium on Combinatorial Search, 2019
Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019
Proceedings of the Practical Aspects of Declarative Languages, 2019
Proceedings of the 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2019) / The 9th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2019) / Affiliated Workshops, 2019
Deep Q-learning for Predicting Asthma Attack with Considering Personalized Environmental Triggers' Risk Scores.
Proceedings of the 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2019
Proceedings of the First International Conference on Distributed Artificial Intelligence, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming.
Theory Pract. Log. Program., 2018
Theory Pract. Log. Program., 2018
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV).
J. Log. Comput., 2018
Künstliche Intell., 2018
A Multi-agent Simulator Environment Based on the Robot Operating System for Human-Robot Interaction Applications.
Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018
Proceedings of the Practical Aspects of Declarative Languages, 2018
Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018
Personalized Prediction of Asthma Severity and Asthma Attack for a Personalized Treatment Regimen.
Proceedings of the 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2018
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
2017
Introduction to the 33rd international conference on logic programming special issue.
Theory Pract. Log. Program., 2017
Theory Pract. Log. Program., 2017
Reports of the Workshops of the Thirty-First AAAI Conference on Artificial Intelligence.
AI Mag., 2017
Proceedings of the PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30, 2017
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017
Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, 2017
A generic approach to planning in the presence of incomplete information: Theory and implementation (Extended Abstract).
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Classification of Asthma Severity and Medication Using TensorFlow and Multilevel Databases.
Proceedings of the 8th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2017) / The 7th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2017) / Affiliated Workshops, 2017
2016
Proceedings of the PRIMA 2016: Princiles and Practice of Multi-Agent Systems, 2016
Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication.
Proceedings of the PRIMA 2016: Princiles and Practice of Multi-Agent Systems, 2016
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents.
Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016
ER-DCOPs: A Framework for Distributed Constraint Optimization with Uncertainty in Constraint Utilities.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
A generic approach to planning in the presence of incomplete information: Theory and implementation.
Artif. Intell., 2015
"Add Another Blue Stack of the Same Height!": ASP Based Planning and Plan Failure Analysis.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015
Exploiting GPUs in Solving (Distributed) Constraint Optimization Problems with Dynamic Programming.
Proceedings of the Principles and Practice of Constraint Programming, 2015
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015
Proceedings of the 2015 AAAI Spring Symposia, 2015
Proceedings of the 2015 AAAI Fall Symposia, Arlington, Virginia, USA, November 12-14, 2015, 2015
Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
CoRR, 2014
Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems.
Proceedings of the Practical Aspects of Declarative Languages, 2014
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
Improving DPOP with Branch Consistency for Solving Distributed Constraint Optimization Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2014
ASP-DPOP: solving distributed constraint optimization problems with logic programming.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
2013
ACM Trans. Intell. Syst. Technol., 2013
Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP.
CoRR, 2013
Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL.
Proceedings of the Computational Logic in Multi-Agent Systems, 2013
2012
IEEE Trans. Knowl. Data Eng., 2012
Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012
Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning.
Proceedings of the Computational Logic in Multi-Agent Systems, 2012
Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains.
Proceedings of the Correct Reasoning, 2012
On Computing Conformant Plans Using Classical Planners: A Generate-And-Complete Approach.
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012
2011
BMC Bioinform., 2011
Artif. Intell., 2011
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
Proceedings of the IJCAI 2011, 2011
Proceedings of the IJCAI 2011, 2011
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011
From "Reading" Math to "Doing" Math: A New Direction in Non-visual Math Accessibility.
Proceedings of the Universal Access in Human-Computer Interaction. Applications and Services, 2011
Proceedings of the Declarative Agent Languages and Technologies IX, 2011
Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF Formula.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
2010
BSIS: An Experiment in Automating Bioinformatics Tasks Through Intelligent Workflow Construction.
Proceedings of the Semantic e-Science, 2010
Logic programming for finding models in the logics of knowledge and its applications: A case study.
Theory Pract. Log. Program., 2010
Multimodal Presentation of Two-Dimensional Charts: An Investigation Using Open Office XML and Microsoft Excel.
ACM Trans. Access. Comput., 2010
An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling.
Comput. Lang. Syst. Struct., 2010
Artif. Intell., 2010
Proceedings of the 26th International Conference on Data Engineering, 2010
Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010
Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
Theory Pract. Log. Program., 2009
Applications of parallel processing technologies in heuristic search planning: methodologies and experiments.
Concurr. Comput. Pract. Exp., 2009
Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications.
Proceedings of the Practical Aspects of Declarative Languages, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the IJCAI 2009, 2009
Proceedings of the Logic Programming, 25th International Conference, 2009
Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming.
Proceedings of the Declarative Agent Languages and Technologies VII, 2009
Proceedings of the Computational Logic in Multi-Agent Systems, 2009
Proceedings of the Computational Logic in Multi-Agent Systems, 2009
Reasoning about Multi-agent Domains Using Action Language <i>C</i>\mathcal{C}: A Preliminary Study.
Proceedings of the Computational Logic in Multi-Agent Systems, 2009
Proceedings of the 11th International ACM SIGACCESS Conference on Computers and Accessibility, 2009
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009
2008
Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008
Proceedings of the Architectures for Intelligent Theory-Based Agents, 2008
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming.
Theory Pract. Log. Program., 2007
Theory Pract. Log. Program., 2007
J. Artif. Intell. Res., 2007
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007
Proceedings of the IJCAI 2007, 2007
2006
A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information.
Log. Methods Comput. Sci., 2006
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2006
On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information.
Proceedings of the Proceedings, 2006
Proceedings of the Logic Programming, 22nd International Conference, 2006
Proceedings of the Declarative Agent Languages and Technologies IV, 2006
Proceedings of the Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006
2005
Stud Logica, 2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Smodels<sup>A</sup> - A System for Computing Answer Sets of Logic Programs with Aggregates.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Proceedings of the Sixth International Workshop on Automated Debugging, 2005
Proceedings of the Proceedings, 2005
2004
A system for automatic structure discovery and reasoning-based navigation of the web.
Interact. Comput., 2004
Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory.
Comput. Intell., 2004
Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004
Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP.
Proceedings of the Logic Programming, 20th International Conference, 2004
Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report.
Proceedings of the Declarative Agent Languages and Technologies II, 2004
Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences.
Proceedings of the Computational Logic in Multi-Agent Systems, 4th International Workshop, 2004
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004
2003
Theory Pract. Log. Program., 2003
Designing intelligent agents to support universal accessibility of E-commerce services.
Electron. Commer. Res. Appl., 2003
Developing Agents for Bioinformatics Applications: A Preliminary Design.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003
Proceedings of the Logic Programming, 19th International Conference, 2003
An Agent-based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology.
Proceedings of the Declarative Agent Languages and Technologies, 2003
Proceedings of the 2003 Conference on Universal Usability, 2003
2002
Adapting Golog for Composition of Semantic Web Services.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002
A Transition Function Based Characterization of Actions with Delayed and Continuous Effects.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002
Designing Intelligent Agents to Support Universal Accessibility.
Proceedings of the International Conference on Internet Computing, 2002
Proceedings of the ACM Conference on Assistive Technologies, 2002
2001
Artif. Intell., 2001
Proceedings of the Second International Workshop on the Semantic Web, 2001
Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001
Proceedings of the Answer Set Programming, 2001
Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs.
Proceedings of the Answer Set Programming, 2001
2000
Formulating diagnostic problem solving using an action language with narratives and sensing.
Proceedings of the KR 2000, 2000
Proceedings of the Intelligent Data Engineering and Automated Learning, 2000
1999
Proceedings of the Intelligent Agents VI, 1999
Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999
1998
Electron. Trans. Artif. Intell., 1998
Proceedings of the Fourteenth International Conference on Data Engineering, 1998
Proceedings of the Second International Conference on Autonomous Agents, 1998
1997
Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information.
Proceedings of the Logic Programming, 1997
Proceedings of the Logic Programming and Knowledge Representation, 1997
1996
An Argumentation-theoretic Approach to Reasoning with Specificity.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996
1995
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995