Artificial Intelligence 2003: Vol 147 Table of Contents

2 Pages·2003·0.37 MB·English

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