M. Free, DROP (b-1, r-a) MOVE (r-z, r-a) PICK (b-2, r-a) PICK (b-1, r-a) DROP (b-2, r-a) DROP (b-1, r-a) MOVE (r-z, r-a) MOVE (r-a, r-z) PICK (b-2

G. .. Lgp, Checker : comparaison des temps de planification de FF, p.135

L. , E. Ff, and G. .. , Checker : rapport des temps de planification entre, p.136

G. .. Lgp, Loader : comparaison des temps de planification de FF, p.141

L. De, Loader : temps de planification normalisé, p.145

G. .. Lgp, Gripper : comparaison des temps de planification de FF, p.146

F. .. Et-de, Gripper : rapport des temps de planification de LGP, p.147

G. .. Lgp, Painter : comparaison des temps de planification de FF, p.154

L. , E. Ff, and G. .. , Painter : rapport des temps de planification entre, p.155

G. Lgp and G. , 164 8.30 BlocksWorld : comparaison des temps de planification de FF, LGP et GP . 165 8.31 BlocksWorld : rapport des temps de planification entre LGP, p.167

G. .. Lgp, Hanoi : comparaison des temps de planification de FF, p.168

L. , E. Ff, and G. .. , Hanoi :rapport des temps de planification entre, p.169

.. Gripper-cart and .. Painter, 181 A.2 Plan flexible pour, A.1 Plan flexible pour, p.182

.. Services-commé-eléments-de-composition, 13 2.1.2 Composition de services, p.17

I. Planification-sous and . .. Mdp-)., 32 3.2.1 Planification fondée sur modèle (MBP), p.38

.. Plan-d-'actions, 53 4.2.1 Sémantique dénotationnelle d'un plan, p.58

.. Opérateur-d-'entrelacement, 78 6.3.1 Définition de l'entrelacement, p.80

.. Opérateur-de-permutation, 80 6.4.1 Définition de la permutation, p.82

.. Principes-illustrés-sur-un-cas-d-'´-etude, 91 7.1.1 Exploitation du graphe de planification, p.97

.. Extraction-d-'un-plan-relâché, 109 7.3.1 Condition d'atteignabilité, p.110

.. Cas-d-'´-etude, .. Gripper-cart, and .. Painter, 143 8.2.1 Itération simple avec Gripper et Gripper, p.156

.. Opérateurs-de-séquence-entre-polyplans, 194 C.2.1 Lois algébriques

.. Opérateur-d-'alternative-entre-polyplans, 195 C.3.1 Lois algébriques

A. Ankolekar, M. Burstein, J. R. Hobbs, O. Lassila, D. L. Martin et al., DAML-S: Web Service Description for the Semantic Web, roceedings of The First International Semantic Web Conference (ISWC), 2002.
DOI : 10.1007/3-540-48005-6_27

A. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein et al., Business Process Execution Language for Web Services, 2003.

G. Alfonso and L. Derek, BNF Description of PDDL3.0, oct 2005, pp.52-99

F. James, P. J. Allen, and . Hayes, A common-sense theory of time, Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI), pp.528-531, 1985.

Z. [. Agre and . Marinova, An INFRAWEBS approach to dynamic composition of semantic web services, Cybernetics and Information Technologies (CTI), pp.45-61, 2007.

[. Anderson, D. E. Smith, and D. S. Weld, Conditional effects in graphplan, 1998.

]. J. Bae05 and . Baeten, A brief history of process algebra, Theor. Comput. Sci, vol.335, issue.2-3, pp.131-146, 2005.

[. Bolognesi and E. Brinksma, Introduction to the ISO specification language LOTOS, Computer Networks and ISDN Systems, vol.14, issue.1, pp.25-59, 1987.
DOI : 10.1016/0169-7552(87)90085-7

A. Botea, M. Enzenberger, M. Müller, and J. Schaeffer, Macro-ff : Improving ai planning with automatically learned macro-operators, Journal of Artificial Intelligence Research, vol.24, pp.581-621, 2005.

L. Avrim, M. L. Blum, and . Furst, Fast planning through planning graph analysis, Artificial Intelligence, vol.90, issue.30, pp.281-300, 1997.

J. Blythe, Decision-theoretic planning. AI Magazine, pp.45-53, 1999.

B. Bonet, Conformant plans and beyond: Principles and complexity, Artificial Intelligence, vol.174, issue.3-4, 2009.
DOI : 10.1016/j.artint.2009.11.001
URL : http://doi.org/10.1016/j.artint.2009.11.001

C. Boutilier and D. Poole, Computing optimal policies for partially observable decision processes using compact representations, AAAI/IAAI, pp.1168-1175

H. [. Bonet, H. Palacios, and . Geffner, Automatic derivation of memoryless policies and finite-state controllers using classical planners, ICAPS, 2009.

J. M. Bs93-]-christian, D. L. Bastien, and . Scapin, Preliminary findings on the effectiveness of ergonomic criteria for the evaluation of human-computer interfaces, INTERCHI Adjunct Proceedings, pp.187-188

+. Bvhh, S. Bechhofer, F. Van-harmelen, J. Hendler, I. Horrocks et al., OWL-S : Semantic markup for web services, p.14, 2004.

C. Calvary, J. Coutaz, D. Thevenin, Q. Limbourg, L. Bouillon et al., A Unifying Reference Framework for multi-target user interfaces, Interacting with Computers, vol.15, issue.3, pp.289-308, 2003.
DOI : 10.1016/S0953-5438(03)00010-9

A. Coles, M. Fox, and A. Smith, Online identification of useful macro-actions for planning, ICAPS, pp.97-104, 2007.

K. Stuart, A. Card, T. P. Newell, and . Moran, The Psychology of Human-Computer Interaction, L. Erlbaum Associates Inc, 1983.

G. Collins and L. Pryor, Achieving the functionality of filter conditions in a partial order planner, Proceedings of the tenth national conference on Artificial intelligence, AAAI'92, pp.375-380, 1992.

A. Cimatti, M. Pistore, M. Roveri, and P. Traverso, Weak, strong, and strong cyclic planning via symbolic model checking, Artificial Intelligence, vol.147, issue.1-2, pp.35-84, 2003.
DOI : 10.1016/S0004-3702(02)00374-0
URL : http://doi.org/10.1016/s0004-3702(02)00374-0

M. [. Cimatti, P. Roveri, and . Bertoli, Conformant planning via symbolic model checking and heuristic search, Artificial Intelligence, vol.159, issue.1-2, pp.127-206, 2004.
DOI : 10.1016/j.artint.2004.05.003
URL : http://doi.org/10.1016/j.artint.2004.05.003

G. De-giacomo, Y. Lespérance, and H. Levesque, ConGolog, a concurrent programming language based on the situation calculus, Artificial Intelligence, vol.121, issue.1-2, pp.109-169, 2000.
DOI : 10.1016/S0004-3702(00)00031-X

J. Max, R. D. Egenhofer, and . Franzosa, Point-set topological spacial relations, International Journal of Geographical Information Systems, vol.5, issue.2, pp.161-174, 1991.

E. Etzioni, S. Hanks, D. S. Weld, D. Draper, N. Lesh et al., An approach to planning with incomplete information, pp.115-125, 1992.

]. E. Eme90 and . Emerson, Temporal and modal logic Handbook of Theoretical Computer Science, volume Volume B : Formal Models and Sematics, pp.995-1072, 1990.

M. Fox and D. Long, The detection and exploitation of symmetry in planning problems, Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI '99, pp.956-961, 1999.

E. Richard, N. J. Fikes, and . Nilsson, Strips : A new approach to the application of theorem proving to problem solving, Artificial Intelligence, vol.24, issue.3, pp.189-208, 1971.

R. Guere and . Alami, A possibilistic planner that deals with non-determinism and contingency, Proceedings of the 16th international joint conference on Artificial intelligence - IJCAI'99, pp.996-1001, 1999.

[. Gabillon, Composition d'Interfaces Homme-Machine par planification automatique, pp.4-23
DOI : 10.3166/tsi.30.1146-1166
URL : https://hal.archives-ouvertes.fr/tel-00670347

P. Robert, M. S. Goldman, and . Boddy, Conditional linear planning, AIPS, pp.80-85, 1994.

P. Robert, M. S. Goldman, and . Boddy, Representing uncertainty in simple planners, pp.238-245, 1994.

P. Robert, M. S. Goldman, and . Boddy, Expressive planning and explicit knowledge, AIPS, pp.110-117, 1996.

R. P. Goldman, M. S. Boddy, and L. Pryor, Planning with observations and knowledge, AAAI-97 Workshop on Theories of Action, 1996.

[. Gazen and C. A. Knoblock, Combining the expressivity of UCPOP with the efficiency of Graphplan, Proceedings of the 4th European Conference on Planning : Recent Advances in AI Planning, ECP '97, pp.221-233, 1997.
DOI : 10.1007/3-540-63912-8_88

M. Ghallab, D. Nau, and P. Traverso, Automated Planning ? theory and practice, pp.36-47, 2004.

F. Giunchiglia and P. Traverso, Planning as Model Checking, ECP '99 : 5th European Conference on Planning, pp.1-20, 2000.
DOI : 10.1007/10720246_1

[. Hamadi and B. Benatallah, A petri net-based model for web service composition, CRPIT, vol.17, pp.191-200, 2003.

J. Hoffmann and R. I. Brafman, Conformant planning via heuristic forward search: A new approach, Artificial Intelligence, vol.170, issue.6-7, pp.6-7507, 2006.
DOI : 10.1016/j.artint.2006.01.003

J. Hoffmann, P. Bertoli, and M. Pistore, Web service composition as planning, revisited : In between background theories and initial state uncertainty, AAAI, pp.1013-1018, 2007.

[. Huang, J. Bardzell, and J. Terrel, Can your pet rabbit read your email ? A critical analysis of the Nabaztag Rabbit, Designing Pleasurable Products and Interfaces (DPPI)

[. Hu and G. D. Giacomo, Generalized planning : Synthesizing plans that work for multiple environments, IJCAI IJCAI/AAAI, pp.918-923

[. Harel, D. Kozen, and J. Tiuryn, Dynamic logic, Handbook of Philosophical Logic, pp.497-604, 1984.

Y. Hu and H. J. Levesque, Planning with loops : Some new results, ICAPS Workshop on Generalized Planning, 2009.

J. Hoffmann and B. Nebel, The ff planning system : fast plan generation through heuristic search, Journal of Artificial Intelligence Research, vol.14, issue.1, pp.253-302, 2001.

[. James, N. Dana, E. Kutluhan, and T. Reiko, Hierarchical task network planning : Formalization and analysis, pp.17-23

L. Karlsson, Conditional progressive planning under uncertainty, IJCAI, pp.431-438, 2001.

K. Kavantzas, T. Fletcher, D. Burdett, G. Ritzinger, Y. Lafon et al., Web Services Choreography Description Language (WSCDL). W3C candidate recommendation, W3C, 2005.

[. Klusch, A. Gerber, and M. Schmidt, Semantic web service composition planning with OWLS-XPlan, 1st International AAAI Fall Symposium on Agents and the Semantic Web, pp.19-20, 2005.
DOI : 10.1109/wi-iatw.2006.68

[. Kushmerick, S. Hanks, and D. S. Weld, An algorithm for probabilistic least-commitment planning

J. [. Luckham and . Buchanan, Automatic generation of programs containing conditional statements, 1st Conf. of the Society for AI and the Simulation of Behaviour (AISB 74), pp.102-126, 1974.

H. J. Levesque, Planning with loops, Proceedings of the 19th International Joint Conference on Artificial intelligence (IJCAI), IJCAI'05, pp.509-515, 2005.

L. J. Hector, R. Levesque, Y. Reiter, F. Lespérance, R. B. Lin et al., GOLOG : A logic programming language for dynamic domains, Journal of Logic Programming, vol.31, issue.1-3, pp.59-84, 1997.

C. Martin, Planification pour la composition dynamique de systèmes interactifs Master's thesis, pp.15-16, 2008.

[. Minton, J. Bresina, and M. Drummond, Commitment strategies in planning : a comparative analysis, Proceedings of the 12th international joint conference on Artificial intelligence of IJCAI'91, pp.259-265, 1991.

[. Medjahed, A. Bouguettaya, and A. K. Elmagarmid, Composing Web services on the Semantic Web, The VLDB Journal The International Journal on Very Large Data Bases, vol.12, issue.4, pp.333-351, 2003.
DOI : 10.1007/s00778-003-0101-5

V. Drew and . Mcdermott, Estimated-regression planning for interactions with web services, AIPS, pp.204-211, 2002.

P. [. Mccarthy and . Hayes, Some Philosophical Problems from the Standpoint of Artificial Intelligence, pp.26-45, 1987.
DOI : 10.1016/B978-0-934613-03-3.50033-7

[. Miguel, P. Jarvis, and Q. Shen, Flexible graphplan, Proceedings of the Fourteenth European Conference on Artificial Intelligence, pp.506-510, 2000.

A. David, D. Mcallester, and . Rosenblitt, Systematic nonlinear planning, AAAI, pp.634-639

S. Mcilraith and T. Son, Adapting Golog for composition of semantic web services, Proceedings of 8th International Conference on Principles of Knowledge Representation and Reasoning (KR'2002), pp.482-496, 2002.

S. Dana, T. Nau, O. Au, U. Ilghami, J. W. Kuter et al., Shop2 : An htn planning system, Journal of Artificial Intelligence Research (JAIR), vol.20, pp.379-404, 2003.

A. Donald, S. W. Norman, and . Draper, User Centered System Design : New Perspectives on Human-Computer Interaction, 1986.

M. A. Newton, J. Levine, M. Fox, and D. Long, Learning macro-actions for arbitrary planner and domains, Proceedings of the International Conference on Automated Planning and Scheduling, 2007.

S. Narayanan and S. A. Mcilraith, Simulation, verification and automated composition of web services, Proceedings of the eleventh international conference on World Wide Web , WWW '02, pp.77-88, 2002.
DOI : 10.1145/511446.511457

M. Pistore, F. Barbon, P. Bertoli, D. Shaparau, and P. Traverso, Planning and Monitoring Web Service Composition, Lecture Notes in Computer Science, vol.3192, pp.106-115, 2004.
DOI : 10.1007/978-3-540-30106-6_11

L. Pryor and G. Collins, Planning for contingencies : a decision-based approach, Journal of Artificial Intelligence Research, vol.4, issue.1, pp.287-339, 1996.

P. D. Edwin and . Pednault, Adl : Exploring the middle ground between strips and the situation calculus, KR, pp.324-332, 1989.

[. Peer, A PDDL Based Tool for Automatic Web Service Composition, Lecture Notes in Computer Science, vol.3208, pp.149-163, 2004.
DOI : 10.1007/978-3-540-30122-6_11

J. Peer, A POP-Based Replanning Agent for Automatic Web Service Composition, Lecture Notes in Computer Science, vol.3532, pp.47-61, 2005.
DOI : 10.1007/11431053_4

[. Peer, Web service composition as ai planning -a survey, 2005.

[. Petri, Communication with Automata Griffiss Air Force Base, English translation from " Kommunikation mit Automaten " . (Cité en, p.16, 1966.

D. Pellier and H. Fiorino, Un mod??le de composition automatique et distribu??e de services web par planification, Revue d'intelligence artificielle, vol.23, issue.1, pp.13-46, 2009.
DOI : 10.3166/ria.23.13-46

G. D. Plotkin, A structural approach to operational semantics, Cité en, pp.60-6117, 2004.

F. Paternò, C. Mancini, and S. Meniconi, ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models, INTERACT, volume 96 of IFIP Conference Proceedings, pp.362-369, 1997.
DOI : 10.1007/978-0-387-35175-9_58

A. Mark, D. E. Peot, and . Smith, Conditional nonlinear planning, Proceedings of the first international conference on Artificial intelligence planning systems, pp.189-197, 1992.

M. Pistore and P. Traverso, Planning as model checking for extended goals in non-deterministic domains, IJCAI, pp.479-486, 2001.

M. Pistore, P. Traverso, and P. Bertoli, Automated composition of web services by planning in asynchronous domains, International Conference on Automated Planning & Scheduling (ICAPS'05), pp.2-11, 2005.

[. Penberthy and D. S. Weld, Ucpop : A sound, complete, partial order planner for ADL, Proceedings of the Third International Conference of Principles of Knowledge Representation and Reasoning (KR), pp.103-114, 1992.

P. Reignier, Intelligence Ambiante Pro-Active : de la SpécificationSpécificationà l'Implémentation . HabilitationàHabilitationà diriger les recherches

J. Stuart, P. Russell, and . Norvig, Artificial Intelligence : A Modern Approach. Pearson Education, 2003.

J. Rao and X. Su, A Survey of Automated Web Service Composition Methods, Lecture Notes in Computer Science, vol.3387, pp.43-54, 2004.
DOI : 10.1007/978-3-540-30581-1_5

W. [. Ramadge and . Wonham, The control of discrete event systems, Proceedings of the IEEE, pp.81-98, 1989.
DOI : 10.1109/5.21072

. Sac75, D. Earl, and . Sacerdoti, The nonlinear nature of plans, Proceedings of the 4th international joint conference on Artificial intelligence IJCAI'75, pp.206-214, 1975.

[. Smith, J. Frank, and A. Jónsson, Bridging the gap between planning and scheduling, The Knowledge Engineering Review, vol.15, issue.1, pp.47-83, 2000.
DOI : 10.1017/S0269888900001089

J. A. Shp03-]-evren-sirin, B. Hendler, and . Parsia, Semi-automatic composition of web services using semantic descriptions, Web Services : Modeling, Architecture and Infrastructure (WSMAI), pp.17-24, 2003.

[. Srivastava, N. Immerman, and S. Zilberstein, Learning generalized plans using abstract counting, AAAI'08 : Proceedings of the 23rd national conference on Artificial intelligence, pp.991-997, 2008.

[. Srivastava, N. Immerman, and S. Zilberstein, A new representation and associated algorithms for generalized planning, Artificial Intelligence, vol.175, issue.2, pp.36-85, 2010.
DOI : 10.1016/j.artint.2010.10.006

K. P. Sycara, M. Paolucci, A. Ankolekar, and N. Srinivasan, Automated discovery, interaction and composition of Semantic Web services, Web Semantics: Science, Services and Agents on the World Wide Web, vol.1, issue.1, pp.27-46, 2003.
DOI : 10.1016/j.websem.2003.07.002

B. Spw-+-04-]-evren-sirin, D. Parsia, J. A. Wu, D. S. Hendler, and . Nau, HTN planning for Web Service composition using SHOP2, Web Semantics: Science, Services and Agents on the World Wide Web, vol.1, issue.4, pp.377-396, 2004.
DOI : 10.1016/j.websem.2004.06.005

S. Schwarz and T. R. Roth-berghofer, Towards goal elicitation by user observation, Proceedings of the LLWA 2003, pp.224-228, 2003.

D. Scott and C. Strachey, Toward a mathematical semantics for computer languages, Proceedings of the Symposium on Computers and Automata, volume XXI, pp.19-46, 1971.

[. Srivastava and N. Immerman, Challenges in finding generalized plans, ICAPS Workshop on Generalized Planning, 2009.

E. David, D. S. Smith, and . Weld, Conformant graphplanInnovative applications of artificial intelligence, AAAI '98/IAAI '98, Proceedings of the fifteenth national/tenth conference on Artificial intelligence, pp.889-896, 1998.

A. Tate, Generating project networks, Proceedings of the 5th international joint conference on Artificial intelligence, pp.888-893, 1977.

P. Traverso and M. Pistore, Automated Composition of Semantic Web Services into Executable Processes, Third International Semantic Web Conference, pp.380-394, 2004.
DOI : 10.1007/978-3-540-30475-3_27

[. Group, Web services glossary. Voir www.w3.org

J. Waldner, Nano-informatique et intelligence ambiante : inventer l'ordinateur du XXIesì ecle, 2007.

]. D. War76 and . Warren, Generating conditional plans and programs, Proceedings of the AISB Summer Conference, pp.344-354, 1976.

D. S. Weld, C. R. Anderson, and D. E. Smith, Extending graphplan to handle uncertainty and sensing actions, Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence, AAAI '98/IAAI '98, pp.897-904, 1998.

[. Weiser, century, ACM SIGMOBILE Mobile Computing and Communications Review, vol.3, issue.3, pp.3-11, 1999.
DOI : 10.1145/329124.329126

S. Daniel and . Weld, An introduction to least commitment planning. AI Magazine, pp.27-61, 1994.

W. Wu, B. Parsia, E. Sirin, J. A. Hendler, and D. S. Nau, Automating DAML-S Web Services Composition Using SHOP2, International Semantic Web Conference, pp.195-210
DOI : 10.1007/978-3-540-39718-2_13
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1033.8967

E. Winner and M. Veloso, Loopdistill : Learning domain-specific planners from example plans, ICAPS Workshop on Planning and Scheduling, 2007.

L. S. Hakan, M. L. Younes, and . Littman, Ppddl1.0 : An extension to pddl for expressing planning domains with probabilistic effects, 2004.