Journals in DBLP

Artif. Intell.
2003, volume: 147, number: 1-2

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