Tran Cao Son

Available identifiers

zbMath Open son.tran-caoMaRDI QIDQ235880

List of research outcomes

Publication	Date of Publication	Type
Revision and updates in possibly action-occurrence-incomplete narratives	2022-11-02	Paper
A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems	2022-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q5020965	2022-01-11	Paper
Planning with Incomplete Information in Quantified Answer Set Programming	2022-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q5020568	2022-01-06	Paper
An action language for multi-agent domains	2021-12-13	Paper
Model reconciliation in logic programs	2021-12-01	Paper
Epistemic Argumentation Framework: Theory and Computation	2020-12-09	Paper
Argumentation-Based Semantics for Logic Programs with First-Order Formulae	2018-07-06	Paper
Multi-Context Systems with Preferences	2018-05-03	Paper
Solving distributed constraint optimization problems using logic programming	2017-11-09	Paper
Answer set programming and its applications in planning and multi-agent systems	2017-09-05	Paper
A generic approach to planning in the presence of incomplete information: theory and implementation	2015-12-21	Paper
“Add Another Blue Stack of the Same Height!”: ASP Based Planning and Plan Failure Analysis	2015-11-04	Paper
A Non-monotonic Goal Specification Language for Planning with Preferences	2015-02-04	Paper
Finitary S5-Theories	2015-01-14	Paper
Formalizing Negotiations Using Logic Programming	2014-07-17	Paper
Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL	2013-10-04	Paper
Logic Programming for Multiagent Planning with Negotiation	2012-11-13	Paper
Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning	2012-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q2909161	2012-08-29	Paper
Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains	2012-07-23	Paper
Approximation of action theories and its application to conformant planning	2011-06-17	Paper
Combining Answer Set Programming and Prolog: The $\mathbb{ASP{-}PROLOG}$ System	2011-05-19	Paper
Planning for Multiagent Using ASP-Prolog	2010-11-09	Paper
Reasoning about Multi-agent Domains Using Action Language $\mathcal{C}$ : A Preliminary Study	2010-11-09	Paper
Interacting Answer Sets	2010-11-09	Paper
Logic programming for finding models in the logics of knowledge and its applications: A case study	2010-08-19	Paper
Logic programs with abstract constraint atoms: the role of computations	2010-05-07	Paper
Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming	2010-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q3624081	2009-04-28	Paper
Justifications for logic programs under answer set semantics	2009-03-10	Paper
Logic Programs with Abstract Constraint Atoms: The Role of Computations	2009-03-05	Paper
Justifications for Logic Programs Under Answer Set Semantics	2008-03-11	Paper
Logic Programming and Nonmonotonic Reasoning	2007-11-07	Paper
Logic Programming and Nonmonotonic Reasoning	2007-11-07	Paper
Logic Programming and Nonmonotonic Reasoning	2007-11-07	Paper
A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information	2007-10-11	Paper
Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming	2007-07-12	Paper
A Constructive semantic characterization of aggregates in answer set programming	2007-04-19	Paper
Planning with preferences using logic programming	2006-08-28	Paper
Logic Programming and Nonmonotonic Reasoning	2006-06-23	Paper
Reasoning about sensing actions in domains with multi-valued fluents	2005-12-02	Paper
Logic Programming	2005-08-26	Paper
Computational Logic in Multi-Agent Systems	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q3046855	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4708932	2003-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4798013	2003-03-18	Paper
An argument-based approach to reasoning with specificity	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q2728926	2001-10-23	Paper
Formalizing sensing actions -- a transition function based approach	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4940940	2000-09-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Tran Cao Son