Author:
Pralet Cédric,Verfaillie Gérard
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Alur, R., Dill, D.: A Theory of Timed Automata. Journal of Theoretical Computer Science 126(2), 183–235 (1994)
2. Bacchus, F., Kabanza, F.: Planning for Temporally Extended Goals. Annals of Mathematics and Artificial Intelligence 22(1-2), 5–27 (1998)
3. Bacchus, F., Kabanza, F.: Using Temporal Logics to Express Search Control Knowledge for Planning. Artificial Intelligence 16, 123–191 (2000)
4. Baptiste, P., Pape, C.L., Nuijten, W.: Constraint-based Scheduling: Applying Constraint Programming to Scheduling Problems. Kluwer Academic Publishers (2001)
5. 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)