-
1
-
-
0033897011
-
Using temporal logics to express search control knowledge for planning
-
Bacchus, F., and Kabanza, F. 2000. Using temporal logics to express search control knowledge for planning. Artif. Intell. 116(1-2):123-191.
-
(2000)
Artif. Intell.
, vol.116
, Issue.1-2
, pp. 123-191
-
-
Bacchus, F.1
Kabanza, F.2
-
3
-
-
0001657540
-
Fast planning through planning graph analysis
-
Blum, A., and Furst, M. 1995. Fast planning through planning graph analysis. In Proc. IJCAI, 1636-1642.
-
(1995)
Proc. IJCAI
, pp. 1636-1642
-
-
Blum, A.1
Furst, M.2
-
5
-
-
77951543894
-
A robot task planer that merges symbolic and geometric reasoning
-
IOS Press
-
Cambon, S.; Gravot, F.; and Alami, R. 2004. A robot task planer that merges symbolic and geometric reasoning. In Proc. ECAI, 895-899. IOS Press.
-
(2004)
Proc. ECAI
, pp. 895-899
-
-
Cambon, S.1
Gravot, F.2
Alami, R.3
-
6
-
-
78349237089
-
Using the context-enhanced additive heuristic for temporal and numeric planning
-
Eyerich, P.; Mattmüller, R.; and Röger, G. 2009. Using the context-enhanced additive heuristic for temporal and numeric planning. In Proc. ICAPS.
-
(2009)
Proc. ICAPS
-
-
Eyerich, P.1
Mattmüller, R.2
Röger, G.3
-
7
-
-
84880879843
-
Identifying and managing combinatorial optimisation subproblems in planning
-
Fox, M., and Long, D. 2001. Identifying and managing combinatorial optimisation subproblems in planning. In Proc. IJCAI, 445-452.
-
(2001)
Proc. IJCAI
, pp. 445-452
-
-
Fox, M.1
Long, D.2
-
8
-
-
27444434099
-
PDDL2.1: An extension to PDDL for expressing temporal planning domains
-
Fox, M., and Long, D. 2003. PDDL 2.1: an extension to PDDL for expressing temporal planning domains. JAIR 20:61-124. (Pubitemid 41530519)
-
(2003)
Journal of Artificial Intelligence Research
, vol.20
, pp. 61-124
-
-
Fox, M.1
Long, D.2
-
9
-
-
58849131584
-
Unifying the causal graph and additive heuristics
-
Helmert, M., and Geffner, H. 2008. Unifying the causal graph and additive heuristics. In Proc. ICAPS, 140-147.
-
(2008)
Proc. ICAPS
, pp. 140-147
-
-
Helmert, M.1
Geffner, H.2
-
10
-
-
33749001469
-
The Fast Downward planning system
-
Helmert, M. 2006. The Fast Downward planning system. JAIR 26:191-246.
-
(2006)
JAIR
, vol.26
, pp. 191-246
-
-
Helmert, M.1
-
11
-
-
60549086221
-
Concise finite-domain representations for PDDL planning tasks
-
Helmert, M. 2009. Concise finite-domain representations for PDDL planning tasks. Artif. Intell. 173:503-535.
-
(2009)
Artif. Intell.
, vol.173
, pp. 503-535
-
-
Helmert, M.1
-
13
-
-
84929987619
-
Multiple-agent planning systems
-
Konolige, K., and Nilsson, N. J. 1980. Multiple-agent planning systems. In AAAI, 138-142.
-
(1980)
AAAI
, pp. 138-142
-
-
Konolige, K.1
Nilsson, N.J.2
-
14
-
-
0041526107
-
TALplanner: A temporal logic based forward chaining planner
-
Kvarnström, J., and Doherty, P. 2000. TALplanner: A temporal logic based forward chaining planner. Ann. Math. Artif. Intell. 30(1-4):119-169.
-
(2000)
Ann. Math. Artif. Intell.
, vol.30
, Issue.1-4
, pp. 119-169
-
-
Kvarnström, J.1
Doherty, P.2
-
15
-
-
0034156490
-
The three-dimensional bin packing problem
-
Martello, S.; Pisinger, D.; and Vigo, D. 2000. The three-dimensional bin packing problem. Oper. Res. 48:256-267.
-
(2000)
Oper. Res.
, vol.48
, pp. 256-267
-
-
Martello, S.1
Pisinger, D.2
Vigo, D.3
-
16
-
-
27444431878
-
Shop2: An HTN planning system
-
Nau, D. S.; Au, T.-C.; Ilghami, O.; Kuter, U.; Murdock, J. W.; Wau, D.; and Yaman, F. 2003. Shop2: An HTN planning system. JAIR 20:379-404.
-
(2003)
JAIR
, vol.20
, pp. 379-404
-
-
Nau, D.S.1
Au, T.-C.2
Ilghami, O.3
Kuter, U.4
Murdock, J.W.5
Wau, D.6
Yaman, F.7
-
18
-
-
0003958887
-
Scaling up planning by teasing out resource scheduling
-
Srivastava, B., and Kambhampati, S. 1999. Scaling up planning by teasing out resource scheduling. In Proc. ECP, 172-186.
-
(1999)
Proc. ECP
, pp. 172-186
-
-
Srivastava, B.1
Kambhampati, S.2
-
19
-
-
0001733633
-
Prolegomena to a theory of mechanized formal reasoning
-
Weyhrauch, R. W. 1980. Prolegomena to a theory of mechanized formal reasoning. Artif. Intell. 13(1-2):133-170.
-
(1980)
Artif. Intell.
, vol.13
, Issue.1-2
, pp. 133-170
-
-
Weyhrauch, R.W.1
|