A logic-based calculus of events
New Generation Computing
Artificial intelligence and mathematical theory of computation
Toward principles for the design of ontologies used for knowledge sharing
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
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
Local Conditional High-Level Robot Programs
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Semantic Matching of Web Services Capabilities
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Inferring Implicit State Knowledge and Plans with Sensing Actions
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Knowledge, action, and the frame problem
Artificial Intelligence
A software framework for matchmaking based on semantic web technology
WWW '03 Proceedings of the 12th international conference on World Wide Web
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Towards a conversation-driven composition of web services
Web Intelligence and Agent Systems
Applying AI Planning to Semantic Web Services for Workflow Generation
SKG '05 Proceedings of the First International Conference on Semantics, Knowledge and Grid
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Making the difference in semantic web service composition
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Composition of Semantic Web services using Linear Logic theorem proving
Information Systems
HTN planning for Web Service composition using SHOP2
Web Semantics: Science, Services and Agents on the World Wide Web
The frame problem and knowledge-producing actions
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
Web service composition with volatile information
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
A formal model for semantic web service composition
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Web service composition via generic procedures and customizing user preferences
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
A distributed multi-agent planning approach for automated web services composition
Web Intelligence and Agent Systems
Towards adaptive normative systems for communities of agents
Web Intelligence and Agent Systems - Web Intelligence and Communities
Hi-index | 0.00 |
Web service composition enhanced by semantic technologies is currently one of the most hyped and addressed issues in Service Oriented Computing. This work focuses on both i) conditional composition, i.e., how to automate the composition of services that produces non-deterministic outcomes, and ii) consistent connections between web services (also known as data flows) in the composition. To this end, we suggest the joint use of semantic links and causal laws, respectively, in the area of Description Logics and AI planning. In more detail, an augmented and adapted version of the logic programming language Golog, i.e., sslGolog, is presented as a natural formalism not only for reasoning about the latter semantic links and causal laws, but also for automatically composing non-deterministic services. sslGolog operates as an offline interpreter that supports not only binary but also n-ary sensing services (i.e., services conditioned on their possible output parameters) to achieve conditional compositions of services. Lastly, sslGolog has been implemented and tested in the context of Telecommunication scenarios.