Learn More
In this paper we present and compare two different approaches to the notion of " relational role " and connected issues. Both approaches are based on the introduction of the notion of " qua-individual " and on the reification of relations. We use a classical problem in the literature on roles, namely the counting problem, as testbed, and we show how the two(More)
We present an unsupervised approach for the automatic detection of static interactive groups. The approach builds upon a novel multi-scale Hough voting policy, which incorporates in a flexible way the sociological notion of group as F-formation; the goal is to model at the same time small arrangements of close friends and aggregations of many individuals(More)
Most of the efforts conducted on services nowadays are focusing on aspects related to data and control flow, often disregarding the main goal of the future Internet of services, namely to allow the smooth interaction of people and computers with services in the actual world. Our main claim is that it is crucial, to achieve such goal, to build a global(More)
As a growing number of economic transactions tend to happen in the Web, their legal implications and assumptions need to be made explicit in the proper way, in order to facilitate interoperability across different normative systems, encourage transparency towards the end users and ultimately promote trust in automated services. In particular, potentially(More)
Despite the ubiquity of services, there is still no consensus on their exact nature and structure. This consensus, however, is necessary to unambiguously describe and trade services physically as well as in an Internet of Service. To make some progress towards a shared conceptualization, we present in this paper a general service model based on the DOLCE(More)
This paper describes part of the work within the ProVotE project, whose goal is the introduction of e-voting systems for local elections. The approach is aimed at providing both precise models of the electoral processes, and mechanisms for documenting and reasoning on the possible alternative implementations of the procedures. It is based on defining an(More)