Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Semantic web enabled composition of web services
Semantic web enabled composition of web services
FLUX: A logic programming method for reasoning agents
Theory and Practice of Logic Programming
Planning and Composition of Web Services with Dynamic Constraints Using Situation Calculus
CIT '05 Proceedings of the The Fifth International Conference on Computer and Information Technology
A survey on web services composition
International Journal of Web and Grid Services
Information gathering during planning for Web Service composition
Web Semantics: Science, Services and Agents on the World Wide Web
Reengineering Semantic Web Service Composition in a Mobile Environment
ITC '10 Proceedings of the 2010 International Conference on Recent Trends in Information, Telecommunication and Computing
Applying fluent calculus for automated and dynamic semantic web service composition
Proceedings of the 1st International Conference on Intelligent Semantic Web-Services and Applications
A survey of automated web service composition methods
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
| Hi-index | 0.00 |
Semantic web service composition constitutes the phases namely specification, matchmaking, planning, validation, discovery and execution. As web service composition is categorised as an AI planning problem, the objective of this paper is to propose a fluent calculus approach for the planning phase of the semantic web service composition. Among various methods to solve the AI planning problem, logic programming has been identified as the most appropriate candidate to handle the runtime behaviours of web services. FLUX has been used for representing constraints in fluent calculus formalism. Label transition system analyser (LTSA) formalisms are used to validate the plans generated using FLUX. An e-shopping domain is considered as a case study.