-
1
-
-
85166261608
-
Planning with incomplete information as heuristic search in belief space
-
B. Bonet and H. Geffner. Planning with incomplete information as heuristic search in belief space. In Proc. of AIPS, pages 52-61, 2000.
-
(2000)
Proc. of AIPS
, pp. 52-61
-
-
Bonet, B.1
Geffner, H.2
-
3
-
-
0038517219
-
Weak, strong, and strong cyclic planning via symbolic model checking
-
A. Cimatti, M. Pistore, M. Roveri, and P. Traverso. Weak, strong, and strong cyclic planning via symbolic model checking. Artif. Meli, 147(1-2):35-84, 2003.
-
(2003)
Artif. Meli
, vol.147
, Issue.1-2
, pp. 35-84
-
-
Cimatti, A.1
Pistore, M.2
Roveri, M.3
Traverso, P.4
-
4
-
-
0035369425
-
*: A heuristic search algorithm that finds solutions with loops
-
*: A heuristic search algorithm that finds solutions with loops. Artif. Intell., 129(1-2):35-62, 2001.
-
(2001)
Artif. Intell.
, vol.129
, Issue.1-2
, pp. 35-62
-
-
Hansen, E.A.1
Zilberstein, S.2
-
5
-
-
84890304446
-
Contingent planning via heuristic forward search with implicit belief states
-
J. Hoffmann and R. I. Brafman. Contingent planning via heuristic forward search with implicit belief states. In Proc. of ICAPS, pages 71-80, 2005.
-
(2005)
Proc. of ICAPS
, pp. 71-80
-
-
Hoffmann, J.1
Brafman, R.I.2
-
6
-
-
0036377352
-
The FF planning system: Fast plan generation through heuristic search
-
J. Hoffmann and B. Nebel. The FF planning system: Fast plan generation through heuristic search. J. Artif. Intell. Res. (JAIR), 14:253-302, 2001.
-
(2001)
J. Artif. Intell. Res. (JAIR)
, vol.14
, pp. 253-302
-
-
Hoffmann, J.1
Nebel, B.2
-
7
-
-
84899908432
-
A model of contigent planning for agent programming languages
-
Y. Lesperance, G. D. Giacomo, and A. N. Ozgovde. A model of contigent planning for agent programming languages. In Proc. of AAMAS, pages 477-484, 2008.
-
(2008)
Proc. of AAMAS
, pp. 477-484
-
-
Lesperance, Y.1
Giacomo, G.D.2
Ozgovde, A.N.3
-
8
-
-
84880731557
-
Planning with loops
-
H. J. Levesque. Planning with loops. In Proc. of IJGAI, pages 509-515, 2005.
-
(2005)
Proc. of IJGAI
, pp. 509-515
-
-
Levesque, H.J.1
-
9
-
-
0039488517
-
Parametric shape analysis via 3-valued logic
-
M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. TOPLAS, 24(3):217-298, 2002.
-
(2002)
TOPLAS
, vol.24
, Issue.3
, pp. 217-298
-
-
Sagiv, M.1
Reps, T.2
Wilhelm, R.3
-
10
-
-
34247261593
-
Hierarchical planning in BDI agent programming languages: A formal approach
-
S. Sardina, L. de Silva, and L. Padgham. Hierarchical planning in BDI agent programming languages: A formal approach. In Proc. of AAMAS, pages 1001-1008, 2006.
-
(2006)
Proc. of AAMAS
, pp. 1001-1008
-
-
Sardina, S.1
De Silva, L.2
Padgham, L.3
-
12
-
-
78650949742
-
-
UM-CS-2010-008, Dept. of Computer Science, Univ. of Massachusetts Amherst
-
S. Srivastava, N. Immerman, and S. Zilberstein. Merging example plans into generalized plans for non-deterministic environments (Tech Report). UM-CS-2010-008, Dept. of Computer Science, Univ. of Massachusetts Amherst, 2010.
-
(2010)
Merging Example Plans into Generalized Plans for Non-deterministic Environments (Tech Report)
-
-
Srivastava, S.1
Immerman, N.2
Zilberstein, S.3
-
13
-
-
1942420378
-
DISTILL: Learning domain-specific planners by example
-
E. Winner and M. M. Veloso. DISTILL: Learning domain-specific planners by example. In Proc. of ICML, pages 800-807, 2003.
-
(2003)
Proc. of ICML
, pp. 800-807
-
-
Winner, E.1
Veloso, M.M.2
|