Slice encoding for constraint-based planning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5732 LNCS, Issue , 2009, Pages 669-683

  Pralet, Cédric ^a   Verfaillie, Gérard ^a  

^a ONERA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT NETWORKS; CONSTRAINT-BASED;

COMPUTER OPERATING PROCEDURES; COMPUTER PROGRAMMING; CONSTRAINT THEORY;

ENCODING (SYMBOLS);

EID: 70350430724     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04244-7_52     Document Type: Conference Paper

References (13)

1. Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kaufmann, San Francisco (2004)
2. Kautz, H., Selman, B.: Planning as Satisfiability. In: Proc. of the 10th European Conference on Artificial Intelligence (ECAI 1992), Vienna, Austria, pp. 359-363 (1992)
3. van Beek, P., Chen, X.: CPlan: A Constraint Programming Approach to Planning. In: Proc. of the 16th National Conference on Artificial Intelligence (AAAI 1999), Orlando, FL, USA, pp. 585-590 (1999)
4. Do, M., Kambhampati, S.: Planning as Constraint Satisfaction: Solving the Planning-Graph by Compiling it into CSP. Artificial Intelligence 132(2), 151-182 (2001)
5. Miguel, I., Shen, Q., Jarvis, P.: Efficient Flexible Planning via Dynamic Flexible Constraint Satisfaction. Engineering Applications of Artificial Intelligence 14(3), 301-327 (2001)
6. Lopez, A., Bacchus, F.: Generalizing GraphPlan by Formulating Planning as a CSP. In: Proc. of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), Acapulco, Mexico, pp. 954-960 (2003)
7. Verfaillie, G., Pralet, C., Lemaître, M.: Constraint-based Modeling of Discrete Event Dynamic Systems. Journal of Intelligent Manufacturing (2008) (published online)
8. Pralet, C., Verfaillie, G.: Using Constraint Networks on Timelines to Model and Solve Planning and Scheduling Problems. In: Proc. of the 18th International Conference on Automated Planning and Scheduling (ICAPS 2008), Sydney, Australia, pp. 272-279 (2008)
9. Rossi, R., van Beek, P., Walsh, T. (eds.): Handbook of Constraint Programming. Elsevier, Amsterdam (2006)
10. Mittal, S., Falkenhainer, B.: Dynamic Constraint Satisfaction Problems. In: Proc. of the 8th National Conference on Artificial Intelligence (AAAI 1990), Boston, MA, USA, pp. 25-32 (1990)
11. Fox, M., Long, D.: PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains. Journal of Artificial Intelligence Research 20, 61-124 (2003)
12. Frank, J., Jónsson, A.: Constraint-Based Attribute and Interval Planning. Constraints 8(4), 339-364 (2003)
13. Pralet, C., Verfaillie, G.: Forward Constraint-based Algorithms for Anytime Planning. In: Proc. of the 19th International Conference on Automated Planning and Scheduling (ICAPS 2009), Thessaloniki, Greece (2009)