-
3
-
-
0038517219
-
Weak, strong, and strong cyclic planning via symbolic model checking
-
Cimatti, A.; Pistore, M.; Roveri, M.; and Traverso, P. 2003. Weak, strong, and strong cyclic planning via symbolic model checking. Artificial Intelligence 147(1):35-84.
-
(2003)
Artificial Intelligence
, vol.147
, Issue.1
, pp. 35-84
-
-
Cimatti, A.1
Pistore, M.2
Roveri, M.3
Traverso, P.4
-
6
-
-
84866458358
-
Simple and fast strong cyclic planning for fully-observable nondeterministic planning problems
-
Fu, J.; Ng, V.; Bastani, F. B.; and Yen, I.-L. 2011. Simple and fast strong cyclic planning for fully-observable nondeterministic planning problems. In Proceedings of the 22nd International Joint Conference On Artificial Intelligence (IJCAI), 1949-1954.
-
(2011)
Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI)
, pp. 1949-1954
-
-
Fu, J.1
Ng, V.2
Bastani, F.B.3
Yen, I.-L.4
-
8
-
-
60549086221
-
Concise finite-domain representations for PDDL planning tasks
-
Helmert, M. 2009. Concise finite-domain representations for PDDL planning tasks. Artificial Intelligence 173(5-6):503-535.
-
(2009)
Artificial Intelligence
, vol.173
, Issue.5-6
, pp. 503-535
-
-
Helmert, M.1
-
9
-
-
76649106051
-
Solving fully-observable non-deterministic planning problems via translation into a general game
-
Berlin, Heidelberg: Springer-Verlag
-
Kissmann, P., and Edelkamp, S. 2009. Solving fully-observable non-deterministic planning problems via translation into a general game. In Proceedings of the 32nd Annual German Conference on Advances in Artificial Intelligence, KI'09, 1-8. Berlin, Heidelberg: Springer-Verlag.
-
(2009)
Proceedings of the 32nd Annual German Conference on Advances in Artificial Intelligence, KI'09
, pp. 1-8
-
-
Kissmann, P.1
Edelkamp, S.2
-
13
-
-
78650614661
-
Pattern database heuristics for fully observable non-deterministic planning
-
Mattmüller, R.; Ortlieb, M.; Helmert, M.; and Bercher, P. 2010. Pattern database heuristics for fully observable non-deterministic planning. In Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS), 105-112.
-
(2010)
Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS)
, pp. 105-112
-
-
Mattmüller, R.1
Ortlieb, M.2
Helmert, M.3
Bercher, P.4
-
17
-
-
57749193939
-
Probabilistic planning via determinization in hindsight
-
Yoon, S.; Fern, A.; Givan, R.; and Kambhampati, S. 2008. Probabilistic planning via determinization in hindsight. In Proceedings of the Conference on Artificial Intelligence (AAAI), 1010-1016.
-
(2008)
Proceedings of the Conference on Artificial Intelligence (AAAI)
, pp. 1010-1016
-
-
Yoon, S.1
Fern, A.2
Givan, R.3
Kambhampati, S.4
-
18
-
-
78650594864
-
Improving determinization in hindsight for online probabilistic planning
-
Yoon, S.; Ruml, W.; Benton, J.; and Do, M. B. 2010. Improving determinization in hindsight for online probabilistic planning. In Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS), 209-216.
-
(2010)
Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS)
, pp. 209-216
-
-
Yoon, S.1
Ruml, W.2
Benton, J.3
Do, M.B.4
|