-
2
-
-
0035369022
-
Planning as heuristic search
-
Bonet, B., and Geffner, H. 2001. Planning as heuristic search. AIJ 129(1-2):5-33.
-
(2001)
AIJ
, vol.129
, Issue.1-2
, pp. 5-33
-
-
Bonet, B.1
Geffner, H.2
-
4
-
-
78650598256
-
Directed model checking with distance-preserving abstractions
-
Dräger, K.; Finkbeiner, B.; and Podelski, A. 2006. Directed model checking with distance-preserving abstractions. In SPIN, 1934.
-
(2006)
SPIN
, pp. 1934
-
-
Dräger, K.1
Finkbeiner, B.2
Podelski, A.3
-
5
-
-
77956024047
-
Optimal symbolic planning with action costs and preferences
-
Edelkamp, S., and Kissmann, P. 2009. Optimal symbolic planning with action costs and preferences. In IJCAI.
-
(2009)
IJCAI
-
-
Edelkamp, S.1
Kissmann, P.2
-
6
-
-
0002812045
-
Planning with pattern databases
-
Edelkamp, S. 2001. Planning with pattern databases. In ECP, 13-24.
-
(2001)
ECP
, pp. 13-24
-
-
Edelkamp, S.1
-
7
-
-
85164930862
-
Symbolic pattern databases in heuristic search planning
-
Edelkamp, S. 2002. Symbolic pattern databases in heuristic search planning. In AIPS, 274-293.
-
(2002)
AIPS
, pp. 274-293
-
-
Edelkamp, S.1
-
8
-
-
26944481300
-
Additive pattern database heuristics
-
Felner, A.; Korf, R. E.; and Hanan, S. 2004. Additive pattern database heuristics. JAIR 22:279-318.
-
(2004)
JAIR
, vol.22
, pp. 279-318
-
-
Felner, A.1
Korf, R.E.2
Hanan, S.3
-
9
-
-
85166200109
-
Admissible heuristics for optimal planning
-
Haslum, P., and Geffner, H. 2000. Admissible heuristics for optimal planning. In ICAPS, 140-149.
-
(2000)
ICAPS
, pp. 140-149
-
-
Haslum, P.1
Geffner, H.2
-
10
-
-
36348994284
-
Domain-independent construction of pattern database heuristics for cost-optimal planning
-
Haslum, P.; Botea, A.; Helmert, M.; Bonet, B.; and Koenig, S, 2007. Domain-independent construction of pattern database heuristics for cost-optimal planning. In AAAI, 1007-1012.
-
(2007)
AAAI
, pp. 1007-1012
-
-
Haslum, P.1
Botea, A.2
Helmert, M.3
Bonet, B.4
Koenig, S.5
-
11
-
-
29344444840
-
New admissible heuristics for domain-independent planning
-
Haslum, P.; Bonet, B.; and Geffner, H. 2005. New admissible heuristics for domain-independent planning. In AAAI, 1163-1168.
-
(2005)
AAAI
, pp. 1163-1168
-
-
Haslum, P.1
Bonet, B.2
Geffner, H.3
-
12
-
-
77958566136
-
Additive and reversed relaxed reachability heuristics revisited
-
Haslum, P. 2008. Additive and reversed relaxed reachability heuristics revisited. In IPC.
-
(2008)
IPC
-
-
Haslum, P.1
-
13
-
-
58849163050
-
Accuracy of admissible heuristic functions in selected planning domains
-
Helmert, M., and Mattmüller, R. 2007. Accuracy of admissible heuristic functions in selected planning domains. In AAAI, 938-943.
-
(2007)
AAAI
, pp. 938-943
-
-
Helmert, M.1
Mattmüller, R.2
-
14
-
-
52649133190
-
Flexible abstraction heuristics for optimal sequential planning
-
Helmert, M.; Haslum, P.; and Hoffmann, J. 2007. Flexible abstraction heuristics for optimal sequential planning. In ICAPS, 200-207.
-
(2007)
ICAPS
, pp. 200-207
-
-
Helmert, M.1
Haslum, P.2
Hoffmann, J.3
-
15
-
-
33749001469
-
The Fast Downward planning system
-
Helmert, M. 2006. The Fast Downward planning system. JAIR 26:191-246.
-
(2006)
JAIR
, vol.26
, pp. 191-246
-
-
Helmert, M.1
-
17
-
-
78751697028
-
Cost-optimal planning with landmarks
-
Karpas, E., and Domshlak, C. 2009. Cost-optimal planning with landmarks. In IJCAI.
-
(2009)
IJCAI
-
-
Karpas, E.1
Domshlak, C.2
-
18
-
-
58849086790
-
Optimal additive composition of abstraction-based admissible heuristics
-
Katz, M., and Domshlak, C. 2008a. Optimal additive composition of abstraction-based admissible heuristics. In ICAPS, 174-181.
-
(2008)
ICAPS
, pp. 174-181
-
-
Katz, M.1
Domshlak, C.2
-
19
-
-
58849100929
-
Structural patterns heuristics via fork decomposition
-
Katz, M., and Domshlak, C. 2008b. Structural patterns heuristics via fork decomposition. In ICAPS, 182-189.
-
(2008)
ICAPS
, pp. 182-189
-
-
Katz, M.1
Domshlak, C.2
|