DL reasoning and AI planning for web service composition

Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008

Volumn , Issue , 2008, Pages 445-453

  Lécué, Freddy ^a   Léger, Alain ^b   Delteil, Alexandre ^b  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b ORANGE LABS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AI-PLANNING; DESCRIPTION LOGIC; KEY FEATURES; LOGIC PROGRAMMING LANGUAGES; OFFLINE; SITUATION CALCULUS; WEB SERVICE COMPOSITIONS;

DATA DESCRIPTION; INFORMATION THEORY; LOGIC PROGRAMMING; PROGRAM INTERPRETERS; WEB SERVICES;

CHEMICAL ANALYSIS;

EID: 62949117681     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WIIAT.2008.344     Document Type: Conference Paper

References (21)

1. A. Ankolenkar, M. Paolucci, N. Srinivasan, and K. Sycara. The owl-s coalition, owl-s 1.1. Technical report, July 2004.
2. T.-C. Au, U. Kuter, and D. S. Nau. Web service composition with volatile information. In ISWC, pages 52-66, 2005.
3. F. Baader and W. Nutt. The Description Logic Handbook: Theory, Implementation, and Applications. 2003.
4. F. Bacchus and R. P. A. Petrick. Modeling an agent's incomplete knowledge during planning and during execution. In KR, pages 432-443, 1998.
5. D. Fensel, M. Kifer, J. de Bruijn, and J. Domingue. Web service modeling ontology (wsmo), w3c submission. June 2005.
6. G. D. Giacomo, Y. Lesperance, and H. J. Levesque. Congolog, a concurrent programming language based on the situation calculus. Artif. Intell., 121(1-2):109-169, 2000.
7. G. D. Giacomo and H. Levesque. An incremental interpreter for high-level programs with sensing. In Logical Foundations for Cognitive Agents, Contributions in Honor of Ray Reiter, pages 86-102, 1999.
8. J. Hoffmann, P. Bertoli, and M. Pistore. Web service composition as planning, revisited: In between background theories and initial state uncertainty. In AAAI, pages 1013-1018, 2007.
9. I. Horrocks. Using an expressive description logic: FaCT or fiction? In KR, pages 636-649, 1998.
10. G. Lakemeyer. On sensing and off-line interpreting in golog. In Logical Foundations for Cognitive Agents, Contributions in Honor of Ray Reiter, pages 173-187, 1999.
11. F. Lécué and A. Delteil. Making the difference in semantic web service composition. In AAAI, pages 1383-1388, 2007.
12. F. Lécué and A. Léger. A formal model for semantic web service composition. In ISWC, pages 385-398, Nov 2006.
13. H. J. Levesque, R. Reiter, Y. Lesperance, F. Lin, and R. Scherl. GOLOG: A Logic programming language for dynamic domains. Journal of Logic Programming, 31(1-3):59-84, 1997.
14. E. Martinez and Y. Lesperance. Web service composition as a planning task: Experiments using knowledge-based planning. In ICAPS-Workshop on Planning and Scheduling for Web and Grid Services, pages 62-69, 2004.
15. S. A. McIlraith and R. Fadel. Planning with complex actions. In NMR, pages 356-364, 2002.
16. S. A. McIlraith and T. C. Son. Adapting golog for composition of semantic web services. In KR, pages 482-496, 2002.
17. R. Reiter. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In AIMTC, pages 359-380, 1991.
18. R. Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. 2001.
19. S. Sardiña. Local conditional high-level robot programs. In LPAR, pages 110-124, 2001.
20. R. Scherl and H. J. Levesque. Knowledge, action, and the frame problem. Artif. Intell., 144(1-2):1-39, 2003.
21. K. Sivashanmugam, K. Verma, A. Sheth, and J. Miller. Adding semantics to web services standards. In ICWS, pages 395-401, 2003.