Artificial Intelligence, Volume 147

Volume 147, Number 1-2, July 2003

• Omid Madani, Steve Hanks, Anne Condon:
  On the undecidability of probabilistic planning and related stochastic optimization problems. 5-34
  
• Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso:
  Weak, strong, and strong cyclic planning via symbolic model checking. 35-84
  
• Claudio Castellini, Enrico Giunchiglia, Armando Tacchella:
  SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. 85-117
  
• Stephen M. Majercik, Michael L. Littman:
  Contingent planning under uncertainty via stochastic satisfiability. 119-162
  
• Robert Givan, Thomas Dean, Matthew Greig:
  Equivalence notions and model minimization in Markov decision processes. 163-223
  
• Kee-Eung Kim, Thomas Dean:
  Solving factored MDPs using non-homogeneous partitions. 225-251
  
• Sven Koenig, Craig A. Tovey, Yury V. Smirnov:
  Performance bounds for planning in unknown terrain. 253-279