-
1
-
-
38649116791
-
Using Temporal Logic to Control Search in a Forward Chaining Planner
-
F. Bacchus and F. Kabanza, "Using Temporal Logic to Control Search in a Forward Chaining Planner," in Proc. of TIME 1995.
-
Proc. of TIME 1995
-
-
Bacchus, F.1
Kabanza, F.2
-
2
-
-
34447287103
-
GoalMorph: Partial Goal Satisfaction for Flexible Service Composition
-
December
-
M. Vukovié and P. Robinson, "GoalMorph: Partial Goal Satisfaction for Flexible Service Composition," International Journal of Web Services Practices, vol. 1, no. 1-2, pp. 40-56, December 2005.
-
(2005)
International Journal of Web Services Practices
, vol.1
, Issue.1-2
, pp. 40-56
-
-
Vukovié, M.1
Robinson, P.2
-
3
-
-
38649134637
-
-
F. Curbera, T. Andrews, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana, Business Process Execution Language For Web Services, vl.1, White Paper, 2005.
-
F. Curbera, T. Andrews, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana, "Business Process Execution Language For Web Services, vl.1," White Paper, 2005.
-
-
-
-
4
-
-
0038821587
-
Interleaving Planning and Robot Execution for Asynchronous User Requests
-
K. Z. Haigh and M. Veloso, "Interleaving Planning and Robot Execution for Asynchronous User Requests," in Proc. AAAI Spring Symp. 1996.
-
Proc. AAAI Spring Symp. 1996
-
-
Haigh, K.Z.1
Veloso, M.2
-
5
-
-
36749057909
-
Context aware service composition,
-
PhD Thesis, University of Cambridge
-
M. Vukovic, "Context aware service composition," PhD Thesis, University of Cambridge, 2006.
-
(2006)
-
-
Vukovic, M.1
-
6
-
-
38649127713
-
SpiderNet: An Integrated Peer-to-Peer Service Composition Framework
-
X. Gu, K. Nahrstedt, and B. Yu, "SpiderNet: an Integrated Peer-to-Peer Service Composition Framework," in Proc. of HPDC 2004.
-
Proc. of HPDC 2004
-
-
Gu, X.1
Nahrstedt, K.2
Yu, B.3
-
8
-
-
4544234615
-
Web Service Composition: Current Solutions and Open Problems
-
J. Koehler and B. Srivastava, "Web Service Composition: Current Solutions and Open Problems," in Proc. of ICAPS 2003.
-
Proc. of ICAPS 2003
-
-
Koehler, J.1
Srivastava, B.2
-
9
-
-
4744354845
-
Automatic Web Services Composition Using SHOP2
-
D. Wu, E. Sirin, J. Hendler, D. Nau, and B. Parsia, "Automatic Web Services Composition Using SHOP2," in Proc. of the 13th Intl Conf on Automated Planning and Scheduling., 2003.
-
(2003)
Proc. of the 13th Intl Conf on Automated Planning and Scheduling
-
-
Wu, D.1
Sirin, E.2
Hendler, J.3
Nau, D.4
Parsia, B.5
-
10
-
-
84880882532
-
-
D. S. Nau, H. Muñoz-Avila, Y. Cao, A. Lotem, and S. Mitchell, TotalOrder Planning with Partially Ordered Subtasks, in Proc. of IJCAI 2001.
-
D. S. Nau, H. Muñoz-Avila, Y. Cao, A. Lotem, and S. Mitchell, "TotalOrder Planning with Partially Ordered Subtasks," in Proc. of IJCAI 2001.
-
-
-
-
11
-
-
0011491265
-
Adapting Golog for Composition of Semantic Web Services
-
S. Mcllraith and T. C. Son, "Adapting Golog for Composition of Semantic Web Services," in Proc of KR2002.
-
Proc of KR2002
-
-
Mcllraith, S.1
Son, T.C.2
-
12
-
-
0031126053
-
GOLOG: A Logic Programming Language for Dynamic Domains
-
H. J. Levesque, R. Reiter, Y. Lesperance, F. Lin, and R. B. Scherl, "GOLOG: A Logic Programming Language for Dynamic Domains," Journal of Logic Programming, vol. 31, no. 1-3, pp. 59-83, 1997.
-
(1997)
Journal of Logic Programming
, vol.31
, Issue.1-3
, pp. 59-83
-
-
Levesque, H.J.1
Reiter, R.2
Lesperance, Y.3
Lin, F.4
Scherl, R.B.5
-
13
-
-
0043063020
-
DAML-S: Web Service Description for the Semantic Web
-
A. Ankolenkar, M. Burstein, J. R. Hobbs, O. Lassila, D. L. Martin, D. McDermott, S. A. Mcllraith, S. Narayanan, M. Paolucci, T. R. Payne, and K. Sycara, "DAML-S: Web Service Description for the Semantic Web," in Proc. of ISWC 2002.
-
Proc. of ISWC 2002
-
-
Ankolenkar, A.1
Burstein, M.2
Hobbs, J.R.3
Lassila, O.4
Martin, D.L.5
McDermott, D.6
Mcllraith, S.A.7
Narayanan, S.8
Paolucci, M.9
Payne, T.R.10
Sycara, K.11
-
14
-
-
0342520920
-
Congolog, a Concurrent Programming Language Based on the Situation Calculus
-
G. D. Giacomo, Y. Lesperance, and H. J. Levesque, "Congolog, a Concurrent Programming Language Based on the Situation Calculus," Artificial Intelligence, vol. 121, no. 1-2, pp. 109-169, 2000.
-
(2000)
Artificial Intelligence
, vol.121
, Issue.1-2
, pp. 109-169
-
-
Giacomo, G.D.1
Lesperance, Y.2
Levesque, H.J.3
-
15
-
-
0242395044
-
SWORD: A Developer Toolkit for Web Service Composition
-
S. R. Ponnekanti and A. Fox, "SWORD: A Developer Toolkit for Web Service Composition." in Proc. of WWW11, 2002.
-
(2002)
Proc. of WWW11
-
-
Ponnekanti, S.R.1
Fox, A.2
-
16
-
-
0020177941
-
Rete: A fast algorithm for the many patterns/many objects match problem
-
1982
-
C. Forgy, "Rete: A fast algorithm for the many patterns/many objects match problem." Artificial Intelligence, vol. 19, no. 1, pp. 17-37, 1982.
-
Artificial Intelligence
, vol.19
, Issue.1
, pp. 17-37
-
-
Forgy, C.1
-
17
-
-
38649142986
-
-
D. Berardi, Automatic service composition, models, techniques, tools. Ph.D. dissertation, University of Rome La Sapienza, 2005.
-
D. Berardi, "Automatic service composition, models, techniques, tools." Ph.D. dissertation, University of Rome "La Sapienza", 2005.
-
-
-
-
18
-
-
38649083907
-
-
R. Akkiraju, K. Verma, R. Goodwin, P. Doshi, and J. Lee, Executing Abstract Web Process Flows, in Proc. of ICAPS 2004.
-
R. Akkiraju, K. Verma, R. Goodwin, P. Doshi, and J. Lee, "Executing Abstract Web Process Flows," in Proc. of ICAPS 2004.
-
-
-
-
19
-
-
25144489598
-
Planning and Monitoring Web Service Composition
-
M. Pistore, F. Barbon, P. Bertoli, D. Shaparau, and P. Traverso, "Planning and Monitoring Web Service Composition," in Proc of AIMSA 2004.
-
Proc of AIMSA 2004
-
-
Pistore, M.1
Barbon, F.2
Bertoli, P.3
Shaparau, D.4
Traverso, P.5
-
20
-
-
38649085474
-
ASTRO: Supporting Composition and Execution of Web Services
-
M. Trainotti, M. Pistore, G. Calabrese, G. Zacco, G. Lucchese, F. Barbon, P. Bertoli, and P. Traverso, "ASTRO: Supporting Composition and Execution of Web Services," in Proc. of ICAPS 2005.
-
Proc. of ICAPS 2005
-
-
Trainotti, M.1
Pistore, M.2
Calabrese, G.3
Zacco, G.4
Lucchese, G.5
Barbon, F.6
Bertoli, P.7
Traverso, P.8
|