Automatic Web Service composition using ConGolog

Proceedings - International Conference on Distributed Computing Systems

Volumn , Issue , 2006, Pages

  Phan, Minh ^a   Hattori, Fumio ^a  

^a RITSUMEIKAN UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; COMPUTER SYSTEMS; INFORMATION SERVICES; INFORMATION THEORY; LOGIC PROGRAMMING; PROGRAM INTERPRETERS; SOFTWARE AGENTS; STRUCTURE (COMPOSITION); WORLD WIDE WEB;

COMPLEX ACTIONS; CONGOLOG; DISTRIBUTED APPLICATIONS (DA); DISTRIBUTED COMPUTING SYSTEMS; FORMAL APPROACH; IN ORDER; INFORMATION GATHERING; INTERNATIONAL CONFERENCES; LOGIC PROGRAMMING LANGUAGES; SEMANTIC WEB SERVICES; SENSING ACTIONS; WEB SERVICE COMPOSITION;

WEB SERVICES;

EID: 44949258021     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICDCSW.2006.24     Document Type: Conference Paper

References (8)

1. DAML-S/OWL-S. http://www.daml.org/services/. 2004.
2. Drew McDermott. Estimated-Regression Planning for Interactions with Web Services. 2004
3. Evren Sirin, Bijan Parsia, Dan Wu, James Hendler, and Dana Nau. HTN planning for web service composition using SHOP2. /Journal of Web Semantics/, 1(4):377-396, 2004.
4. G. De Giacomo, Y. Lesp'erance, and H. Levesque. ConGolog, a concurrent programming language based on the situation calculus. AIJ, 121 ( 1-2): 109-169, 2000.
5. G. Lakemeyer. On sensing and off-line interpreting in Golog. In Logical Foundations for Cognitive Agents, Contrin Honor of Ray Reiter, pages 173-187, 1999.
6. H. Levesque and others. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31(1-3):59-84, April-June 1997.
7. McIlraith, S., and Son, T. C. Adapting Golog for Composition of Semantic Web Services. In Proc. KRR, 482- 493. 2002.
8. R. Reiter. KNOWLEDGE IN ACTION: Logical Foundations for Specifying and Implementing Dynamical Systems. The MLT Press, 2001.