ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
IEEE Intelligent Systems
Planning with preferences using logic programming
Theory and Practice of Logic Programming
Bringing Semantics to Web Services with OWL-S
World Wide Web
HTN planning for Web Service composition using SHOP2
Web Semantics: Science, Services and Agents on the World Wide Web
Timed Properties-Aware Asynchronous Web Service Composition
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Web Service Composition via the Customization of Golog Programs with User Preferences
Conceptual Modeling: Foundations and Applications
Beyond classical planning: procedural control knowledge and preferences in state-of-the-art planners
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
An argumentation-based interpreter for Golog programs
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Optimizing Web Service Composition While Enforcing Regulations
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Automated composition of Web services via planning in asynchronous domains
Artificial Intelligence
Preference-based web service composition: a middle ground between execution and search
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Customizing the composition of actions, programs, and web ervices with user preferences
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part II
Specifying and computing preferred plans
Artificial Intelligence
s slGolog: When conditional compositions of web services meet semantic links and causal laws
Web Intelligence and Agent Systems
Goal-based behavioral customization of information systems
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Using a semantically enhanced database for business service and process modelling and integration
International Journal of Intelligent Information and Database Systems
Behavioral adaptation of information systems through goal models
Information Systems
Automatic behavior composition synthesis
Artificial Intelligence
Coordinating the web of services for a smart home
ACM Transactions on the Web (TWEB)
Hi-index | 0.00 |
We claim that user preferences are a key component of Web service composition – a component that has largely been ignored. In this paper we propose a means of specifying and intergrating user preferences into Web service composition. To this end, we propose a means of performing automated Web service composition by exploiting generic procedures together with rich qualitative user preferences. We exploit the agent programming language Golog to represent our generic procedures and a first-order preference language to represent rich qualitative temporal user preferences. From these we generate Web service compositions that realize the generic procedure, satisfying the user’s hard constraints and optimizing for the user’s preferences. We prove our approach sound and optimal. Our system, GologPref, is implemented and interacting with services on the Web. The language and techniques proposed in this paper can be integrated into a variety of approaches to Web or Grid service composition.