Web services are a consolidated reality of the modern Web with tremendous, increasing
impact on everyday computing tasks. They turned the Web into the largest, most accepted …

Pervasive systems must offer an open, extensible, and evolving portfolio of services which
integrate sensor data from a diverse range of sources. The core challenge is to provide …

The notion of a compositional language of thought (LOT) has been central in computational
accounts of cognition from earliest attempts (Boole, 1854; Fodor, 1975) to the present day …

Describing user activity plays an essential role in ambient intelligence. In this work, we
review different methods for human activity recognition, classified as data-driven and …

Logical models of arguement formalize commonsense reasoning while taking process and
computation seriously. This survey discusses the main ideas that characterize different …

In recent years, there has been a growing interest in the adoption of ontologies and
ontological reasoning to automatically recognize complex context data such as human …

Web Service Composition as AI Planning – a Survey∗ Page 1 Web Service Composition as AI
Planning – a Survey∗ Joachim Peer March 22, 2005 Abstract This article gives an overview of …

Automated planning requires action models described using languages such as the
Planning Domain Definition Language (PDDL) as input, but building action models from …

The ever-increasing density in cloud computing parties, ie users, services, providers and
data centres, has led to a significant exponential growth in: data produced and transferred …

The purpose of the Fluent Calculus is to solve the inferential Frame Problem. While the
representational aspect of the Frame Problem means the problem of specifying all non …