This paper adds evidence structure to standard models of belief, in the form of families of sets of worlds. We show how these more fine-grained models support natural actions of “evidence management”, ranging from update with external new information to internal rearrangement. We show how this perspective leads to new richer languages for existing neighborhood semantics for modal logic. Our mai...

We introduce a new human machine interface based on the human body posture tracking. The using of multiple low cost and miniaturized sensors distributed on the body is able to provide the movement without any external sources. This information can then be used for real time character animation, interaction with virtual worlds and medical applications. Thanks to ease of use and low cost required...

Recently, virtual worlds like “Second Life” have received a lot of attention not only as environments that promote social interaction, but also as media in which scientific research can be performed effectively. In this latter aspect, they offer several advantages over traditional 3D visual applications, such as the capacity of supporting true collaborative endeavors in which real people, throu...

We discuss and demonstrate how Virtual Worlds available at the University of Bedfordshire have been used to teach Project Management using a ‘situated learning’ approach. In particular we have a closer look on the aspect of teaching risk management and identify how different aspects of risk are addressed in a variety of implementations of Virtual Worlds, namely Second Life, a Virtual World prov...

In order to thrive, an agent must satisfy dynamic constraints deriving from four sources: its internal structure, its goals and preferences, its external environment and the coupling between its internal and external worlds. The life of any agent who does not respect those constraints will be out of balance. Based on this framing of the problem of agent design, I shall give four perspectives on...

In this work, we propose to use fiber tracking in order to analyze and quantify the state of the pyramidal tracts in patients affected by tumors. We introduce a framework that includes an automatic method to obtain the fibers involved in the pyramidal tract of any subject, in order to compare robustly fiber bundles affected by tumors with healthy fiber tracts from control subjects and also to q...