-
1
-
-
0033897011
-
Using temporal logics to express search control knowledge for planning
-
DOI 10.1016/S0004-3702(99)00071-5
-
Bacchus, F., and Kabanza, F. 2000. Using Temporal Logics to Express Search Control Knowledge for Planning. Artificial Intelligence 16:123-191. (Pubitemid 30560298)
-
(2000)
Artificial Intelligence
, vol.116
, Issue.1-2
, pp. 123-191
-
-
Bacchus, F.1
Kabanza, F.2
-
2
-
-
85134632544
-
Solving Planning-Graph by Compiling it into CSP
-
Do, M., and Kambhampati, S. 2000. Solving Planning-Graph by Compiling it into CSP. In Proc. of AIPS-00, 82-91.
-
(2000)
Proc. of AIPS-00
, pp. 82-91
-
-
Do, M.1
Kambhampati, S.2
-
3
-
-
0142185122
-
Constraint-Based Attribute and Interval Planning
-
Frank, J., and Jónsson, A. 2003. Constraint-Based Attribute and Interval Planning. Constraints 8(4):339-364.
-
(2003)
Constraints
, vol.8
, Issue.4
, pp. 339-364
-
-
Frank, J.1
Jónsson, A.2
-
5
-
-
0036377352
-
The FF planning system: Fast plan generation through heuristic search
-
Hoffmann, J., and Nebel, B. 2001. The FF planning system: Fast plan generation through heuristic search. Journal of Artificial Intelligence Research 14:253-302. (Pubitemid 33738066)
-
(2001)
Journal of Artificial Intelligence Research
, vol.14
, pp. 263-312
-
-
Hoffmann, J.1
Nebel, B.2
-
7
-
-
0041526107
-
TALplanner: A temporal logic based forward chaining planner
-
DOI 10.1023/A:1016619613658, TEMPORAL REPRESENTATION AND REASONING
-
Kvarnström, J., and Doherty, P. 2001. TALplanner: A Temporal Logic Based Forward Chaining Planner. Annals of Mathematics and Artificial Intelligence 30:119-169. (Pubitemid 33282722)
-
(2000)
Annals of Mathematics and Artificial Intelligence
, vol.30
, Issue.1-4
, pp. 119-170
-
-
Kvarnstrom, J.1
Doherty, P.2
-
8
-
-
27444431878
-
SHOP2: An HTN planning system
-
Nau. D.; Au, T.; Ilghami, O.; Kuter, U.; Murdock, W.; Wu, D.; and Yaman, F. 2003. SHOP2: An HTN planning system. Journal of Artificial Intelligence Research 20:379-404.
-
(2003)
Journal of Artificial Intelligence Research
, vol.20
, pp. 379-404
-
-
Nau, D.1
Au, T.2
Ilghami, O.3
Kuter, U.4
Murdock, W.5
Wu, D.6
Yaman, F.7
-
9
-
-
58849100493
-
Using Constraint Networks on Timelines to Model and Solve Planning and Scheduling Problems
-
Pralet, C., and Verfaillie, G. 2008. Using Constraint Networks on Timelines to Model and Solve Planning and Scheduling Problems. In Proc. of ICAPS-08, 272-279.
-
(2008)
Proc. of ICAPS-08
, pp. 272-279
-
-
Pralet, C.1
Verfaillie, G.2
-
12
-
-
0032596455
-
CPlan: A Constraint Programming Approach to Planning
-
van Beek, P., and Chen, X. 1999. CPlan: A Constraint Programming Approach to Planning. In Proc. of AAAI-99, 585-590.
-
(1999)
Proc. of AAAI-99
, pp. 585-590
-
-
Van Beek, P.1
Chen, X.2
-
13
-
-
77958609871
-
Constraint-based Modeling of Discrete Event Dynamic Systems
-
Published online
-
Verfaillie, G.; Pralet, C.; and Lemaître, M. 2008. Constraint-based Modeling of Discrete Event Dynamic Systems. Journal of Intelligent Manufacturing, Special Issue on "Planning, Scheduling, and Constraint Satisfaction". Published online.
-
(2008)
Journal of Intelligent Manufacturing, Special Issue on "Planning, Scheduling, and Constraint Satisfaction"
-
-
Verfaillie, G.1
Pralet, C.2
Lemaître, M.3
-
14
-
-
0030230721
-
Using anytime algorithms in intelligent systems
-
Zilberstein, S. 1996. Using Anytime Algorithms in Intelligent Systems. AI Magazine 17(3):73-83. (Pubitemid 126669856)
-
(1996)
AI Magazine
, vol.17
, Issue.3
, pp. 73-83
-
-
Zilberstein, S.1
|