The proof theory of multi-agent epistemic logic extended with operators for distributed knowledge is studied. Distributed knowledge of A within a group G means that A follows from ...
We study in this paper the following sequential decision procedure. First, the members of a group show their opinions on all the members, regarding a specific attribute. Taking i...
Abstract. Using audio visualization, we seek to demonstrate how natural interaction is augmented with the addition of interaction history. Our Conversation Clock visualization capt...
In post-merger integration, both human integration and IS integration play a crucial role. In the heart of both of these, lies the integration of the IS personnel. In this paper, ...
: The results of an empirical study are presented to investigate the relationship between different action types (real versus virtual shooting) and different target types (real ver...