SAT-based planning in complex domains: Concurrency, constraints and nondeterminism

, &
Artificial Intelligence 147 (1-2):85-117 (2003)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(02)00375-2

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,075

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Causality in Commonsense Reasoning About Actions.Norman Clayton Mccain - 1997 - Dissertation, The University of Texas at Austin
Epistemic planning for single- and multi-agent systems.Thomas Bolander & Mikkel Birkegaard Andersen - 2011 - Journal of Applied Non-Classical Logics 21 (1):9-34.
An account of the locus equation phenomenon based on speech movement planning.Frank H. Guenther - 1998 - Behavioral and Brain Sciences 21 (2):268-269.
The Conceptual Development of Nondeterminism in Theoretical Computer Science.Walter Warwick - 2001 - Dissertation, Indiana University
Planning under time constraints in stochastic domains.Thomas Dean, Leslie Pack Kaelbling, Jak Kirman & Ann Nicholson - 1995 - Artificial Intelligence 76 (1-2):35-74.
On the Import of Constraints in Complex Dynamical Systems.Cliff Hooker - 2013 - Foundations of Science 18 (4):757-780.
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.
Analysis of the role of information in planning: The case of town and country planning. [REVIEW]Mathieu C. H. Wagemans - 1990 - Knowledge, Technology & Policy 3 (4):72-90.
Intelligent planning: A decomposition and abstraction based approach to classical planning.Fausto Giunchiglia & Luca Spalazzi - 1999 - Artificial Intelligence 111 (1-2):329-338.
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.
An Epistemic Approach to Nondeterminism: Believing in the Simplest Course of Events.James P. Delgrande & Hector J. Levesque - 2019 - Studia Logica 107 (5):859-886.
Localized planning with action-based constraints.Amy L. Lansky - 1998 - Artificial Intelligence 98 (1-2):49-136.
More for free: A dynamic epistemic framework for conformant planning over transition systems.Yanjun Li, Quan Yu & Yanjing Wang - 2017 - Journal of Logic and Computation 27 (8):2383--2410.
Permissive planning: extending classical planning to uncertain task domains.Gerald F. DeJong & Scott W. Bennett - 1997 - Artificial Intelligence 89 (1-2):173-217.
On Agents That Have the Ability to Choose.Wiebe van Der Hoek, Bernd Van Linder & John-Jules Meyer - 2000 - Studia Logica 66 (1):79 - 119.

Analytics

Added to PP
2020-12-22

Downloads
8 (#1,320,049)

6 months
6 (#524,433)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

A critique of pure reason.Drew McDermott - 1987 - Computational Intelligence 3:151-60.
Fast planning through planning graph analysis.Avrim L. Blum & Merrick L. Furst - 1997 - Artificial Intelligence 90 (1-2):281-300.
Frames in the space of situations.Vladimir Lifschitz - 1990 - Artificial Intelligence 46 (3):365-376.

View all 6 references / Add more references