La théorie des jeux est probablement le modèle formel le plus abouti pour l’étude des interactions stratégiques entre agents. Les jeux booléens, introduits par Harrenstein et al. [HvdHMW01, Har04a], sont desjeux à deux joueurs et à somme nulle. L’utilité des joueurs est représentée par une formule en logique propositionnelle, et les stratégies de chaque joueur consistent à assigner une valeur de vérité à chaque variablequ’il contrôle.Nous avons dans un premier temps généralisé ce cadre à des jeux à n joueurs et à somme non nulle, et nousavons donné dans ce cadre une simple caractérisation des équilibres de Nash et des stratégies dominées.Cela nous a permis de calculer la complexité des problèmes qui en découlent.Ensuite, nous avons introduit plusieurs langages de représentation compacte de préférences afin d’enrichirencore ces jeux : les préférences des joueurs ne seront plus binaires mais représentées grâce à deux de ceslangages : les buts à priorité et les CP-nets.
