-
1
-
-
84880890864
-
Planning in nondeterministic domains under partial observability via symbolic model checking
-
P. Bertoli, A. Cimatti, M. Roveri, and P. Traverso. Planning in nondeterministic domains under partial observability via symbolic model checking. In Proceedings of IJCAI'01, 2001.
-
(2001)
Proceedings of IJCAI'01
-
-
Bertoli, P.1
Cimatti, A.2
Roveri, M.3
Traverso, P.4
-
2
-
-
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 Proceedings of AIPS'02, 2000.
-
(2000)
Proceedings of AIPS'02
-
-
Bonet, B.1
Geffner, H.2
-
4
-
-
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 Proceedings of ICAPS' 04, 2004.
-
(2004)
Proceedings of ICAPS'04
-
-
Brafman, R.1
Hoffmann, J.2
-
5
-
-
0022769976
-
Graph-based algorithms for Boolean function manipulation
-
Randal E. Bryant. Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, C-35(8):677-691, August 1986. (Pubitemid 16629996)
-
(1986)
IEEE Transactions on Computers
, vol.C-35
, Issue.8
, pp. 677-691
-
-
Bryant, R.E.1
-
10
-
-
4544292774
-
Sapa: A scalable multi-objective heuristic metric temporal planneṙ
-
Minh Binh Do and Subbarao Kambhampati. Sapa: A scalable multi-objective heuristic metric temporal planneṙ JAIR, 2003.
-
(2003)
JAIR
-
-
Do, M.B.1
Kambhampati, S.2
-
11
-
-
84890304446
-
Contingent planning via heuristic forward search with implicit belief states
-
J. Hoffmann and R. Brafman. Contingent planning via heuristic forward search with implicit belief states. In Proceedings of ICAPS'05, 2005.
-
(2005)
Proceedings of ICAPS'05
-
-
Hoffmann, J.1
Brafman, R.2
-
12
-
-
80053237554
-
Sensor planning with non-linear utility functions
-
S. Koenig and Y. Liu. Sensor planning with non-linear utility functions. In Proceedings of ECP'99, 1999.
-
(1999)
Proceedings of ECP'99
-
-
Koenig, S.1
Liu, Y.2
-
15
-
-
0032596468
-
On the undecidability of probabilistic planning and infinite-horizon partially observable markov decision problems
-
O. Madani, S. Hanks, and A. Condon. On the undecidability of probabilistic planning and infinite-horizon partially observable markov decision problems. In Proceeding of AAAI'99, 1999.
-
(1999)
Proceeding of AAAI'99
-
-
Madani, O.1
Hanks, S.2
Condon, A.3
-
18
-
-
85093865817
-
A knowledge-based approach to planning with incomplete information and sensing
-
R. Petrick and F. Bacchus. A knowledge-based approach to planning with incomplete information and sensing. In Proceedings of AIPS'02, 2002.
-
(2002)
Proceedings of AIPS'02
-
-
Petrick, R.1
Bacchus, F.2
-
19
-
-
13444301648
-
Complexity of planning with partial observability
-
J. Rintanen. Complexity of planning with partial observability. In Proceedings of ICAPS'04, 2004.
-
(2004)
Proceedings of ICAPS'04
-
-
Rintanen, J.1
|