Information Technology Reference
In-Depth Information
10. Weld, D.S.: An Introduction to Least Commitment Planning. AI Magazine 15(4), 27-61
(1994)
11. Blum, A., Furst, M.L.: Fast Planning Through Planning Graph Analysis. Artificial Intelli-
gence 90, 281-300 (1997)
12. Bonet, B., Geffner, H.: Planning as heuristic search. Artificial Intelligence 129, 5-33 (2001)
13. Muscettola, N.: HSTS: Integrating Planning and Scheduling. In: Zweben, M., Fox, M.S.
(eds.) Intelligent Scheduling. Morgan Kaufmann (1994)
14. Allen, J.F.: Maintaining Knowledge about Temporal Intervals. Commun. ACM 26(11),
832-843 (1983)
15. Bernardini, S., Smith, D.: Developing domain-independent search control for E
UROPA
2. In:
Proceedings of the Workshop on Heuristics for Domain-independent Planning at ICAPS
2007 (2007)
16. Dechter, R.: Constraint Processing. Morgan Kaufmann (2003)
17. Een, N., S orensson, N.: An Extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.)
SAT 2003. LNCS, vol. 2919, pp. 502-518. Springer, Heidelberg (2004)
18. Di Rosa, E., Giunchiglia, E., Maratea, M.: Solving Satisfiability Problems with Preferences.
Constraints 15(4), 485-515 (2010)
19. Sebastiani, R.: Lazy Satisability Modulo Theories. JSAT 3(3-4), 141-224 (2007)
20. Ceballos, A., Bensalem, S., Cesta, A., de Silva, L., Fratini, S., Ingrand, F., Ocon, J., Orlan-
dini, A., Py, F., Rajan, K., Rasconi, R., van Winnendael, M.: A Goal-oriented Autonomous
Controller for Space Exploration. In: Proc. 11th Symposium on Advanced Space Technolo-
gies in Robotics and Automation, ASTRA 2011 (2011)
