| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A general scheme for automatic generation of search heuristics from specification dependencies ☆ ☆ Preliminary versions of this paper were presented in [15,16,18]. This work was supported in part by NSF grant IIS-0086529 and by MURI ONR award N00014-00-1-0617.
|
Kask, Kalev
|
|
2001
|
129 |
1-2 |
p. 91-131
41 p.
|
artikel
|
| 2 |
Author Index—Volume 129 (2001)
|
|
|
2001
|
129 |
1-2 |
p. 319-320
2 p.
|
artikel
|
| 3 |
Exploiting symmetries within constraint satisfaction search ☆ ☆ This paper is an extended and updated version of [16], presented at the IJCAI-99 conference.
|
Meseguer, Pedro
|
|
2001
|
129 |
1-2 |
p. 133-163
31 p.
|
artikel
|
| 4 |
Forthcoming Papers
|
|
|
2001
|
129 |
1-2 |
p. 315-317
3 p.
|
artikel
|
| 5 |
Heuristic search in artificial intelligence
|
Zhang, Weixiong
|
|
2001
|
129 |
1-2 |
p. 1-4
4 p.
|
artikel
|
| 6 |
LAO∗: A heuristic search algorithm that finds solutions with loops
|
Hansen, Eric A.
|
|
2001
|
129 |
1-2 |
p. 35-62
28 p.
|
artikel
|
| 7 |
Minimax real-time heuristic search
|
Koenig, Sven
|
|
2001
|
129 |
1-2 |
p. 165-197
33 p.
|
artikel
|
| 8 |
Partial order bounding: A new approach to evaluation in game tree search
|
Müller, Martin
|
|
2001
|
129 |
1-2 |
p. 279-311
33 p.
|
artikel
|
| 9 |
Planning as heuristic search
|
Bonet, Blai
|
|
2001
|
129 |
1-2 |
p. 5-33
29 p.
|
artikel
|
| 10 |
Searching stochastically generated multi-abstraction-level design spaces
|
Steinberg, Louis
|
|
2001
|
129 |
1-2 |
p. 63-90
28 p.
|
artikel
|
| 11 |
Sokoban: Enhancing general single-agent search methods using domain knowledge
|
Junghanns, Andreas
|
|
2001
|
129 |
1-2 |
p. 219-251
33 p.
|
artikel
|
| 12 |
Special Issue of the journal Artificial Intelligence on “AI & Law”
|
Rissland, Edwina L.
|
|
2001
|
129 |
1-2 |
p. 313-314
2 p.
|
artikel
|
| 13 |
The PN ∗ -search algorithm: Application to tsume-shogi
|
Seo, Masahiro
|
|
2001
|
129 |
1-2 |
p. 253-277
25 p.
|
artikel
|
| 14 |
Time complexity of iterative-deepening-A ∗
|
Korf, Richard E.
|
|
2001
|
129 |
1-2 |
p. 199-218
20 p.
|
artikel
|
Tijdschrift beschrijving