-
1
-
-
22944452100
-
Automatic service composition based on behavioral descriptions
-
D. Berardi, D. Calvanese, G. D. Giacomo, M. Lenzerini, and M. Mecella. Automatic service composition based on behavioral descriptions. Journal of Cooperative Information Systems, 14(4), 2005.
-
(2005)
Journal of Cooperative Information Systems
, vol.14
, Issue.4
-
-
Berardi, D.1
Calvanese, D.2
Giacomo, G.D.3
Lenzerini, M.4
Mecella, M.5
-
2
-
-
84880478628
-
Conversation specification: A new approach to the design and analysis of e-service composition
-
Budapest, Hungary
-
T. Bultan, X. Fu, R. Hull, and J. Su. Conversation specification: A new approach to the design and analysis of e-service composition. Proceedings of World Wide Web Conference WWW, Budapest, Hungary, 2003.
-
(2003)
Proceedings of World Wide Web Conference WWW
-
-
Bultan, T.1
Fu, X.2
Hull, R.3
Su, J.4
-
3
-
-
38649087896
-
-
I. P. Competition. IPC3. Homepage: http://planning.cis.strath.ac.uk/ competition/, 2002.
-
I. P. Competition. IPC3. Homepage: http://planning.cis.strath.ac.uk/ competition/, 2002.
-
-
-
-
5
-
-
13444301819
-
The Metric-FF planning system: Translating Ignoring Delete Lists to Numeric State Variables
-
J. Hoffmann. The Metric-FF planning system: Translating Ignoring Delete Lists to Numeric State Variables. Artificial Intelligence Research (JAIR), vol 20, 2003.
-
(2003)
Artificial Intelligence Research (JAIR)
, vol.20
-
-
Hoffmann, J.1
-
9
-
-
33745757810
-
Web Service Composition as AI Planning: A Survey
-
Technical Report, University of St. Gallen, Switzerland Available at
-
J. Peer. Web Service Composition as AI Planning: A Survey. Technical Report, University of St. Gallen, Switzerland Available at http://elektra.mcm. unisg.ch/pbwsc/docs/pfwsc.pdf, 2005.
-
(2005)
-
-
Peer, J.1
-
11
-
-
9344254422
-
HTN planning for web service composition using SHOP2
-
E. Sirin, B. Parsia, D. Wu, J. Hendler, and D. Nau. HTN planning for web service composition using SHOP2. Journal of Web Semantics, 1(4), pages 377-396, 2004.
-
(2004)
Journal of Web Semantics
, vol.1
, Issue.4
, pp. 377-396
-
-
Sirin, E.1
Parsia, B.2
Wu, D.3
Hendler, J.4
Nau, D.5
-
12
-
-
2642529208
-
Automating DAML-S web services composition using SHOP2
-
Sanibel Island, Florida, USA
-
D. Wu, B. Parsia, E. Sirin, J. Hendler, and D. Nau. Automating DAML-S web services composition using SHOP2. Proceedings of the 2nd International Semantic Web Conference (ISWC2003), pages 20-23, Sanibel Island, Florida, USA, 2003.
-
(2003)
Proceedings of the 2nd International Semantic Web Conference (ISWC2003)
, pp. 20-23
-
-
Wu, D.1
Parsia, B.2
Sirin, E.3
Hendler, J.4
Nau, D.5
-
14
-
-
0038517219
-
Weak, strong, and strong cyclic planning via symbolic model checking
-
A. Cimatti, M. Pistore, M. Roveri, P. Traverso: Weak, strong, and strong cyclic planning via symbolic model checking, Artificial Intelligence, 147(1/2), pp. 35-84, 2003.
-
(2003)
Artificial Intelligence
, vol.147
, Issue.1-2
, pp. 35-84
-
-
Cimatti, A.1
Pistore, M.2
Roveri, M.3
Traverso, P.4
-
15
-
-
38649088835
-
-
OWLS-XPlan: http://projects.semwebcentral.org/projects/owls-xplan/
-
OWLS-XPlan
-
-
-
17
-
-
33845426597
-
Automated semantic web service discovery with OWLS-MX
-
Japan, ACM Press
-
M. Klusch, B. Fries, K. Sycara: Automated semantic web service discovery with OWLS-MX. Proceedings of International Conference on Autonomous Agents and Multiagent Sys6tems (AAMAS 2006), Hakodate, Japan, ACM Press, 2006
-
(2006)
Proceedings of International Conference on Autonomous Agents and Multiagent Sys6tems (AAMAS 2006), Hakodate
-
-
Klusch, M.1
Fries, B.2
Sycara, K.3
|