V. R. Benjamins and D. Fensel, Editorial: problem-solving methods, International Journal of Human-Computer Studies, vol.49, issue.4, pp.305-313, 1998.
DOI : 10.1006/ijhc.1998.0208

M. Carman, L. Serafini, and P. Traverso, Web service composition as planning, proceedings of ICAPS03 International Conference on Automated Planning and Scheduling, 2003.

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

P. Doshi, R. Goodwin, R. Akkiraju, and K. Verma, Dynamic workflow composition using Markov decision processes, Proceedings. IEEE International Conference on Web Services, 2004., pp.1-17, 2005.
DOI : 10.1109/ICWS.2004.1314784

A. Felfernig, G. Friedrich, D. Jannach, and M. Zanker, Configuration Knowledge Representation Using UML/OCL, Proceedings of the 5th International Conference on The Unified Modeling Language, pp.49-62
DOI : 10.1007/3-540-45800-X_5

G. Fleischanderl, G. Friedrich, A. Haselböck, H. Schreiner, and M. Stumptner, Configuring large-scale systems with generative constraint satisfaction, IEEE Intelligent Systems -Special issue on Configuration, 1998.

R. Ginis and K. M. Chandy, Service composition issues for distributed business processes, The 2003 International Conference on Web Services (ICWS'03), pp.27-33, 2003.

A. Gómez-pérez, R. González-cabero, and M. Lamaa, A framework for design and composition of semantic web services, Semantic Web Services AAAI Spring Symposium Series, pp.22-24, 2004.

D. Mailharro, A classification and constraint based framework for configuration. AI-EDAM : Special issue on Configuration, pp.383-397, 1998.

S. Mcilraith and T. Son, Adapting golog for composition of semantic web services, proceedings of Conference on Knowledge Representation and Reasoning, 2002.

S. Mittal and B. Falkenhainer, Dynamic constraint satisfaction problems, Proceedings of AAAI-90, pp.25-32, 1990.

B. Nebel, Reasoning and revision in hybrid representation systems, Lecture Notes in Artificial Intelligence, p.422, 1990.

M. Pistore, F. Barbon, P. Bertoli, D. Shaparau, and P. Traverso, Planning and Monitoring Web Service Composition, proceedings of the Workshop on Planning and Scheduling for Web and Grid Services held in conjunction with ICAPS, 2004.
DOI : 10.1007/978-3-540-30106-6_11

S. R. Ponnekanti and A. Fox, Sword : A developer toolkit for web service composition, proceedings of the 11th International WWW Conference, 2002.

J. Rao, P. Kungas, M. Matskin, and R. Reiter, Logic-based web service composition : from service description to process model Knowledge in Action : Logical Foundations for Specifying and Implementing Dynamical Systems, IEEE International Conference on Web Services, 2001.

E. Sirin, J. Hendler, and B. Parsia, Semi automatic composition of web services using semantic descriptions, proceedings of the ICEIS-2003 Workshop on Web Services : Modeling, Architecture and Infrastructure, 2003.

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, pp.377-396, 2004.
DOI : 10.1016/j.websem.2004.06.005

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

T. Soininen, I. Niemelõ, J. Tiihonen, and R. Sulonen, Unified configuration knowledge representation using weight constraint rules, ECAI 2000 Configuration Workshop, 2000.

M. Stumptner, An overview of knowledgebased configuration, AI Communications, vol.10, issue.2, pp.111-125, 1997.

S. Thakkar, C. A. Knoblock, J. L. Ambite, and C. Shahabi, Dynamically composing web services from on-line sources, proceedings of AAAI-02 Workshop on Intelligent Service Integration, 2002.

W. M. Van-der-aalst, L. Aldred, and M. Dumas, Design and implementation of the yawl system. qut technical report, fit-tr-2003-07, 2003.

M. Vukovic and P. Robinson, Adaptive, planning based, web service composition for context awareness, proceedings of the Second International Conference on Pervasive Computing, 2004.

X. Yi and K. Kochut, A cp-nets-based design and verification framework for web services composition, proceedings of 2004 IEEE International Conference on Web Services, 2004.