Tran Cao Son

According to our database1, Tran Cao Son authored at least 161 papers between 1995 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
A parallel memory-efficient epistemic logic program solver: harder, better, faster.
Ann. Math. Artif. Intell., 2019

Generalized Target Assignment and Path Finding Using Answer Set Programming.
Proceedings of the Twelfth International Symposium on Combinatorial Search, 2019

Natural Language Generation from Ontologies.
Proceedings of the Practical Aspects of Declarative Languages, 2019

Multi-Context System for Optimization Problems.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

On Structured Argumentation with Conditional Preferences.
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.
TPLP, 2018

Experimenting with robotic intra-logistics domains.
TPLP, 2018

Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV).
J. Log. Comput., 2018

Answer Set Planning in Single- and Multi-agent Environments.
KI, 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

Automatic Web Services Composition for Phylotastic.
Proceedings of the Practical Aspects of Declarative Languages, 2018

Explanations Generation For Web Service Workflow.
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

Preference Elicitation with Interdependency and User Bother Cost.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Bidding Strategy for Periodic Double Auctions Using Monte Carlo Tree Search.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

EFP and PG-EFP: Epistemic Forward Search Planners in Multi-Agent Domains.
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.
TPLP, 2017

Reports of the Workshops of the Thirty-First AAAI Conference on Artificial Intelligence.
AI Magazine, 2017

Revision and Updates in Possibly Action-Occurrence-Incomplete Narratives.
Proceedings of the PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30, 2017

Answer Set Programming and Its Applications in Planning and Multi-agent Systems.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Generalized Answer Set Planning with Incomplete Information.
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

On Computing World Views of Epistemic Logic Programs.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Generalized Target Assignment and Path Finding Using Answer Set Programming.
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
Reports of the 2016 AAAI Workshop Program.
AI Magazine, 2016

Argumentation-Based Semantics for Logic Programs with First-Order Formulae.
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

Reasoning about Truthfulness of Agents Using Answer Set Programming.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Goal Recognition Design with Stochastic Agent Action Outcomes.
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

Solving Goal Recognition Design Using ASP.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Applications of logical approaches to argumentation.
Argument & Computation, 2015

A generic approach to planning in the presence of incomplete information: Theory and implementation.
Artif. Intell., 2015

Multi-Context Systems with Preferences.
Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 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

Exploring the Use of BDDs in Conformant Planning.
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

A Non-monotonic Goal Specification Language for Planning with Preferences.
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

Multi-Agent Action Modeling Through Action Sequences And Perspective Fluents.
Proceedings of the 2015 AAAI Spring Symposia, 2015

Reasoning about Truthfulness of Agents Using Answer Set Programming.
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

Solving Distributed Constraint Optimization Problems Using Logic Programming.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Formalizing Negotiations Using Logic Programming.
ACM Trans. Comput. Log., 2014

Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems.
Proceedings of the Practical Aspects of Declarative Languages, 2014

Finitary S5-Theories.
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

Solving Uncertain MDPs by Reusing State Information and Plans.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
A conformant planner based on approximation: CpA(H).
ACM TIST, 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
Incremental Information Extraction Using Relational Databases.
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

ASP at Work: An ASP Implementation of PhyloWS.
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
CDAO-Store: Ontology-driven Data Integration for Phylogenetic Analysis.
BMC Bioinformatics, 2011

Approximation of action theories and its application to conformant planning.
Artif. Intell., 2011

ASP-Prolog for Negotiation among Dishonest Agents.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

On the Effectiveness of CNF and DNF Representations in Contingent Planning.
Proceedings of the IJCAI 2011, 2011

A Logical Formulation for Negotiation among Dishonest Agents.
Proceedings of the IJCAI 2011, 2011

CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services.
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

Formalizing Commitments Using Action Languages.
Proceedings of the Declarative Agent Languages and Technologies IX, 2011

Contingent Planning as AND/OR Forward Search with Disjunctive Representation.
Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011

An Experiment in Formalizing Commitments Using Action Languages.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

On the Effectiveness of Belief State Representation in Contingent Planning.
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

On Improving Conformant Planners by Analyzing Domain-Structures.
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.
TPLP, 2010

Multimodal Presentation of Two-Dimensional Charts: An Investigation Using Open Office XML and Microsoft Excel.
TACCESS, 2010

An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling.
Computer Languages, Systems & Structures, 2010

GenerIE: Information extraction using database queries.
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

A New Approach to Conformant Planning Using CNF*.
Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010

On the Use of Prime Implicates in Conformant Planning.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
Justifications for logic programs under answer set semantics.
TPLP, 2009

Applications of parallel processing technologies in heuristic search planning: methodologies and experiments.
Concurrency and Computation: Practice and Experience, 2009

Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications.
Proceedings of the Practical Aspects of Declarative Languages, 2009

Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using .
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Negotiation Using Logic Programming with Consistency Restoring Rules.
Proceedings of the IJCAI 2009, 2009

Logic Programming for Multiagent Planning with Negotiation.
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

Planning for Multiagent Using ASP-Prolog.
Proceedings of the Computational Logic in Multi-Agent Systems, 2009

Interacting Answer Sets.
Proceedings of the Computational Logic in Multi-Agent Systems, 2009

Reasoning about Multi-agent Domains Using Action Language C\mathcal{C}: A Preliminary Study.
Proceedings of the Computational Logic in Multi-Agent Systems, 2009

Making Microsoft ExcelTM: multimodal presentation of charts.
Proceedings of the 11th International ACM SIGACCESS Conference on Computers and Accessibility, 2009

A Conformant Planner with Explicit Disjunctive Representation of Belief States.
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

2008
Some Results on the Completeness of Approximation Based Reasoning.
Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

State-Based Regression with Sensing and Knowledge.
Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

Some Results on the Completeness of Approximation Based Reasoning.
Proceedings of the Architectures for Intelligent Theory-Based Agents, 2008

Credulous Resolution for Answer Set Programming.
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.
TPLP, 2007

A Constructive semantic characterization of aggregates in answer set programming.
TPLP, 2007

CPP: A Constraint Logic Programming Based Planner with Preferences.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

An Extension to Conformant Planning Using Logic Programming.
Proceedings of the IJCAI 2007, 2007

Logic Programs with Abstract Constraint Atoms: The Role of Computations.
Proceedings of the Logic Programming, 23rd International Conference, 2007

2006
Domain-dependent knowledge in answer set planning.
ACM Trans. Comput. Log., 2006

A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information.
Logical Methods in Computer Science, 2006

A Framework for Composition and Inter-operation of Rules in the Semantic Web.
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

Justifications for Logic Programs Under Answer Set Semantics.
Proceedings of the Logic Programming, 22nd International Conference, 2006

A Collaborative Framework to Realize Virtual Enterprises Using 3APL.
Proceedings of the Declarative Agent Languages and Technologies IV, 2006

A Tool for Knowledge Base Integration and Querying.
Proceedings of the Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006

Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms.
Proceedings of the Proceedings, 2006

2005
Reasoning about Sensing Actions in Domains with Multi-Valued Fluents.
Studia Logica, 2005

An Approximation of Action Theories of and Its Application to Conformant Planning.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Integrating an Answer Set Solver into Prolog: ASP-PROLOG.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

SmodelsA - A System for Computing Answer Sets of Logic Programs with Aggregates.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Justification and debugging of answer set programs in ASP.
Proceedings of the Sixth International Workshop on Automated Debugging, 2005

Conformant Planning for Domains with Constraints-A New Approach.
Proceedings of the Proceedings, 2005

2004
A system for automatic structure discovery and reasoning-based navigation of the web.
Interacting with Computers, 2004

Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory.
Computational Intelligence, 2004

ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog.
Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

ASP-PROLOG: a system for reasoning about answer set programs in prolog.
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Planning with Sensing Actions and Incomplete Information Using Logic Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Planning with Preferences Using Logic Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Smodels with CLP?A Treatment of Aggregates in ASP.
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

Regression with Respect to Sensing Actions and Partial States.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

Adding Time and Intervals to Procedural and Hierarchical Control Specifications.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003
Introduction to the special issue on Programming with Answer Sets.
TPLP, 2003

Designing intelligent agents to support universal accessibility of E-commerce services.
Electronic Commerce Research and Applications, 2003

Developing Agents for Bioinformatics Applications: A Preliminary Design.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

Adding Preferences to Answer Set Planning.
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

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

Reasoning about Actions in Prioritized Default Theory.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Disjunctive Logic Programs with Inheritance Revisited.
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

Planning, reasoning, and agents for non-visual navigation of tables and frames.
Proceedings of the ACM Conference on Assistive Technologies, 2002

2001
Semantic Web Services.
IEEE Intelligent Systems, 2001

AAAI 2001 Spring Symposium Series Reports.
AI Magazine, 2001

Formalizing sensing actions A transition function based approach.
Artif. Intell., 2001

An argument-based approach to reasoning with specificity.
Artif. Intell., 2001

Mobilizing the Semantic Web with DAML-enabled Web Services.
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

Reasoning about Policies using Logic Programs.
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

Round-Table Architecture for Communication in Multi-agent Softbot Systems.
Proceedings of the Intelligent Data Engineering and Automated Learning, 2000

Default Reasoning with Specificity.
Proceedings of the Computational Logic, 2000

1999
Extending ConGolog to Allow Partial Ordering.
Proceedings of the Intelligent Agents VI, 1999

Reasoning about Sensing Actions and Reactivity.
Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1998
Interval Methods in Robot Navigation.
Reliable Computing, 1998

Conceptual Modeling and Querying in Multimedia Databases.
Multimedia Tools Appl., 1998

Relating Theories of Actions and Reactive Control.
Electron. Trans. Artif. Intell., 1998

Design and Implementation of Display Specification for Multimedia Answers.
Proceedings of the Fourteenth International Conference on Data Engineering, 1998

From Theory to Practice: The UTEP Robot in the AAAI 96 AAAI 97 Robot Contests.
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

Reasoning with Prioritized Defaults.
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

A Reactive Mobile Robot Based on a Formal Theory of Action.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995
Nonmonotonic Inheritance, Argumentation and Logic Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995


  Loading...