- Approximation of action theories and its application to conformant planning.Phan Huy Tu, Tran Cao Son, Michael Gelfond & A. Ricardo Morales - 2011 - Artificial Intelligence 175 (1):79-119.details
|
|
Reasoning about actions: steady versus stabilizing state constraints.Michael Thielscher - 1998 - Artificial Intelligence 104 (1-2):339-355.details
|
|
Reasoning about Sensing Actions in Domains with Multi-Valued Fluents.Tran Cao Son, Phan Huy Tu & Xin Zhang - 2005 - Studia Logica 79 (1):135-160.details
|
|
Formalizing sensing actions— A transition function based approach.Tran Cao Son & Chitta Baral - 2001 - Artificial Intelligence 125 (1-2):19-91.details
|
|
Contingent planning under uncertainty via stochastic satisfiability.Stephen M. Majercik & Michael L. Littman - 2003 - Artificial Intelligence 147 (1-2):119-162.details
|
|
Metatheory of Actions: Beyond Consistency.Andreas Herzig & Ivan Varzinczak - 2007 - Artificial Intelligence 171 (1):951–984.details
|
|
The actorʼs view of automated planning and acting: A position paper.Malik Ghallab, Dana Nau & Paolo Traverso - 2014 - Artificial Intelligence 208 (C):1-17.details
|
|
A logic programming approach to knowledge-state planning, II: The system.Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer & Axel Polleres - 2003 - Artificial Intelligence 144 (1-2):157-211.details
|
|
Weak, strong, and strong cyclic planning via symbolic model checking.A. Cimatti, M. Pistore, M. Roveri & P. Traverso - 2003 - Artificial Intelligence 147 (1-2):35-84.details
|
|
Conformant planning via symbolic model checking and heuristic search.A. Cimatti, M. Roveri & P. Bertoli - 2004 - Artificial Intelligence 159 (1-2):127-206.details
|
|
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism.Claudio Castellini, Enrico Giunchiglia & Armando Tacchella - 2003 - Artificial Intelligence 147 (1-2):85-117.details
|
|
Formalizing narratives using nested circumscription.Chitta Baral, Alfredo Gabaldon & Alessandro Provetti - 1998 - Artificial Intelligence 104 (1-2):107-164.details
|
|
An action language for multi-agent domains.Chitta Baral, Gregory Gelfond, Enrico Pontelli & Tran Cao Son - 2022 - Artificial Intelligence 302 (C):103601.details
|
|
Logic-based subsumption architecture.Eyal Amir & Pedrito Maynard-Zhang - 2004 - Artificial Intelligence 153 (1-2):167-237.details
|
|
Defeasibly successful action.Richmond H. Thomason - unknowndetails
|
|