Publisher
Springer Science and Business Media LLC
Reference30 articles.
1. Bacchus, F. (2001). AIPS’00 planning competition. AI Magazine 22(3), 47–56. see also in: http://www.cs.toronto.edu/aips2000 .
2. Bacchus, F., & Kabanza, F. (2000). Using temporal logics to express search control knowledge for planning. Artificial Intelligence, 116 (1), 123–191.
3. Carbonell, J., Etzioni, O., Gil, Y., Joseph, R., Knoblock, C., Minton, S., Veloso, M. (1991). PRODIGY: an integrated architecture for planning and learning. ACM SIGART Bulletin, 2 (4), 51–55.
4. Cook, S.A., & Liu, Y. (2003). A complete axiomatization for blocks world. Journal of Logic and Computation, 13 (4), 581–594.
5. Doherty, P., & Kvarnstram, J. (2001). TALplanner: a temporal logic-based planner. AI Magazine, 22 (3), 95–102.