We introduce and investigate Normative Synthesis: a new class of problems for the
equilibrium verification that counters the absence of equilibria by purposely constraining …

This thesis revisits the Constraint games framework by rethinking their solving technique in
terms of constraint propagation. Players preferences are considered as global constraints …

In this paper, we present two models for reasoning about strategic actions in opinion
diffusion. In both models, the agents are endowed with goals expressed compactly in a …

Most formalisms for multi-agent systems (MAS) are not adept at explicitly expressing of data
sharing between agents. Yet, disclosure and hiding of data amongst agents impacts on their …

We study voting games on binary issues, where voters hold an objective over the outcome of
the collective decision and are allowed, before the vote takes place, to negotiate their ballots …

Abstract We introduce Boolean Observation Games, a subclass of multi-player finite
strategic games with incomplete information and qualitative objectives. In Boolean …

We introduce a subclass of concurrent game structures (CGS) with imperfect information in
which agents are endowed with private data-sharing capabilities. Importantly, our CGSs are …

This thesis presents research I conducted since obtaining my PhD in computational social
choice, an interdisciplinary field of research which lies between artificial intelligence (in …

1 BACKGROUND I present the motivating example of my thesis, as well as the relevant
background literatures on judgment aggregation, belief merging, preference representation …

Artificial intelligence has a long story of modeling and solving problems. Most of the time, the
problems tackled are not easy. Implementing them, cleanly and efficiently can be …