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
  Electronic Edition (link) BibTeX
• Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso:
  Weak, strong, and strong cyclic planning via symbolic model checking. 35-84
  Electronic Edition (link) BibTeX
• Claudio Castellini, Enrico Giunchiglia, Armando Tacchella:
  SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. 85-117
  Electronic Edition (link) BibTeX
• Stephen M. Majercik, Michael L. Littman:
  Contingent planning under uncertainty via stochastic satisfiability. 119-162
  Electronic Edition (link) BibTeX
• Robert Givan, Thomas Dean, Matthew Greig:
  Equivalence notions and model minimization in Markov decision processes. 163-223
  Electronic Edition (link) BibTeX
• Kee-Eung Kim, Thomas Dean:
  Solving factored MDPs using non-homogeneous partitions. 225-251
  Electronic Edition (link) BibTeX
• Sven Koenig, Craig A. Tovey, Yury V. Smirnov:
  Performance bounds for planning in unknown terrain. 253-279
  Electronic Edition (link) BibTeX