nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Author Index—Volume 147 (2003)
|
|
|
2003 |
147 |
1-2 |
p. 287- 1 p. |
artikel |
2 |
Contingent planning under uncertainty via stochastic satisfiability
|
Majercik, Stephen M. |
|
2003 |
147 |
1-2 |
p. 119-162 44 p. |
artikel |
3 |
Editorial Board
|
|
|
2003 |
147 |
1-2 |
p. IFC- 1 p. |
artikel |
4 |
Equivalence notions and model minimization in Markov decision processes
|
Givan, Robert |
|
2003 |
147 |
1-2 |
p. 163-223 61 p. |
artikel |
5 |
Forthcoming Papers
|
|
|
2003 |
147 |
1-2 |
p. 281-285 5 p. |
artikel |
6 |
[No title]
|
Boutilier, Craig |
|
2003 |
147 |
1-2 |
p. 1-4 4 p. |
artikel |
7 |
On the undecidability of probabilistic planning and related stochastic optimization problems
|
Madani, Omid |
|
2003 |
147 |
1-2 |
p. 5-34 30 p. |
artikel |
8 |
Performance bounds for planning in unknown terrain
|
Koenig, Sven |
|
2003 |
147 |
1-2 |
p. 253-279 27 p. |
artikel |
9 |
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
|
Castellini, Claudio |
|
2003 |
147 |
1-2 |
p. 85-117 33 p. |
artikel |
10 |
Solving factored MDPs using non-homogeneous partitions
|
Kim, Kee-Eung |
|
2003 |
147 |
1-2 |
p. 225-251 27 p. |
artikel |
11 |
Weak, strong, and strong cyclic planning via symbolic model checking
|
Cimatti, A. |
|
2003 |
147 |
1-2 |
p. 35-84 50 p. |
artikel |