-
3
-
-
0026154176
-
Temporal constraint networks
-
Dechter, R., Meiri, I., & Pearl, J. (1991). Temporal constraint networks. Artificial Intelligence, 49: 61-94.
-
(1991)
Artificial Intelligence
, vol.49
, pp. 61-94
-
-
Dechter, R.1
Meiri, I.2
Pearl, J.3
-
5
-
-
2842560201
-
STRIPS: A new approach to the application of theorem proving to problem solving
-
Fikes, R. E., & Nilsson, N. J. (1971). STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2(3-4).
-
(1971)
Artificial Intelligence
, vol.2
, Issue.3-4
-
-
Fikes, R.E.1
Nilsson, N.J.2
-
6
-
-
0004027897
-
PDDL 2.1: An extension to PDDL for expressing temporal planning domains
-
University of Durham Computer Science Department
-
Fox, M., & Long, D. (2002). PDDL 2.1: an extension to PDDL for expressing temporal planning domains. Technical Report 2/02, University of Durham Computer Science Department.
-
(2002)
Technical Report
, vol.2
, Issue.2
-
-
Fox, M.1
Long, D.2
-
7
-
-
33750582457
-
On reformulating planning as dynamic constraint satisfaction
-
Choueiry, B., & Walsh, T., eds.
-
Frank, J., Jónsson, A. K., & Morris, P. H. (2000). On reformulating planning as dynamic constraint satisfaction. In Choueiry, B., & Walsh, T., eds., 4th International Symposium on Abstraction, Reformulation and Approximation.
-
(2000)
4th International Symposium on Abstraction, Reformulation and Approximation
-
-
Frank, J.1
Jónsson, A.K.2
Morris, P.H.3
-
12
-
-
84942944881
-
Planning in interplanetary space: Theory and practice
-
Jónsson, A. K., Morris, P. H., Muscettola, N., Rajan, K., & Smith, B. (2000). Planning in interplanetary space: theory and practice. In Proceedings of the Fifth International Conference on Artificial Intelligence Planning and Scheduling.
-
(2000)
Proceedings of the Fifth International Conference on Artificial Intelligence Planning and Scheduling
-
-
Jónsson, A.K.1
Morris, P.H.2
Muscettola, N.3
Rajan, K.4
Smith, B.5
-
14
-
-
0030352389
-
Pushing the envelope: Planning, propositional logic, and stochastic search
-
Kautz, H., & Selman, B. (1996). Pushing the envelope: planning, propositional logic, and stochastic search. In Proceedings of the 13th National Conference on Artificial Intelligence, pages 1194-1200.
-
(1996)
Proceedings of the 13th National Conference on Artificial Intelligence
, pp. 1194-1200
-
-
Kautz, H.1
Selman, B.2
-
15
-
-
0012670567
-
Algorithms for propagating resource constraints in AI planning and scheduling: Existing approaches and new results
-
Laborie, P. (2001). Algorithms for propagating resource constraints in AI planning and scheduling: existing approaches and new results. In Proceedings of the 6th European Conference on Planning.
-
(2001)
Proceedings of the 6th European Conference on Planning
-
-
Laborie, P.1
-
18
-
-
0033698818
-
The 1998 AI planning systems competition
-
McDermott, D. (2000). The 1998 AI planning systems competition. AI Magazine, 21(2).
-
(2000)
AI Magazine
, vol.21
, Issue.2
-
-
McDermott, D.1
-
19
-
-
0039310873
-
HSTS: Integrated planning and scheduling
-
Zweben, M., & Fox, M., eds. Morgan Kaufman
-
Muscettola, N. (1994). HSTS: integrated planning and scheduling. In Zweben, M., & Fox, M., eds., Intelligent Scheduling, pages 169-212. Morgan Kaufman.
-
(1994)
Intelligent Scheduling
, pp. 169-212
-
-
Muscettola, N.1
-
21
-
-
0142243340
-
-
Ph.D. thesis, University of Washington Department of Computer Science and Engineering
-
Penberthy, S. (1993). Planning with continuous change. Ph.D. thesis, University of Washington Department of Computer Science and Engineering.
-
(1993)
Planning with Continuous Change
-
-
Penberthy, S.1
-
23
-
-
0020750687
-
Planning in time: Windows and durations for activities and goals
-
Vere, S. (1983). Planning in time: windows and durations for activities and goals. Pattern Matching and Machine Intelligence, 5: 246-267.
-
(1983)
Pattern Matching and Machine Intelligence
, vol.5
, pp. 246-267
-
-
Vere, S.1
|