Preference logics and AI preference representation languages are both concerned with reasoning about preferences on combinatorial domains, yet so far these two streams of research...
Abstract. Although playing real-time multi-player games online over the Internet became more and more popular in the past few years, people still enjoy meeting for so-called “LAN...
This paper outlines the design requirements of a GPS car navigation system for the elderly and the young by proposing a set of new guidelines for designing such systems. Our study...
The issue of this work is how to type mobility, in the sense that we tackle the problem of typing not only mobile agents but also their movement. This yields higher-order types for...
Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa...
At any given time, the stability of a community depends on the right balance of trust and distrust. Furthermore, we face information overload, increased uncertainty and risk takin...