-
1
-
-
84880732671
-
Learning partially observable deterministic action models
-
MK
-
Amir, E. 2005. Learning partially observable deterministic action models. In IJCAI '05. MK.
-
(2005)
IJCAI '05
-
-
Amir, E.1
-
2
-
-
84880890864
-
Planning in nondeterministic domains under partial observability via symbolic model checking
-
MK
-
Bertoli, P.; Cimatti, A.; Roveri, M.; and Traverso, P. 2001. Planning in nondeterministic domains under partial observability via symbolic model checking. In IJCAI '01, 473-478. MK.
-
(2001)
IJCAI '01
, pp. 473-478
-
-
Bertoli, P.1
Cimatti, A.2
Roveri, M.3
Traverso, P.4
-
3
-
-
0002207004
-
Discovering the hidden structure of complex dynamic systems
-
Boyen, X.; Friedman, N.; and Koller, D. 1999. Discovering the hidden structure of complex dynamic systems. In Proc. UAI '99.
-
(1999)
Proc. UAI '99
-
-
Boyen, X.1
Friedman, N.2
Koller, D.3
-
4
-
-
0013365496
-
Conformant planning via symbolic model checking
-
Cimatti, A., and Roveri, M. 2000. Conformant planning via symbolic model checking. JAIR 13:305-338.
-
(2000)
JAIR
, vol.13
, pp. 305-338
-
-
Cimatti, A.1
Roveri, M.2
-
5
-
-
2842560201
-
Strips: A new approach to the application of theorem proving to problem solving
-
Fikes, R., and Nilsson, N. J. 1971. Strips: A new approach to the application of theorem proving to problem solving. Anif. Intell.
-
(1971)
Anif. Intell
-
-
Fikes, R.1
Nilsson, N.J.2
-
7
-
-
0003780657
-
-
Technical report, Yale center for computational vision and control
-
Ghallab, M.; Howe, A.; Knoblock, C.; McDermott, D.; Ram, A.; Veloso, M.; Weld, D.; and Wilkins, D. 1998. PDDL - The Planning Domain Definition Language, version 1.2. Technical report, Yale center for computational vision and control.
-
(1998)
PDDL - The Planning Domain Definition Language, Version 1.2
-
-
Ghallab, M.1
Howe, A.2
Knoblock, C.3
McDermott, D.4
Ram, A.5
Veloso, M.6
Weld, D.7
Wilkins, D.8
-
8
-
-
85148686343
-
Learning by experimentation: Incremental refinement of incomplete planning domains
-
Gil, Y. 1994. Learning by experimentation: Incremental refinement of incomplete planning domains. In Proc. ICML-94.
-
(1994)
Proc. ICML-94
-
-
Gil, Y.1
-
9
-
-
0034852165
-
Chaff: Engineering an efficient SAT solver
-
Moskewicz, M. W.; Madigan, C. F.; Zhao, Y.; Zhang, L.; and Malik, S. 2001. Chaff: Engineering an Efficient SAT Solver. In Proceedings of the 38th Design Automation Conference (DAC'01).
-
(2001)
Proceedings of the 38th Design Automation Conference (DAC'01)
-
-
Moskewicz, M.W.1
Madigan, C.F.2
Zhao, Y.3
Zhang, L.4
Malik, S.5
-
11
-
-
34447128616
-
Learning action models from plan examples with incomplete knowledge
-
AAAI Press
-
Qiang Yang, K. W., and Jiang, Y. 2005. Learning action models from plan examples with incomplete knowledge. In Proc. ICAPS'05. AAAI Press.
-
(2005)
Proc. ICAPS'05
-
-
Yang, Q.1
W., K.2
Jiang, Y.3
-
13
-
-
78650622345
-
Learning partially observable action schemas
-
Shahaf, D., and Amir, E. 2006. Learning partially observable action schemas. In Proc. AAAI '06.
-
(2006)
Proc. AAAI '06
-
-
Shahaf, D.1
Amir, E.2
-
14
-
-
84969334117
-
Learning by observation and practice: An incremental approach for planning operator acquisition
-
MK
-
Wang, X. 1995. Learning by observation and practice: an incremental approach for planning operator acquisition. In Proc. ICML-95, 549-557. MK.
-
(1995)
Proc. ICML-95
, pp. 549-557
-
-
Wang, X.1
|