-
1
-
-
37749028081
-
Semantic annotations for wsdl and xml schema
-
Technical report, W3 Consortium
-
(2007). Semantic annotations for wsdl and xml schema. Technical report, W3 Consortium.
-
-
-
-
2
-
-
33744949899
-
Web service semantics - wsdl-s
-
Technical report, LSDIS Lab and IBM Corporation
-
Akkiraju, R., Farrell, J., Miller, J., Nagarajan, M., Schmidt, M., Sheth, A. P., and Verma, K. (2004). Web service semantics - wsdl-s. Technical report, LSDIS Lab and IBM Corporation.
-
(2004)
-
-
Akkiraju, R.1
Farrell, J.2
Miller, J.3
Nagarajan, M.4
Schmidt, M.5
Sheth, A.P.6
Verma, K.7
-
3
-
-
84869356587
-
-
Biundo, S. (1994). Present-day deductive planning. In Bäckström, C. and Sandewell, E., editors, Current Trends in AI Planning: Proceedings of the 2nd European Workshop on Planning (EWSP-93), pages 1-5, Vadstena, Sweeden. IOS Press (Amsterdam).
-
Biundo, S. (1994). Present-day deductive planning. In Bäckström, C. and Sandewell, E., editors, Current Trends in AI Planning: Proceedings of the 2nd European Workshop on Planning (EWSP-93), pages 1-5, Vadstena, Sweeden. IOS Press (Amsterdam).
-
-
-
-
4
-
-
20644438884
-
A model for abstract process specification, verification and composition
-
Duan, Z., Bernstein, A. J., Lewis, P. M., and Lu, S. (2004). A model for abstract process specification, verification and composition. In ICSOC, pages 232-241.
-
(2004)
ICSOC
, pp. 232-241
-
-
Duan, Z.1
Bernstein, A.J.2
Lewis, P.M.3
Lu, S.4
-
5
-
-
84880731557
-
Planning with loops
-
Levesque, H. J. (2005). Planning with loops. In IJCAI, pages 509-515.
-
(2005)
IJCAI
, pp. 509-515
-
-
Levesque, H.J.1
-
6
-
-
70349896736
-
Simulation, verification and automated composition of web services
-
New York, NY, USA. ACM Press
-
Narayanan, S. and Mcilraith, S. A. (2002). Simulation, verification and automated composition of web services. In WWW'02: Proceedings of the 11th international conference on World Wide Web, pages 77-88, New York, NY, USA. ACM Press.
-
(2002)
WWW'02: Proceedings of the 11th international conference on World Wide Web
, pp. 77-88
-
-
Narayanan, S.1
Mcilraith, S.A.2
-
7
-
-
33749078956
-
Automated synthesis of composite bpel4ws web services
-
Pistore, M., Traverso, P., Bertoli, P., and Marconi, A. (2005). Automated synthesis of composite bpel4ws web services. In ICWS, pages 293-301.
-
(2005)
ICWS
, pp. 293-301
-
-
Pistore, M.1
Traverso, P.2
Bertoli, P.3
Marconi, A.4
-
9
-
-
38949110992
-
A mixed initiative approach to semantic web service discovery and composition: Sap's guided procedures framework
-
Rao, J., Dimitrov, D., Hofmann, P., and Sadeh, N. (2006). A mixed initiative approach to semantic web service discovery and composition: Sap's guided procedures framework. In ICWS, pages 401-410.
-
(2006)
ICWS
, pp. 401-410
-
-
Rao, J.1
Dimitrov, D.2
Hofmann, P.3
Sadeh, N.4
-
10
-
-
4744356396
-
Logic-based web services composition: From service description to process model
-
Rao, J., Küngas, P., and Matskin, M. (2004). Logic-based web services composition: From service description to process model. In ICWS, pages 446-453.
-
(2004)
ICWS
, pp. 446-453
-
-
Rao, J.1
Küngas, P.2
Matskin, M.3
-
12
-
-
9344254422
-
Htn planning for web service composition using shop2
-
Sirin, E., Parsia, B., Wu, D., Hendler, J., and Nau, D. (2004). Htn planning for web service composition using shop2. Journal of Web Semantics, l(4):377-396.
-
(2004)
Journal of Web Semantics
, vol.50
, Issue.4
, pp. 377-396
-
-
Sirin, E.1
Parsia, B.2
Wu, D.3
Hendler, J.4
Nau, D.5
-
13
-
-
84869378194
-
Deduction-based refinement planning
-
Technical Report RR-95-13, Deutsches Forschungszentrum fur Künstliche Intelligenz GmbH Erwin-Schrödinger Strasse Postfach 2080 67608 Kaiserslautern Germany
-
Stephan, W. and Biundo, S. (1995). Deduction-based refinement planning. Technical Report RR-95-13, Deutsches Forschungszentrum fur Künstliche Intelligenz GmbH Erwin-Schrödinger Strasse Postfach 2080 67608 Kaiserslautern Germany.
-
(1995)
-
-
Stephan, W.1
Biundo, S.2
|