-
2
-
-
0031074857
-
Fast planning through planning graph analysis
-
Blum, A.L., Furst, M.L.: Fast planning through planning graph analysis. Artificial Intelligence 90, 281-300 (1997)
-
(1997)
Artificial Intelligence
, vol.90
, pp. 281-300
-
-
Blum, A.L.1
Furst, M.L.2
-
3
-
-
78650587526
-
Forward-chaining partial-order planning
-
AAAI Press
-
Coles, A., Coles, A., Fox, M., Long, D.: Forward-chaining partial-order planning. In: Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS 2010), pp. 42-49. AAAI Press (2010)
-
(2010)
Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS 2010)
, pp. 42-49
-
-
Coles, A.1
Coles, A.2
Fox, M.3
Long, D.4
-
4
-
-
33745772398
-
Directed model checking with distancepreserving abstractions
-
Valmari, A. (ed.) Springer, Heidelberg
-
Dräger, K., Finkbeiner, B., Podelski, A.: Directed model checking with distancepreserving abstractions. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol. 3925, pp. 19-34. Springer, Heidelberg (2006)
-
(2006)
SPIN. 2006 LNCS
, vol.3925
, pp. 19-34
-
-
Dräger, K.1
Finkbeiner, B.2
Podelski, A.3
-
5
-
-
2842560201
-
STRIPS: A new approach to the application of theorem proving to problem solving
-
Fikes, R.E., Nilsson, N.J.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, 189-208 (1971)
-
(1971)
Artificial Intelligence
, vol.2
, pp. 189-208
-
-
Fikes, R.E.1
Nilsson, N.J.2
-
8
-
-
78650590331
-
Landmarks, critical paths and abstractions: Whats the difference anyway?
-
Helmert, M., Domshlak, C.: Landmarks, critical paths and abstractions: Whats the difference anyway? In: Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS 2009), vol. 9, pp. 162-169 (2009)
-
(2009)
Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS 2009)
, vol.9
, pp. 162-169
-
-
Helmert, M.1
Domshlak, C.2
-
9
-
-
52649133190
-
Flexible abstraction heuristics for optimal sequential planning
-
Helmert, M., Haslum, P., Hoffmann, J.: Flexible abstraction heuristics for optimal sequential planning. In: Proceedings of the 17th International Conference on Automated Planning and Scheduling (ICAPS 2007), pp. 176-183 (2007)
-
(2007)
Proceedings of the 17th International Conference on Automated Planning and Scheduling (ICAPS 2007)
, pp. 176-183
-
-
Helmert, M.1
Haslum, P.2
Hoffmann, J.3
-
12
-
-
11544363000
-
Refinement planning as a unifying framework for plan synthesis
-
Kambhampati, S.: Refinement planning as a unifying framework for plan synthesis. AI Magazine 18(2), 67-98 (1997)
-
(1997)
AI Magazine
, vol.18
, Issue.2
, pp. 67-98
-
-
Kambhampati, S.1
-
14
-
-
84866456564
-
Monitoring the execution of partial-order plans via regression
-
AAAI Press
-
Muise, C., McIlraith, S.A., Beck, J.C.: Monitoring the execution of partial-order plans via regression. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 1975-1982. AAAI Press (2011)
-
(2011)
Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011)
, pp. 1975-1982
-
-
Muise, C.1
McIlraith, S.A.2
Beck, J.C.3
-
15
-
-
0028396495
-
On the computational complexity of temporal projection, planning, and plan validation
-
Nebel, B., Bäckström, C.: On the computational complexity of temporal projection, planning, and plan validation. Artificial Intelligence 66(1), 125-160 (1994)
-
(1994)
Artificial Intelligence
, vol.66
, Issue.1
, pp. 125-160
-
-
Nebel, B.1
Bäckström, C.2
-
17
-
-
0002489296
-
UCPOP: A sound, complete, partial order planner for ADL
-
Morgan Kaufmann
-
Penberthy, J.S., Weld, D.S.: UCPOP: A sound, complete, partial order planner for ADL. In: Proceedings of the third International Conference on Knowledge Representation and Reasoning, pp. 103-114. Morgan Kaufmann (1992)
-
(1992)
Proceedings of the Third International Conference on Knowledge Representation and Reasoning
, pp. 103-114
-
-
Penberthy, J.S.1
Weld, D.S.2
-
18
-
-
77958592482
-
Plan recognition as planning
-
Boutilier, C. (ed.), AAAI Press July
-
Raḿrez, M., Geffner, H.: Plan recognition as planning. In: Boutilier, C. (ed.) Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 1778-1783. AAAI Press (July 2009)
-
(2009)
Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009)
, pp. 1778-1783
-
-
Raḿrez, M.1
Geffner, H.2
-
19
-
-
84866454691
-
Making hybrid plans more clear to human users a formal approach for generating sound explanations
-
AAAI Press, June
-
Seegebarth, B., Müller, F., Schattenberg, B., Biundo, S.: Making hybrid plans more clear to human users-a formal approach for generating sound explanations. In: Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012), pp. 225-233. AAAI Press (June 2012)
-
(2012)
Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012)
, pp. 225-233
-
-
Seegebarth, B.1
Müller, F.2
Schattenberg, B.3
Biundo, S.4
-
20
-
-
31144445319
-
Branching and pruning: An optimal temporal POCL planner based on constraint programming
-
Vidal, V., Geffner, H.: Branching and pruning: An optimal temporal POCL planner based on constraint programming. Artificial Intelligence 170(3), 298-335 (2006)
-
(2006)
Artificial Intelligence
, vol.170
, Issue.3
, pp. 298-335
-
-
Vidal, V.1
Geffner, H.2
-
21
-
-
79960128513
-
Systematic nonlinear planning: A commentary
-
Weld, D.S.: Systematic nonlinear planning: A commentary. AI Magazine 32(1), 101-103 (2011)
-
(2011)
AI Magazine
, vol.32
, Issue.1
, pp. 101-103
-
-
Weld, D.S.1
|