Contingent Planning Under Uncertainty via Stochastic Satisfiability (1999)

Cached

Download Links

by Stephen M. Majercik , Michael L. Littman
Venue:Artificial Intelligence
Citations:57 - 5 self

Documents Related by Co-Citation

200 Probabilistic Planning with Information Gathering and Contingent Execution – Denise Draper, Steve Hanks, Daniel Weld - 1994
960 Fast Planning Through Planning Graph Analysis – Avrim L. Blum, Merrick L. Furst - 1995
203 Planning with Incomplete Information as Heuristic Search in Belief Space – Blai Bonet, Hector Geffner - 2000
61 Conditional probabilistic planning: a unifying algorithm and effective search control mechanisms – Nilufer Onder, Martha E. Pollack - 1999
71 MAXPLAN: A New Approach to Probabilistic Planning – Stephen M. Majercik, Michael L. Littman - 1998
275 Using Temporal Logics to Express Search Control Knowledge for Planning – Fahiem Bacchus, Froduald Kabanza - 1999
112 Computing optimal policies for partially observable decision processes using compact representations – Craig Boutilier, David Poole - 1996
51 Conditional Progressive Planning under Uncertainty – Lars Karlsson - 2001
14 A Possibilistic Planner That Deals with Non-Determinism and Contingency – Emmanuel Guere, Rachid Alami - 1999
156 Extending Graphplan to Handle Uncertainty & Sensing Actions – Daniel S. Weld, Corin R. Anderson, David E. Smith - 1999
39 Planning and acting in partially observable stochastic domains – L P Kaebling, M L Littman, A R Cassandra - 1998
521 Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search – Henry Kautz, Bart Selman - 1996
117 Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking – P. Bertoli , A. Cimatti , M. Roveri , P. Traverso - 2001
599 The FF planning system: Fast plan generation through heuristic search – Jörg Hoffmann, Bernhard Nebel - 2001
17 Utilizing structured representations and CSPs in conformant probabilistic planning – N Hyafil, F Bacchus - 2004
258 An Algorithm for Probabilistic Planning – Nicholas Kushmerick, Steve Hanks, Daniel Weld - 1995
1107 Temporal and modal logic – E. Allen Emerson - 1995
54 MBP: a Model Based Planner – Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso - 2001
24 Solving power supply restoration problems with planning via symbolic model checking – Piergiorgio Bertoli, Ro Cimatti, John Slaney, Sylvie Thiébaux - 2002