-
1
-
-
2642529208
-
Automating DAMLS web services composition using SHOP2
-
D. Wu, B. Parsia, E. Sirin, J. Hendler, and D. Nau, "Automating DAMLS Web Services Composition using SHOP2, " in Proc. ISWC'03, 2003.
-
(2003)
Proc. ISWC'03
-
-
Wu, D.1
Parsia, B.2
Sirin, E.3
Hendler, J.4
Nau, D.5
-
2
-
-
0011491265
-
Adapting golog for composition of semantic web services
-
S. McIlraith and S. Son, "Adapting Golog for Composition of Semantic Web Services, " in Proc. KR'02, 2002.
-
(2002)
Proc. KR'02
-
-
McIlraith, S.1
Son, S.2
-
4
-
-
4644359608
-
Constraint driven web service composition in METEOR-S
-
Proceedings - 2004 IEEE International Conference on Services Computing, SCC 2004
-
R. Aggarwal, K. Verma, J. A. Miller, and W. Milnor, "Constraint Driven Web Service Composition in METEOR-S, " in Proc. of SCC'04, 2004, pp. 23-30. (Pubitemid 40201727)
-
(2004)
Proceedings - 2004 IEEE International Conference on Services Computing, SCC 2004
, pp. 23-30
-
-
Aggarwal, R.1
Verma, K.2
Miller, J.3
Milnor, W.4
-
5
-
-
70349896736
-
Simulation, verification and automated composition of web services
-
S. Narayanan and S. McIlraith, "Simulation, Verification and Automated Composition of Web Services, " in Proc. WWW'02, 2002.
-
(2002)
Proc. WWW'02
-
-
Narayanan, S.1
McIlraith, S.2
-
6
-
-
46849117450
-
Composition of services with nondeterministic observable behaviour
-
D. Berardi, D. Calvanese, G. D. Giacomo, and M. Mecella, "Composition of Services with Nondeterministic Observable Behaviour, " in Proc. ICSOC'05, 2005.
-
(2005)
Proc. ICSOC'05
-
-
Berardi, D.1
Calvanese, D.2
Giacomo, G.D.3
Mecella, M.4
-
7
-
-
84890303891
-
Automated composition of web services by planning in asynchronous domains
-
M. Pistore, P. Traverso, and P. Bertoli, "Automated Composition of Web Services by Planning in Asynchronous Domains, " in Proc. ICAPS'05, 2005.
-
(2005)
Proc. ICAPS'05
-
-
Pistore, M.1
Traverso, P.2
Bertoli, P.3
-
8
-
-
33749043026
-
Web services composition: A story of models, automata, and logics
-
R. Hull, "Web Services Composition: A Story of Models, Automata, and Logics, " in Proc. of ICWS'05, 2005.
-
(2005)
Proc. of ICWS'05
-
-
Hull, R.1
-
9
-
-
82655171718
-
Specifying data-flow requirements for the automated composition of web services
-
A. Marconi, M. Pistore, and P. Traverso, "Specifying Data-Flow Requirements for the Automated Composition of Web Services, " in Proc. SEFM'06, 2006.
-
(2006)
Proc. SEFM'06
-
-
Marconi, A.1
Pistore, M.2
Traverso, P.3
-
12
-
-
85131841064
-
Inheritance of interorganizational workflows to enable business-to-business
-
W. M. P. van der Aalst, "Inheritance of Interorganizational Workflows to Enable Business-to-Business, " Electronic Commerce Research, vol.2, no.3, pp. 195-231, 2002.
-
(2002)
Electronic Commerce Research
, vol.2
, Issue.3
, pp. 195-231
-
-
Van Der Aalst, W.M.P.1
-
13
-
-
0023365727
-
Statecharts: A visual formalism for complex systems
-
D. Harel, "Statecharts: A Visual Formalism for Complex Systems, " Science of Computer Programming, vol.8, no.3, pp. 231-274, 1987.
-
(1987)
Science of Computer Programming
, vol.8
, Issue.3
, pp. 231-274
-
-
Harel, D.1
-
15
-
-
0032375187
-
Planning for temporally extended goals
-
F. Bacchus and F. Kabanza, "Planning for Temporally Extended Goals, " Ann. Math. Artif. Intell, vol.1-2, no.22, pp. 5-27, 1998. (Pubitemid 128403997)
-
(1998)
Annals of Mathematics and Artificial Intelligence
, vol.22
, Issue.1-2
, pp. 5-27
-
-
Bacchus, F.1
Kabanza, F.2
-
16
-
-
84880852617
-
A heuristic search approach to planning with temporally extended preferences
-
J. Baier, F. Bacchus, and S. McIlraith, "A Heuristic Search Approach to Planning with Temporally Extended Preferences, " in Proc. IJCAI'07, 2007.
-
(2007)
Proc. IJCAI'07
-
-
Baier, J.1
Bacchus, F.2
McIlraith, S.3
-
17
-
-
57749120007
-
Exploiting procedural domain control knowledge in state-of-the-art planners
-
J. Baier, C. Fritz, and S. McIlraith, "Exploiting procedural domain control knowledge in state-of-the-art planners, " in Proc. of ICAPS'07, 2007.
-
(2007)
Proc. of ICAPS'07
-
-
Baier, J.1
Fritz, C.2
McIlraith, S.3
|