-
1
-
-
0035442648
-
The AIPS'00 planning competition
-
Bacchus, F. 2001. The AIPS'00 planning competition. AI Magazine 22(3):47-56.
-
(2001)
AI Magazine
, vol.22
, Issue.3
, pp. 47-56
-
-
Bacchus, F.1
-
3
-
-
0028498153
-
The computational complexity of prepositional STRIPS planning
-
Bylander, T. 1994. The computational complexity of prepositional STRIPS planning. AIJ 69(1-2):165-204.
-
(1994)
AIJ
, vol.69
, Issue.1-2
, pp. 165-204
-
-
Bylander, T.1
-
5
-
-
0035443448
-
The model checking integrated planning system (MIPS)
-
Edelkamp, S., and Helmert, M. 2001. The model checking integrated planning system (MIPS). AI Magazine 22(3):67-71.
-
(2001)
AI Magazine
, vol.22
, Issue.3
, pp. 67-71
-
-
Edelkamp, S.1
Helmert, M.2
-
6
-
-
85166200109
-
Admissible heuristics for optimal planning
-
Haslum, P., and Geffner, H. 2000. Admissible heuristics for optimal planning. In Proc. AIPS 2000, 140-149.
-
(2000)
Proc. AIPS 2000
, pp. 140-149
-
-
Haslum, P.1
Geffner, H.2
-
7
-
-
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 Proc. AAAI2007, 1007-1012.
-
(2007)
Proc. AAAI2007
, pp. 1007-1012
-
-
Haslum, P.1
Botea, A.2
Helmert, M.3
Bonet, B.4
Koenig, S.5
-
8
-
-
29344444840
-
New admissible heuristics for domain-independent planning
-
Haslum, P.; Bonet, B.; and Geffner, H. 2005. New admissible heuristics for domain-independent planning. In Proc. AAAI 2005, 1163-1168.
-
(2005)
Proc. AAAI 2005
, pp. 1163-1168
-
-
Haslum, P.1
Bonet, B.2
Geffner, H.3
-
9
-
-
52649133190
-
Flexible abstraction heuristics for optimal sequential planning
-
Helmert, M.; Haslum, P.; and Hoffmann, J. 2007. Flexible abstraction heuristics for optimal sequential planning. In Proc. ICAPS 2007, 176-183.
-
(2007)
Proc. ICAPS 2007
, pp. 176-183
-
-
Helmert, M.1
Haslum, P.2
Hoffmann, J.3
-
10
-
-
49949089514
-
Understanding Planning Tasks - Domain Complexity and Heuristic Decomposition
-
of, Springer-Verlag
-
Helmert, M. 2008. Understanding Planning Tasks - Domain Complexity and Heuristic Decomposition, volume 4929 of LNAI. Springer-Verlag.
-
(2008)
LNAI
, vol.4929
-
-
Helmert, M.1
-
11
-
-
31144462519
-
The deterministic part of IPC-4: An overview
-
Hoffmann, J., and Edelkamp, S. 2005. The deterministic part of IPC-4: An overview. JAIR 24:519-579.
-
(2005)
JAIR
, vol.24
, pp. 519-579
-
-
Hoffmann, J.1
Edelkamp, S.2
-
12
-
-
57749202216
-
-
Hoffmann, J. 2005. Where 'ignoring delete lists' works:
-
Hoffmann, J. 2005. Where 'ignoring delete lists' works:
-
-
-
-
13
-
-
57749203762
-
-
Local search topology in planning benchmarks. JAIR 24:685-758.
-
Local search topology in planning benchmarks. JAIR 24:685-758.
-
-
-
-
14
-
-
0030352389
-
Pushing the envelope: Planning, prepositional logic, and stochastic search
-
Kautz, H., and Selman, B. 1996. Pushing the envelope: Planning, prepositional logic, and stochastic search. In Proc. AAAI-96, 1194-1201.
-
(1996)
Proc. AAAI-96
, pp. 1194-1201
-
-
Kautz, H.1
Selman, B.2
-
15
-
-
57749205888
-
-
Kautz, H., and Selman, B. 1999. Unifying SAT-based and graph-based planning. In Proc. IJCAI-99, 318-325. Long, D., and Fox, M. 2003. The 3rd International Planning Competition: Results and analysis. JAIR 20:1-59.
-
Kautz, H., and Selman, B. 1999. Unifying SAT-based and graph-based planning. In Proc. IJCAI-99, 318-325. Long, D., and Fox, M. 2003. The 3rd International Planning Competition: Results and analysis. JAIR 20:1-59.
-
-
-
-
16
-
-
85166378667
-
A heuristic estimator for means-ends analysis in planning
-
McDermott, D. 1996. A heuristic estimator for means-ends analysis in planning. In Proc. AIPS 1996, 142-149.
-
(1996)
Proc. AIPS 1996
, pp. 142-149
-
-
McDermott, D.1
-
17
-
-
0033698818
-
The 1998 Al Planning Systems competition
-
McDermott, D. 2000. The 1998 Al Planning Systems competition. Al Magazine 21(2):35-55.
-
(2000)
Al Magazine
, vol.21
, Issue.2
, pp. 35-55
-
-
McDermott, D.1
|