-
1
-
-
0035369022
-
Planning as heuristic search
-
Bonet, B., and Geffner, H. 2001. Planning as heuristic search. Artificial Intelligence 129(1):5-33.
-
(2001)
Artificial Intelligence
, vol.129
, Issue.1
, pp. 5-33
-
-
Bonet, B.1
Geffner, H.2
-
3
-
-
33745772398
-
Directed model checking with distance-preserving abstractions. In Proc
-
Drager, K.; Finkbeiner, B.; and Podelski, A. 2006. Directed model checking with distance-preserving abstractions. In Proc. SPIN-2006, 19-34.
-
(2006)
SPIN
, pp. 19-34
-
-
Drager, K.1
Finkbeiner, B.2
Podelski, A.3
-
4
-
-
0002812045
-
Planning with pattern databases
-
Edelkamp, S. 2001. Planning with pattern databases. In Proc. ECP 2001, 13-24.
-
(2001)
Proc. ECP 2001
, pp. 13-24
-
-
Edelkamp, S.1
-
5
-
-
33745649433
-
External symbolic heuristic search with pattern databases
-
Edelkamp, S. 2005. External symbolic heuristic search with pattern databases. In Proc. ICAPS 2005, 51-60.
-
(2005)
Proc. ICAPS 2005
, pp. 51-60
-
-
Edelkamp, S.1
-
6
-
-
84878779808
-
Automated creation of pattern database search heuristics
-
Edelkamp, S. 2006. Automated creation of pattern database search heuristics. In Proc. MoChArt-2006, 121-135.
-
(2006)
Proc. MoChArt-2006
, pp. 121-135
-
-
Edelkamp, S.1
-
7
-
-
58349085519
-
Filtering, decomposition and search space reduction for optimal sequential planning
-
Grandcolas, S., and Pain-Barre, C. 2007. Filtering, decomposition and search space reduction for optimal sequential planning. In Proc. AAAI 2007.
-
(2007)
Proc. AAAI 2007
-
-
Grandcolas, S.1
Pain-Barre, C.2
-
8
-
-
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. AAAI 2007, 1007-1012.
-
(2007)
Proc. AAAI 2007
, pp. 1007-1012
-
-
Haslum, P.1
Botea, A.2
Helmert, M.3
Bonet, B.4
Koenig, S.5
-
9
-
-
33749001469
-
The Fast Downward planning system
-
Helmert, M. 2006a. The Fast Downward planning system. JAIR 26:191-246.
-
(2006)
JAIR
, vol.26
, pp. 191-246
-
-
Helmert, M.1
-
11
-
-
33746050902
-
Friends or foes? An AI planning perspective on abstraction and search
-
Hoffmann, J.; Sabharwal, A.; and Domshlak, C. 2006. Friends or foes? An AI planning perspective on abstraction and search. In Proc. ICAPS 2006, 294-303.
-
(2006)
Proc. ICAPS 2006
, pp. 294-303
-
-
Hoffmann, J.1
Sabharwal, A.2
Domshlak, C.3
-
13
-
-
31144445319
-
Branching and pruning: An optimal temporal POCL planner based on constraint programming
-
Vidal, V., and Geffner, H. 2006. Branching and pruning: An optimal temporal POCL planner based on constraint programming. Artificial Intelligence 170(3):298-335.
-
(2006)
Artificial Intelligence
, vol.170
, Issue.3
, pp. 298-335
-
-
Vidal, V.1
Geffner, H.2
-
14
-
-
32944479332
-
Breadth-first heuristic search
-
Zhou, R., and Hansen, E. A. 2006. Breadth-first heuristic search. Artificial Intelligence 170(4-5):385-408.
-
(2006)
Artificial Intelligence
, vol.170
, Issue.4-5
, pp. 385-408
-
-
Zhou, R.1
Hansen, E.A.2
|