-
2
-
-
0002489296
-
UCPOP: A sound, complete, partial order planner for ADL
-
Morgan Kaufmann
-
J. S. Penberthy and D. S. Weld, " UCPOP: A sound, complete, partial order planner for ADL," in Proceedings of the third International Conference on Knowledge Representation and Reasoning. Morgan Kaufmann, 1992, pp. 103-114.
-
(1992)
Proceedings of the Third International Conference on Knowledge Representation and Reasoning
, pp. 103-114
-
-
Penberthy, J.S.1
Weld, D.S.2
-
3
-
-
84866456564
-
Monitorin g the execution of partial-order plans via regression
-
AAAI Press
-
C. Muise, S. A. McIlraith, and J. C. Beck, "Monitorin g the execution of partial-order plans via regression," in Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011). AAAI Press, 2011, pp. 1975-1982.
-
(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
-
4
-
-
84866454691
-
Making hybrid plans more clear to human users- A formal approach for generating sound explanations
-
AAAI Press
-
B. Seegebarth, F. Muller, B. Schattenberg, and S. Biundo, " 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). AAAI Press, 6 2012, pp. 225-233.
-
(2012)
Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012)
, vol.6
, pp. 225-233
-
-
Seegebarth, B.1
Muller, F.2
Schattenberg, B.3
Biundo, S.4
-
5
-
-
78650590331
-
Landmarks, critical paths and abstractions: Whats the difference anyway
-
M. Helmert and C. Domshlak, " Landmarks, critical paths and abstractions: Whats the difference anyway" in Proceedings of the 19th International C onference on Automated Planning and Scheduling (ICAPS 2009), vol. 9, 2009, pp. 162-169.
-
(2009)
Proceedings of the 19th International C Onference on Automated Planning and Scheduling (ICAPS 2009)
, vol.9
, pp. 162-169
-
-
Helmert, M.1
Domshlak, C.2
-
6
-
-
0028498153
-
The computational complexity of propositional STRIPS planning
-
T. Bylander, "The computational complexity of propositional STRIPS planning," Artificial Intelligence, vol. 94, no. 1-2, pp. 165-204, 1994.
-
(1994)
Artificial Intelligence
, vol.94
, Issue.1-2
, pp. 165-204
-
-
Bylander, T.1
-
7
-
-
0036377352
-
The FF planning system: Fast plan generation through heuristic search
-
May
-
J. Hoffmann and B. Nebel, " The FF planning system: Fast plan generation through heuristic search," Journal of Artificial Intelligence Research ( JAIR), vol. 14, pp. 253-302, May 2001.
-
(2001)
Journal of Artificial Intelligence Research ( JAIR)
, vol.14
, pp. 253-302
-
-
Hoffmann, J.1
Nebel, B.2
-
8
-
-
0031074857
-
Fast planning through planning graph analysis
-
A. L. Blum and M. L. Furst, " Fast planning through planning graph analysis," Artificial Intelligence, vol. 90, pp. 281-300, 1997.
-
(1997)
Artificial Intelligence
, vol.90
, pp. 281-300
-
-
Blum, A.L.1
Furst, M.L.2
-
11
-
-
84885067860
-
Using state-based planning heuristics for partial-order causal-link planning
-
P. Bercher, T. Geier, and S. Biundo, " Using state-based planning heuristics for partial-order causal-link planning," in Advances in Artificial Intelligence, Proceedings of the 36nd German Conference on Artificial Intelligence (KI 2013), 2013, pp. 1-12.
-
(2013)
Advances in Artificial Intelligence, Proceedings of the 36nd German Conference on Artificial Intelligence (KI 2013)
, pp. 1-12
-
-
Bercher, P.1
Geier, T.2
Biundo, S.3
-
12
-
-
2842560201
-
STRIPS: A new approach to the application of theorem proving to problem solving
-
R. E. Fikes and N. J. Nilsson, " STRIPS: A new approach to the application of theorem proving to problem solving," Artificial Intelligence, vol. 2, pp. 189-208, 1971.
-
(1971)
Artificial Intelligence
, vol.2
, pp. 189-208
-
-
Fikes, R.E.1
Nilsson, N.J.2
-
14
-
-
0028396495
-
On the computational complexity of temporal projection, planning, and plan validation
-
B. Nebel and C. Backstrom, " On the computational complexity of temporal projection, planning, and plan validation," Artificial Intelligence, vol. 66, no. 1, pp. 125-160, 1994.
-
(1994)
Artificial Intelligence
, vol.66
, Issue.1
, pp. 125-160
-
-
Nebel, B.1
Backstrom, C.2
-
15
-
-
0013157009
-
Counting linear extensions
-
[Online]. Available
-
G. Brightwell and P. Winkler, " Counting linear extensions," Order, vol. 8, no. 3, pp. 225-242, 1991.[Online]. Available: Http://dx.doi.org/10.1007/BF00383444
-
(1991)
Order
, vol.8
, Issue.3
, pp. 225-242
-
-
Brightwell, G.1
Winkler, P.2
|