- Automated composition of Web services via planning in asynchronous domains.Piergiorgio Bertoli, Marco Pistore & Paolo Traverso - 2010 - Artificial Intelligence 174 (3-4):316-361.details
|
|
Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners.Alfonso E. Gerevini, Patrik Haslum, Derek Long, Alessandro Saetti & Yannis Dimopoulos - 2009 - Artificial Intelligence 173 (5-6):619-668.details
|
|
Intention is choice with commitment.Philip R. Cohen & Hector J. Levesque - 1990 - Artificial Intelligence 42 (2-3):213-261.details
|
|
Fast planning through planning graph analysis.Avrim L. Blum & Merrick L. Furst - 1997 - Artificial Intelligence 90 (1-2):281-300.details
|
|
A verification framework for agent programming with declarative goals.F. S. de Boer, K. V. Hindriks, W. van der Hoek & J. -J. Ch Meyer - 2007 - Journal of Applied Logic 5 (2):277-302.details
|
|
Automatic behavior composition synthesis.Giuseppe De Giacomo, Fabio Patrizi & Sebastian Sardiña - 2013 - Artificial Intelligence 196 (C):106-142.details
|
|
Plan reuse versus plan generation: a theoretical and empirical analysis.Bernhard Nebel & Jana Koehler - 1995 - Artificial Intelligence 76 (1-2):427-454.details
|
|
A new representation and associated algorithms for generalized planning.Siddharth Srivastava, Neil Immerman & Shlomo Zilberstein - 2011 - Artificial Intelligence 175 (2):615-647.details
|
|
The actorʼs view of automated planning and acting: A position paper.Malik Ghallab, Dana Nau & Paolo Traverso - 2014 - Artificial Intelligence 208 (C):1-17.details
|
|
ConGolog, a concurrent programming language based on the situation calculus.Giuseppe De Giacomo, Yves Lespérance & Hector J. Levesque - 2000 - Artificial Intelligence 121 (1-2):109-169.details
|
|
A heuristic search approach to planning with temporally extended preferences.Jorge A. Baier, Fahiem Bacchus & Sheila A. McIlraith - 2009 - Artificial Intelligence 173 (5-6):593-618.details
|
|
Using temporal logics to express search control knowledge for planning.Fahiem Bacchus & Froduald Kabanza - 2000 - Artificial Intelligence 116 (1-2):123-191.details
|
|