A logic-based calculus of events
New Generation Computing
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
The Nature of Knowledge in an Abductive Event Calculus Planner
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Composing Web services on the Semantic Web
The VLDB Journal — The International Journal on Very Large Data Bases
Applying AI Planning to Semantic Web Services for Workflow Generation
SKG '05 Proceedings of the First International Conference on Semantics, Knowledge and Grid
Improving service matching and selection in ubiquitous computing environments: a user study
Personal and Ubiquitous Computing
Developing Consistent Contractual Policies in Service Composition
APSCC '07 Proceedings of the The 2nd IEEE Asia-Pacific Service Computing Conference
Automated Web Services Composition with the Event Calculus
Engineering Societies in the Agents World VIII
Dynamic Service Composition in Ambient Intelligence Environment
SCC '09 Proceedings of the 2009 IEEE International Conference on Services Computing
Modeling the ambient intelligence application system: concept, software, data, and network
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
A monolithic approach to automated composition of semantic web services with the Event Calculus
Knowledge-Based Systems
Artificial intelligence today
Automated composition of web services with the abductive event calculus
Information Sciences: an International Journal
Towards formal verification of web service composition
BPM'06 Proceedings of the 4th international conference on Business Process Management
Hi-index | 0.00 |
Services composition technology which is used in Ambient Intelligence should have the features of context-aware, partial order and concurrent. It should adaptive to the dynamic change of user preference and context. To meet these requirements, the paper puts forward an adaptive dynamic services composition framework and its implementation mechanism based on event calculus. It studies the basic principles and technologies for descripting domain services, context information and domain rules based on event calculus. On the basis, it details the composition planning mechanism. At last, a prototype system, intelligence application control, is built to verify the effectiveness and availability of the services composition policy.