āWe present the STORIES methods and tool for (a) an abstracted story representation from a collection of time-indexed documents; (b) visualising it in a way that encourages users...
In this paper we enrich FIEVeL (a modelling language for institutions amenable to model checking) with new constructs to describe norms and sanctions. Moreover, we present a speciļ...
The DORIS project (Dialogue Oriented Roaming Interactive System) aims to develop a spoken dialogue module for an autonomous robotic agent. This paper examines the techniques used b...
Michael Niemann, Ingrid Zukerman, Enes Makalic, Sa...
This paper describes our efforts to factor in a userās browsing behavior to automatically evaluate web pages that the user shows interest in, based on user browsing behaviors wh...
We elaborate on the veriļ¬cation of properties of electronic institutions, a formalism to deļ¬ne and analyse protocols among agents with a view to achieving global and individual...
Marc Esteva, Wamberto Weber Vasconcelos, Carles Si...