- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
Artificial Intelligence 147 (1-2):85-117 (2003)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Analyzing generalized planning under nondeterminism.Vaishak Belle - 2022 - Artificial Intelligence 307 (C):103696.
Planning under time constraints in stochastic domains.Thomas Dean, Leslie Pack Kaelbling, Jak Kirman & Ann Nicholson - 1995 - Artificial Intelligence 76 (1-2):35-74.
Task decomposition on abstract states, for planning under nondeterminism.Ugur Kuter, Dana Nau, Marco Pistore & Paolo Traverso - 2009 - Artificial Intelligence 173 (5-6):669-695.
Managing concurrency in temporal planning using planner-scheduler interaction.Andrew Coles, Maria Fox, Keith Halsey, Derek Long & Amanda Smith - 2009 - Artificial Intelligence 173 (1):1-44.
Localized planning with action-based constraints.Amy L. Lansky - 1998 - Artificial Intelligence 98 (1-2):49-136.
SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints.Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean & Mateu Villaret - 2022 - Artificial Intelligence 302 (C):103604.
Causality in Commonsense Reasoning About Actions.Norman Clayton Mccain - 1997 - Dissertation, The University of Texas at Austin
Permissive planning: extending classical planning to uncertain task domains.Gerald F. DeJong & Scott W. Bennett - 1997 - Artificial Intelligence 89 (1-2):173-217.
Learning action strategies for planning domains.Roni Khardon - 1999 - Artificial Intelligence 113 (1-2):125-148.
Analytics
Added to PP
2020-12-22
Downloads
6 (#1,485,580)
6 months
8 (#415,230)
2020-12-22
Downloads
6 (#1,485,580)
6 months
8 (#415,230)
Historical graph of downloads
Citations of this work
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.
Conformant planning via symbolic model checking and heuristic search.A. Cimatti, M. Roveri & P. Bertoli - 2004 - Artificial Intelligence 159 (1-2):127-206.
Strong planning under partial observability.Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri & Paolo Traverso - 2006 - Artificial Intelligence 170 (4-5):337-384.
Task decomposition on abstract states, for planning under nondeterminism.Ugur Kuter, Dana Nau, Marco Pistore & Paolo Traverso - 2009 - Artificial Intelligence 173 (5-6):669-695.
Understanding planning with incomplete information and sensing.Marcelo Oglietti - 2005 - Artificial Intelligence 164 (1-2):171-208.
References found in this work
Fast planning through planning graph analysis.Avrim L. Blum & Merrick L. Furst - 1997 - Artificial Intelligence 90 (1-2):281-300.
Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition.Rina Dechter - 1990 - Artificial Intelligence 41 (3):273-312.
Representing action: indeterminacy and ramifications.Enrico Giunchiglia, G. Neelakantan Kartha & Vladimir Lifschitz - 1997 - Artificial Intelligence 95 (2):409-438.
Frames in the space of situations.Vladimir Lifschitz - 1990 - Artificial Intelligence 46 (3):365-376.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-lc8fp uwo