Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
Nicolas Troquard, Wiebe van der Hoek, Michael Wool...
We examine data collected from on-line assessments of the numeracy and literacy skills of young students in order to construct probabilistic agent-based controllers. We demonstrat...
Elizabeth Sklar, Jordan Salvit, Christopher Camach...
This paper presents a hybrid artificial intelligent solution that helps to automatically generate proposals, aimed at improving the internal states of organization units from a Kno...
Assisting users with To Do lists presents new challenges for intelligent user interfaces. This paper presents our approach and an implemented system, BEAM, to process To Do list e...