The following pages link to Tran Cao Son (Q235880):
Displayed 50 items.
- Item:Q235880 (redirect page) (← links)
- Approximation of action theories and its application to conformant planning (Q543583) (← links)
- A generic approach to planning in the presence of incomplete information: theory and implementation (Q899156) (← links)
- Logic programs with abstract constraint atoms: the role of computations (Q969538) (← links)
- Model reconciliation in logic programs (Q2055814) (← links)
- An action language for multi-agent domains (Q2060726) (← links)
- Revision and updates in possibly action-occurrence-incomplete narratives (Q2092491) (← links)
- Answer set programming and its applications in planning and multi-agent systems (Q2401920) (← links)
- Reasoning about sensing actions in domains with multi-valued fluents (Q2574884) (← links)
- (Q2728926) (← links)
- Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL (Q2851977) (← links)
- Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains (Q2900545) (← links)
- (Q2909161) (← links)
- Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning (Q2915050) (← links)
- Finitary S5-Theories (Q2938497) (← links)
- Combining Answer Set Programming and Prolog: The $\mathbb{ASP{-}PROLOG}$ System (Q3001931) (← links)
- (Q3046855) (← links)
- Planning for Multiagent Using ASP-Prolog (Q3055668) (← links)
- Reasoning about Multi-agent Domains Using Action Language $\mathcal{C}$ : A Preliminary Study (Q3055670) (← links)
- Interacting Answer Sets (Q3055677) (← links)
- Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming (Q3402250) (← links)
- A Constructive semantic characterization of aggregates in answer set programming (Q3432855) (← links)
- “Add Another Blue Stack of the Same Height!”: ASP Based Planning and Plan Failure Analysis (Q3449197) (← links)
- Logic programming for finding models in the logics of knowledge and its applications: A case study (Q3585176) (← links)
- Logic Programs with Abstract Constraint Atoms: The Role of Computations (Q3608661) (← links)
- Justifications for logic programs under answer set semantics (Q3612602) (← links)
- (Q3624081) (← links)
- Argumentation-Based Semantics for Logic Programs with First-Order Formulae (Q4571139) (← links)
- Solving distributed constraint optimization problems using logic programming (Q4593098) (← links)
- Multi-Context Systems with Preferences (Q4637873) (← links)
- Logic Programming for Multiagent Planning with Negotiation (Q4649727) (← links)
- (Q4708932) (← links)
- (Q4798013) (← links)
- (Q4940940) (← links)
- Planning with Incomplete Information in Quantified Answer Set Programming (Q5019607) (← links)
- (Q5020568) (← links)
- (Q5020965) (← links)
- A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems (Q5076371) (← links)
- Epistemic Argumentation Framework: Theory and Computation (Q5139601) (← links)
- Formalizing Negotiations Using Logic Programming (Q5169968) (← links)
- A Non-monotonic Goal Specification Language for Planning with Preferences (Q5172616) (← links)
- Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming (Q5297630) (← links)
- A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information (Q5310667) (← links)
- Logic Programming (Q5313212) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424878) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424879) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424890) (← links)
- Justifications for Logic Programs Under Answer Set Semantics (Q5449601) (← links)
- Computational Logic in Multi-Agent Systems (Q5464691) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5473969) (← links)