A. Ankolekar, DAML-S: Web Service Description for the Semantic Web, ISWC, 2002.
DOI : 10.1007/3-540-48005-6_27

V. Agarwal, G. Chafle, K. Dasgupta, N. Karnik, A. Kumar et al., Synthy: A system for end to end composition of web services, Web Semantics: Science, Services and Agents on the World Wide Web, vol.3, issue.4, 2005.
DOI : 10.1016/j.websem.2005.09.002

R. Akkiraju, B. Srivastava, A. Ivan, R. Goodwin, and T. Syeda-mahmood, SEMAPLAN: Combining Planning with Semantic Matching to Achieve Web Service Composition, 2006 IEEE International Conference on Web Services (ICWS'06), 2006.
DOI : 10.1109/ICWS.2006.119

J. L. Ambite and D. Kapoor, Argos: a framework for automatically generating data processing workflows, Proc. of the 8th annual international conference on Digital government research (dg.o'07), 2007.

M. Arenas, L. Bertossi, and J. Chomicki, Specifying and Querying Database Repairs using Logic Programs with Exceptions, Proc. of the 4th International Conference on Flexible Query Answering Systems, pp.27-41, 2000.
DOI : 10.1007/978-3-7908-1834-5_3

A. Project and A. , Supporting the Composition of Distributed Business Processes http

F. Baader, D. Calvanese, D. Mcguinness, D. Nardi, and P. Patel-schneider, The Description Logic Handbook, 2003.
DOI : 10.1017/CBO9780511711787

C. Baral, Knowledge Representation, Reasoning and Declarative Problem Solving, 2003.
DOI : 10.1017/CBO9780511543357

P. Bertoli, J. Hoffmann, F. Lecue, and M. Pistore, Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code, IEEE International Conference on Web Services (ICWS 2007), 2007.
DOI : 10.1109/ICWS.2007.111

P. Bertoli, R. Kazhamiakin, M. Paolucci, M. Pistore, H. Raik et al., Control Flow Requirements for Automated Service Composition, 2009 IEEE International Conference on Web Services, 2009.
DOI : 10.1109/ICWS.2009.31

P. Bertoli, M. Pistore, and P. Traverso, Automated composition of Web services via planning in asynchronous domains, Artificial Intelligence, vol.174, issue.3-4, pp.316-361, 2010.
DOI : 10.1016/j.artint.2009.12.002

S. Biundo, R. Aylett, M. Beetz, D. Borrajo, A. Cesta et al., PLANET Technological Roadmap on AI Planning and Scheduling, 2003.

D. Calvanese, G. D. Giacomo, D. Lembo, M. Lenzerini, and R. Rosati, Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family, Journal of Automated Reasoning, vol.104, issue.1,2, pp.385-429, 2007.
DOI : 10.1007/s10817-007-9078-x

A. Cimatti, F. Giunchiglia, E. Giunchiglia, and P. Traverso, Planning via model checking: A decision procedure for AR, Proc. of the 4th European Conference on Planning, pp.130-142, 1997.
DOI : 10.1007/3-540-63912-8_81

A. Cimatti, F. Giunchiglia, E. Giunchiglia, and P. Traverso, Planning as model checking, Proc. of ECP, pp.1-20, 1999.

A. Cimatti, M. Roveri, and P. 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

T. O. Coalition, OWL-S: Semantic Markup for Web Services, 2003.

I. Constantinescu, B. Faltings, and W. Binder, Large scale, type-compatible service composition, Proceedings. IEEE International Conference on Web Services, 2004., pp.506-513, 2004.
DOI : 10.1109/ICWS.2004.1314776

E. Dantsin, T. Eiter, G. Gottlob, and A. Voronkov, Complexity and expressive power of logic programming, ACM Computing Surveys, vol.33, issue.3, pp.374-425, 2001.
DOI : 10.1145/502807.502810

J. De-bruijn and S. Heymans, A Semantic Framework for Language Layering in WSML, Proceedings of the First International Conference on Web Reasoning and Rule Systems, pp.103-117, 2007.
DOI : 10.1007/978-3-540-72982-2_8

T. Eiter, W. Faber, N. Leone, and G. Pfeifer, The Diagnosis Frontend of the dlv System, pp.99-111, 1999.

T. Eiter, W. Faber, N. Leone, G. Pfeifer, and A. Polleres, A logic programming approach to knowledge-state planning, II: The DLVK system, Artificial Intelligence, vol.144, issue.1-2, pp.157-211, 2003.
DOI : 10.1016/S0004-3702(02)00367-3

T. Eiter, G. Ianni, T. Lukasiewicz, R. Schindlauer, and H. Tompits, Combining answer set programming with description logics for the Semantic Web, Artificial Intelligence, vol.172, issue.12-13, pp.12-131495, 2008.
DOI : 10.1016/j.artint.2008.04.002

D. Fensel, H. Lausen, A. Polleres, J. De-bruijn, M. Stollberg et al., Enabling Semantic Web Services? The Web Service Modeling Ontology, 2006.

R. E. Fikes and N. Nilsson, Strips: A new approach to the application of theorem proving to problem solving, Artificial Intelligence, vol.2, issue.3-4, pp.189-208, 1971.
DOI : 10.1016/0004-3702(71)90010-5

M. Fox and D. Long, PDDL2.1: An extension to PDDL for expressing temporal planning domains, J. Artificial Intelligence Research, vol.20, pp.61-124, 2003.

A. V. Gelder, K. Ross, and J. S. Schlipf, The well-founded semantics for general logic programs, Journal of the ACM, vol.38, issue.3, pp.620-650, 1991.
DOI : 10.1145/116825.116838

M. Gelfond and V. Lifschitz, The Stable Model Semantics for Logic Programming, Proc. of International Conference on Logic Programming (ICLP 1988), pp.1070-1080, 1988.

A. Gerevini, P. Haslum, D. Long, A. Saetti, and Y. Dimopoulos, Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners, Artificial Intelligence, vol.173, issue.5-6, pp.5-6619, 2009.
DOI : 10.1016/j.artint.2008.10.012

M. Ghallab, D. Nau, and P. Traverso, Automated Planning: Theory and Practice, 2004.

A. Gonzalez-ferrer, J. Fernandez-olivares, and L. Castillo, JABBAH: a java application framework for the translation between business process models and htn, Proceedings of the 3rd International Competition on Knowledge Engineering for Planning and Scheduling (ICKEPS'09), 2009.

B. N. Grosof, I. Horrocks, R. Volz, and S. Decker, Description logic programs, Proceedings of the twelfth international conference on World Wide Web , WWW '03, pp.48-57, 2003.
DOI : 10.1145/775152.775160

V. Haarslev and R. Moller, Description of the RACER system and its applications, Proc. of Description Logics, 2001.

M. Helmert, Concise finite-domain representations for PDDL planning tasks, Artificial Intelligence, vol.173, issue.5-6, pp.503-535, 2009.
DOI : 10.1016/j.artint.2008.10.013

A. Herzig and O. Rifi, Propositional belief base update and minimal change, Artificial Intelligence, vol.115, issue.1, pp.107-138, 1999.
DOI : 10.1016/S0004-3702(99)00072-7
URL : http://doi.org/10.1016/s0004-3702(99)00072-7

J. Hoffmann, P. Bertoli, M. Helmert, and M. Pistore, Message-based web service composition , integrity constraints, and planning under uncertainty: A new connection, J. Artificial Intelligence Research, vol.35, pp.49-117, 2009.

J. Hoffmann and S. Edelkamp, The deterministic part of IPC-4: An overview, J. Artificial Intelligence Research, vol.24, pp.519-579, 2005.

J. Hoffmann and B. Nebel, The FF planning system: Fast plan generation through heuristic search, J. Artificial Intelligence Research, vol.14, pp.253-302, 2001.

J. Hoffmann, I. Weber, and F. M. Kraft, SAP speaks PDDL, Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI'10), 2010.
URL : https://hal.archives-ouvertes.fr/inria-00491123

I. Horrocks, The FaCT System, Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux'98, number 1397 in LNAI, pp.307-312, 1998.
DOI : 10.1007/3-540-69778-0_30

D. Hull, E. Zolin, A. Bovykin, I. Horrocks, U. Sattler et al., Deciding Semantic Matching of Stateless Services, Proceedings, The Twenty-First National Conference on Artificial Intelligence (AAAI) and the Eighteenth Innovative Applications of Artificial Intelligence Conference, pp.1319-1324, 2006.

M. Krötzsch, S. Rudolph, and P. Hitzler, Description logic rules, Proc. ECAI, pp.80-84, 2008.

U. Kuter, E. Sirin, D. Nau, B. Parsia, and J. Hendler, Information gathering during planning for Web Service composition, Web Semantics: Science, Services and Agents on the World Wide Web, vol.3, issue.2-3, pp.183-205, 2005.
DOI : 10.1016/j.websem.2005.07.001

F. Lecue, A. Delteil, and A. Leger, Applying Abduction in Semantic Web Service Composition, IEEE International Conference on Web Services (ICWS 2007), 2007.
DOI : 10.1109/ICWS.2007.42
URL : https://hal.archives-ouvertes.fr/hal-00405587

N. Leone, P. Rullo, and F. Scarcello, Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation, Information and Computation, vol.135, issue.2, pp.69-112, 1997.
DOI : 10.1006/inco.1997.2630
URL : http://doi.org/10.1006/inco.1997.2630

V. Lifschitz, Answer set programming and plan generation, Artificial Intelligence, vol.138, issue.1-2, pp.39-54, 2002.
DOI : 10.1016/S0004-3702(02)00186-8
URL : http://doi.org/10.1016/s0004-3702(02)00186-8

Z. Liu, A. Ranganathan, and A. Riabov, A planning approach for message-oriented semantic web service composition, 22nd National Conference of the American Association for Artificial Intelligence (AAAI'07), 2007.

A. Marconi and M. Pistore, Synthesis and Composition of Web Services, Formal Methods for Web Services, pp.89-157, 2009.
DOI : 10.1007/978-3-642-01918-0_3

A. Marconi, M. Pistore, and P. Traverso, Specifying Data-Flow Requirements for the Automated Composition of Web Services, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006.
DOI : 10.1109/SEFM.2006.34

A. Marconi, M. Pistore, and P. Traverso, Automated Web Service Composition at Work: the Amazon/MPS Case Study, Proc. of IEEE International Conference on Web Services (ICWS'07), 2007.

D. Mcdermott, The PDDL Planning Domain Definition Language, The AIPS-98 Planning Competition Committee, 1998.

S. Mcilraith, T. Son, and H. Zeng, Semantic Web services, IEEE Intelligent Systems, vol.16, issue.2, pp.46-53, 2001.
DOI : 10.1109/5254.920599

S. Mcilraith and T. C. Son, Adapting Golog for composition of semantic Web services, Proc. of the 8th Int. Conf. on Principles and Knowledge Representation and Reasoning (KR- 02), 2002.

B. Motik and R. Rosati, A faithful integration of description logics with logic programming, Proc. IJCAI, pp.477-482, 2007.

B. Motik, U. Sattler, and R. Studer, Query Answering for OWL-DL with Rules, Journal of Web Semantics, vol.3, issue.1, pp.41-60, 2005.
DOI : 10.1007/978-3-540-30475-3_38

I. Niemelä and P. Simons, SMODELS -An Implementation of the Stable Model and Wellfounded Semantics for Normal Logic Programs, Proc. of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning volume 1265 of LNAI, pp.420-429, 1997.

W. Owl-working and . Group, OWL 2 Web Ontology Language: Document Overview

E. P. Pednault, ADL: Exploring the middle ground between STRIPS and the situation calculus, Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference (KR'98), pp.324-331, 1998.

M. Pistore, A. Marconi, P. Bertoli, and P. Traverso, Automated Composition of Web Services by Planning at the Knowledge Level, Proc. IJCAI'05, 2005.

M. Pistore, P. Traverso, and P. Bertoli, Automated Composition of Web Services by Planning in Asynchronous Domains, Proc. ICAPS'05, 2005.

M. Pistore, P. Traverso, P. Bertoli, and A. Marconi, Automated synthesis of composite BPEL4WS Web services, IEEE International Conference on Web Services (ICWS'05), 2005.
DOI : 10.1109/ICWS.2005.27

S. Ponnekanti and A. Fox, SWORD: A developer toolkit for web services composition, 11th International World Wide Web Conference, 2002.

S. Richter and M. Westphal, The LAMA planner: Guiding cost-based anytime planning with landmarks, J. Artificial Intelligence Research, vol.39, pp.127-177, 2010.

M. D. Rodriguez-moreno, D. Borrajo, A. Cesta, and A. Oddi, Integrating planning and scheduling in workflow domains, Expert Systems with Applications, vol.33, issue.2, pp.389-406, 2007.
DOI : 10.1016/j.eswa.2006.05.027

R. Rosati, On the decidability and complexity of integrating ontologies and rules, Web Semantics: Science, Services and Agents on the World Wide Web, vol.3, issue.1, pp.41-60, 2005.
DOI : 10.1016/j.websem.2005.05.002

R. Rosati, DL+log: Tight integration of description logics and disjunctive datalog, Proc. KR, pp.68-78, 2006.

R. Shearer, B. Motik, and I. Horrocks, HermiT: A Highly-Efficient OWL Reasoner, Proceedings of the 5th International Workshop on OWL: Experiences and Directions, 2008.

E. Sirin, B. Parsia, B. C. Grau, A. Kalyanpur, and Y. Katz, Pellet: A practical OWL-DL reasoner, Web Semantics: Science, Services and Agents on the World Wide Web Software Engineering and the Semantic Web, pp.51-53, 2007.
DOI : 10.1016/j.websem.2007.03.004

E. Sirin, B. Parsia, D. Wu, J. Hendler, and D. Nau, HTN planning for Web Service composition using SHOP2, Web Semantics: Science, Services and Agents on the World Wide Web, vol.1, issue.4, 2004.
DOI : 10.1016/j.websem.2004.06.005

T. Soininen and I. Niemelä, Developing a Declarative Rule Language for Applications in Product Configuration, Proceedings of the First International Workshop on Practical Aspects of Declarative Languages (PADL 1999), number 1551 in LNCS, pp.305-319, 1999.
DOI : 10.1007/3-540-49201-1_21

H. Younes, M. Littman, D. Weissman, and J. Asmuth, The first probabilistic track of the international planning competition, J. Artificial Intelligence Research, vol.24, pp.851-887, 2005.