Strategic Majoritarian Voting with Propositional Goals

International audienceWe study strategic behaviour in goal-based voting, where agents take a collective decision over multiple binary issues based on their individual goals (expressed as propositional formulas). We focus on three generalizations of the issue-wise majority rule, and study their resistance to manipulability in the general case, as well as for restricted languages for goals. We also study how computationally hard it is for an agent to know if they can profitably manipulate