Digital Library
Close Browse articles from a journal
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             14 results found
no title author magazine year volume issue page(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.
article
2 Author Index—Volume 129 (2001) 2001
129 1-2 p. 319-320
2 p.
article
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.
article
4 Forthcoming Papers 2001
129 1-2 p. 315-317
3 p.
article
5 Heuristic search in artificial intelligence Zhang, Weixiong
2001
129 1-2 p. 1-4
4 p.
article
6 LAO∗: A heuristic search algorithm that finds solutions with loops Hansen, Eric A.
2001
129 1-2 p. 35-62
28 p.
article
7 Minimax real-time heuristic search Koenig, Sven
2001
129 1-2 p. 165-197
33 p.
article
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.
article
9 Planning as heuristic search Bonet, Blai
2001
129 1-2 p. 5-33
29 p.
article
10 Searching stochastically generated multi-abstraction-level design spaces Steinberg, Louis
2001
129 1-2 p. 63-90
28 p.
article
11 Sokoban: Enhancing general single-agent search methods using domain knowledge Junghanns, Andreas
2001
129 1-2 p. 219-251
33 p.
article
12 Special Issue of the journal Artificial Intelligence on “AI & Law” Rissland, Edwina L.
2001
129 1-2 p. 313-314
2 p.
article
13 The PN ∗ -search algorithm: Application to tsume-shogi Seo, Masahiro
2001
129 1-2 p. 253-277
25 p.
article
14 Time complexity of iterative-deepening-A ∗ Korf, Richard E.
2001
129 1-2 p. 199-218
20 p.
article
                             14 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands