Available at www.ComputerScienceWeb.com Artificial _¢ a Intelligence ELSEVIER Artificial Intelligence 147 (2003) v www.elsevier.com/locate/artint Special Issue on Planning with Uncertainty and Incomplete Information Guest Editors: Craig Boutilier, Tom Dean, Sven Koenig CONTENTS C. Boutilier, T. Dean and S. Koenig Editorial O. Madani, S. Hanks and A. Condon On the undecidability of probabilistic planning and related stochastic optimization problems A. Cimatti, M. Pistore, M. Roveri and P. Traverso Weak, strong, and strong cyclic planning via symbolic model checking C. Castellini, E. Giunchiglia and A. Tacchella SAT-based planning in complex domains: Concurrency, constraints and nondeterminism S.M. Majercik and M.L. Littman Contingent planning under uncertainty via stochastic satisfiability R. Givan, T. Dean and M. Greig Equivalence notions and model minimization in Markov decision processes K.-E. Kim and T. Dean Solving factored MDPs using non-homogeneous partitions S. Koenig, C. Tovey and Y¥. Smirnov Performance bounds for planning in unknown terrain Forthcoming Papers Author Index—Volume 147 (2003) CONTE NTS This journal is part of ContentsDirect, the free alerting service which sends tables of contents by e-mail for Elsevier Science s books and journals. You can register for ContentsDirect online at: http://contentsdirect.elsevier.com