-
1
-
-
0034271027
-
Computational complexity of planning and approximate planning in the presence of incompleteness
-
C. Baral, V. Kreinovich, and R. Trejo. Computational complexity of planning and approximate planning in the presence of incompleteness. AIJ, 122:241-267, 2000.
-
(2000)
AIJ
, vol.122
, pp. 241-267
-
-
Baral, C.1
Kreinovich, V.2
Trejo, R.3
-
2
-
-
13444256696
-
Conformant planning via heuristic forward search: A new approach
-
R. Brafman and J. Hoffmann. Conformant planning via heuristic forward search: A new approach. In ICAPS, 355-364, 2004.
-
(2004)
ICAPS
, pp. 355-364
-
-
Brafman, R.1
Hoffmann, J.2
-
3
-
-
0026913667
-
Symbolic boolean manipulation with ordered binary decision diagrams
-
September
-
R. E. Bryant. Symbolic boolean manipulation with ordered binary decision diagrams. ACM Computing Surveys, 24(3):293-318, September 1992.
-
(1992)
ACM Computing Surveys
, vol.24
, Issue.3
, pp. 293-318
-
-
Bryant, R.E.1
-
4
-
-
33746045571
-
Planning Graph Heuristics for Belief Space Search
-
D. Bryce et al. Planning Graph Heuristics for Belief Space Search. JAIR, 26:35-99, 2006.
-
(2006)
JAIR
, vol.26
, pp. 35-99
-
-
Bryce, D.1
-
5
-
-
4644364683
-
Conformant Planning via Symbolic Model Checking and Heuristic Search
-
A. Cimatti et al. Conformant Planning via Symbolic Model Checking and Heuristic Search. AIJ, 159:127-206, 2004.
-
(2004)
AIJ
, vol.159
, pp. 127-206
-
-
Cimatti, A.1
-
6
-
-
0003780657
-
-
Version 1.2. Technical Report TR98003/DCS TR1165, Yale
-
M. Ghallab, A. Howe, C. Knoblock, D. McDermott, A. Ram, M. Veloso, D. Weld, and D. Wilkins. The Planning Domain Definition Language. Version 1.2. Technical Report TR98003/DCS TR1165, Yale, 1998.
-
(1998)
The Planning Domain Definition Language
-
-
Ghallab, M.1
Howe, A.2
Knoblock, C.3
McDermott, D.4
Ram, A.5
Veloso, M.6
Weld, D.7
Wilkins, D.8
-
7
-
-
58349101960
-
From Conformant into Classical Planning: Efficient Translations that may be Complete Too
-
H. Palacios and H. Geffner. From Conformant into Classical Planning: Efficient Translations that may be Complete Too. In ICAPS, 2007.
-
(2007)
ICAPS
-
-
Palacios, H.1
Geffner, H.2
-
8
-
-
0031619318
-
Conformant graphplan
-
D.E. Smith and D.S. Weld. Conformant graphplan. In AAAI, pp. 889-896, 1998.
-
(1998)
AAAI
, pp. 889-896
-
-
Smith, D.E.1
Weld, D.S.2
-
9
-
-
0035124264
-
Formalizing sensing actions - A transition function based approach
-
January
-
T.C. Son and C. Baral. Formalizing sensing actions - a transition function based approach. Artificial Intelligence, 125(1-2):19-91, January 2001.
-
(2001)
Artificial Intelligence
, vol.125
, Issue.1-2
, pp. 19-91
-
-
Son, T.C.1
Baral, C.2
-
10
-
-
52449125781
-
On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information
-
T.C. Son and PH. Tu. On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information. In KRR, 481-491, 2006.
-
(2006)
KRR
, pp. 481-491
-
-
Son, T.C.1
Tu, P.H.2
-
11
-
-
29344439432
-
Conformant Planning for Domains with Constraints - New Approach
-
T.C. Son, PH. Tu, M. Gelfond, and R. Morales. Conformant Planning for Domains with Constraints - New Approach. AAAI, pp. 1211-1216, 2005.
-
(2005)
AAAI
, pp. 1211-1216
-
-
Son, T.C.1
Tu, P.H.2
Gelfond, M.3
Morales, R.4
-
12
-
-
70350623134
-
Improving performance of conformant planners
-
Springer
-
D-V. Tran, H-K. Nguyen, E. Pontelli, and T.C. Son. Improving performance of conformant planners. In PADL, pp. 239-253. Springer, 2009.
-
(2009)
PADL
, pp. 239-253
-
-
Tran, D.-V.1
Nguyen, H.-K.2
Pontelli, E.3
Son, T.C.4
|