R. Alur, T. A. Henzinger, and O. Kupferman, Alternating-Time Temporal Logic, Journal of the ACM, vol.49, issue.5, pp.672-713, 2002.

S. Arora and B. Barak, Computational Complexity: A Modern Approach. Cambridge University Press, 2009.

K. J. Arrow, Social Choice and Individual Values, 1951.

E. Awad, R. Booth, F. Tohmé, and I. Rahwan, Judgement Aggregation in Multi-Agent Argumentation, Journal of Logic and Computation, vol.27, issue.1, pp.227-259, 2017.

H. Aziz, S. Gaspers, J. Gudmundsson, S. Mackenzie, N. Mattei et al., Computational Aspects of Multi-Winner Approval Voting, Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2015), 2015.

D. Baumeister, G. Erdélyi, O. J. Erdélyi, R. , and J. , Complexity of Manipulation and Bribery in Judgment Aggregation for Uniform Premise-Based Quota Rules, Mathematical Social Sciences, vol.76, pp.19-30, 2015.

F. Belardinelli and A. Herzig, On Logics of Strategic Ability Based on Propositional Control, Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-2016), 2016.
URL : https://hal.archives-ouvertes.fr/hal-01424478

F. Benamara, S. Kaci, and G. Pigozzi, Individual Opinions-Based Judgment Aggregation Procedures, Proceedings of the 7th International Conference on Modeling Decisions for Artificial Intelligence (MDAI-2010), 2010.

S. Bhagat and J. A. Brickley, Cumulative Voting: The Value of Minority Shareholder Voting Rights, The Journal of Law and Economics, vol.27, issue.2, pp.339-365, 1984.

M. Bienvenu, J. Lang, W. , and N. , From Preference Logics to Preference Languages, and Back, Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00624483

P. Blackburn, J. F. Van-benthem, and F. Wolter, Handbook of Modal Logic, vol.3, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00120237

E. Bonzon, M. Lagasquie-schiex, J. Lang, and B. Zanuttini, Boolean Games Revisited, Proceedings of the 17th European Conference on Artificial Intelligence (ECAI-2006), 2006.
URL : https://hal.archives-ouvertes.fr/hal-00197022

S. Botan, U. Grandi, and L. Perrussel, Multi-Issue Opinion Diffusion under Constraints, Proceedings of the 18th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2019), 2019.
URL : https://hal.archives-ouvertes.fr/hal-02435349

C. Boutilier, Toward a Logic for Qualitative Decision Theory, Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR-1994), 1994.

C. Boutilier, R. I. Brafman, C. Domshlak, H. H. Hoos, and D. Poole, CPnets: A Tool for Representing and Reasoning with Conditional Ceteris Paribus Preference Statements, Journal of Artificial Intelligence Research, vol.21, pp.135-191, 2004.

S. Bouveret, U. Endriss, L. , and J. , Conditional Importance Networks: A Graphical Language for Representing Ordinal, Monotonic Preferences over Sets of Goods, Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-2009), 2009.

R. I. Brafman and C. Domshlak, Introducing Variable Importance Tradeoffs into CP-Nets, Proceedings of the 18th Conference in Uncertainty in Artificial Intelligence (UAI-2002), 2002.

R. I. Brafman, C. Domshlak, and S. E. Shimony, On Graphical Modeling of Preference and Importance, Journal of Artificial Intelligence Research, vol.25, pp.389-424, 2006.

R. I. Brafman and M. Tennenholtz, On the Foundations of Qualitative Decision Theory, Proceedings of the 13th AAAI Conference on Artificial Intelligence (AAAI-1996), 1996.

S. Brams and P. C. Fishburn, Approval Voting, American Political Science Review, vol.72, issue.3, pp.831-847, 1978.
URL : https://hal.archives-ouvertes.fr/hal-00119047

S. Brams and P. C. Fishburn, Approval Voting, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00119047

F. Brandt, V. Conitzer, U. Endriss, A. D. Procaccia, L. et al., Handbook of Computational Social Choice, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01504575

M. Bratman, Intention, Plans, and Practical Reason, vol.10, 1987.

G. Brewka, A Rank Based Description Language for Qualitative Preferences, Proceedings of the 16th European Conference on Artificial Intelligence (ECAI-2004), 2004.

M. Brill, Interactive Democracy, Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS-2018) / Blue Sky Track, 2018.

M. Brill, E. Elkind, U. Endriss, and U. Grandi, Pairwise Diffusion of Preference Rankings in Social Networks, Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-2016), 2016.

N. Bulling, J. Dix, and W. Jamroga, Model Checking Logics of Strategic Ability: Complexity*, Specification and Verification of Multi-agent Systems, pp.125-159, 2010.

T. Bylander, The Computational Complexity of Propositional STRIPS Planning, Artificial Intelligence, vol.69, issue.1-2, pp.165-204, 1994.

O. Cailloux and U. Endriss, Arguing about Voting Rules, Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2016), 2016.
URL : https://hal.archives-ouvertes.fr/hal-01388186

W. Campbell, The Origin and Growth of Cumulative Voting for Directors. The Business Lawyer, vol.10, pp.3-16, 1954.

Z. Chen and S. Toda, The Complexity of Selecting Maximal Solutions. Information and Computation, vol.119, pp.231-239, 1995.

Y. Chevaleyre, U. Endriss, J. Lang, and N. Maudet, Preference Handling in Combinatorial Domains: From AI to Social Choice, AI Magazine, Special Issue on Preferences, vol.29, issue.4, pp.37-46, 2008.

P. Ciaccia, Conditional Preferences: A New Semantics for Database Queries, Proceedings of the 15th Italian Symposium on Advanced Database Systems (SEBD-2007), 2007.

P. R. Cohen and H. J. Levesque, Intention is Choice with Commitment. Artificial Intelligence, vol.42, pp.213-261, 1990.

V. Conitzer, Designing Preferences, Beliefs, and Identities for Artificial Intelligence, Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI-19) Senior Member / Blue Sky Track, 2019.

V. Conitzer, T. Sandholm, L. , and J. , When are Elections with Few Candidates Hard to Manipulate?, Journal of the ACM, vol.54, issue.3, p.14, 2007.

V. Conitzer, T. Walsh, F. Brandt, V. Conitzer, U. Endriss et al., Barriers to Manipulation in Voting, Handbook of Computational Social Choice, chapter 6, 2016.

C. Cornelio, J. Goldsmith, N. Mattei, F. Rossi, and K. B. Venable, Updates and Uncertainty in CP-nets, Proceedings of the 26th Australasian Joint Conference on Artificial Intelligence (AI-2013), 2013.

C. Cornelio, U. Grandi, J. Goldsmith, N. Mattei, F. Rossi et al., Reasoning with PCP-nets in a Multi-Agent Context, Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2015), 2015.

M. Costantini, C. Groenland, and U. Endriss, Judgment Aggregation under Issue Dependencies, Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI-2016), 2016.

M. Dastani and L. Van-der-torre, Specifying the Merging of Desires into Goals in the Context of Beliefs, Proceedings of the 1st EurAsian Conference on Information and Communication Technology, 2002.

F. Dietrich and C. List, Judgment Aggregation by Quota Rules: Majority Voting Generalized, Journal of Theoretical Politics, vol.19, issue.4, pp.391-424, 2007.

F. Dietrich and C. List, Judgment Aggregation with Consistency Alone. Department of Government, London School of Economics and Political Science, 2007.

F. Dietrich and C. List, Strategy-Proof Judgment Aggregation, Economics & Philosophy, vol.23, issue.3, pp.269-300, 2007.

F. Dietrich and C. List, Judgment Aggregation without Full Rationality, Social Choice and Welfare, vol.31, issue.1, pp.15-39, 2008.

E. Dokow and R. Holzman, Aggregation of Binary Evaluations, Journal of Economic Theory, vol.145, issue.2, pp.495-511, 2010.

E. Dokow and R. Holzman, Aggregation of Binary Evaluations with Abstentions, Journal of Economic Theory, vol.145, issue.2, pp.544-561, 2010.

D. Dubois, H. Prade, and R. Sabbadin, Decision-Theoretic Foundations of Qualitative Possibility Theory, European Journal of Operational Research, vol.128, issue.3, pp.459-478, 2001.

E. Elkind, P. Faliszewski, and A. Slinko, On the Role of Distances in Defining Voting Rules, Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2010), 2010.

U. Endriss, F. Brandt, V. Conitzer, U. Endriss, J. Lang et al., Judgment Aggregation, Handbook of Computational Social Choice, vol.17, pp.399-426, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01501681

U. Endriss, Judgment Aggregation with Rationality and Feasibility Constraints, Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2018), 2018.

U. Endriss and U. Grandi, Binary Aggregation by Selection of the Most Representative Voter, Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI-2014), 2014.

U. Endriss and U. Grandi, Graph Aggregation, Artificial Intelligence, vol.245, pp.86-114, 2017.
URL : https://hal.archives-ouvertes.fr/hal-02089268

U. Endriss, U. Grandi, R. De-haan, L. , and J. , Succinctness of Languages for Judgment Aggregation, Proceedings of the 15th International Conference on the Principles of Knowledge Representation and Reasoning, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01501681

U. Endriss, U. Grandi, and D. Porello, Complexity of Judgment Aggregation, Journal of Artificial Intelligence Research, vol.45, pp.481-514, 2012.

P. Everaere, S. Konieczny, M. , and P. , The Strategy-Proofness Landscape of Merging, Journal of Artificial Intelligence Research, vol.28, pp.49-105, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00191103

P. Everaere, S. Konieczny, M. , and P. , Belief Merging versus Judgment Aggregation, Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2015), 2015.
URL : https://hal.archives-ouvertes.fr/hal-01160407

P. Everaere, S. Konieczny, M. , and P. , An Introduction to Belief Merging and its Links with Judgment Aggregation, Trends in Computational Social Choice, pp.123-143, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01643087

R. E. Fikes and N. J. Nilsson, STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving, Artificial Intelligence, vol.2, issue.3-4, pp.189-208, 1971.

P. Gärdenfors, A Representation Theorem for Voting with Logical Consequences, Economics & Philosophy, vol.22, issue.2, pp.181-190, 2006.

J. Gerbrandy, Logics of Propositional Control, Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2006), 2006.

A. Gibbard, Manipulation of Voting Schemes: A General Result. Econometrica, pp.587-601, 1973.

R. Gibbons, A Primer in Game Theory. Harvester Wheatsheaf New York, 1992.

J. Gill, Computational Complexity of Probabilistic Turing Machines, SIAM Journal on Computing, vol.6, issue.4, pp.675-695, 1977.

J. Goldsmith, J. Lang, M. Truszczynski, W. , and N. , The Computational Complexity of Dominance and Consistency in CP-Nets, Journal of Artificial Intelligence Research, vol.33, pp.403-432, 2008.

V. Goranko and W. Jamroga, Comparing Semantics of Logics for Multi-Agent Systems, Information, Interaction and Agency, pp.77-116, 2004.

U. Grandi and U. Endriss, Binary Aggregation with Integrity Constraints, Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-2011), 2011.

U. Grandi and U. Endriss, Lifting integrity constraints in binary aggregation, Artificial Intelligence, pp.45-66, 2013.

U. Grandi, D. Grossi, and P. Turrini, Negotiable Votes, Journal of Artificial Intelligence Research, vol.64, pp.895-929, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02451048

U. Grandi, E. Lorini, A. Novaro, and L. Perrussel, Strategic Disclosure of Opinions on a Social Network, Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2017), 2017.
URL : https://hal.archives-ouvertes.fr/hal-01736247

U. Grandi, E. Lorini, and L. Perrussel, Propositional Opinion Diffusion, Proceedings of the 14th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2015), 2015.
URL : https://hal.archives-ouvertes.fr/hal-01523658

U. Grandi, H. Luo, N. Maudet, and F. Rossi, Aggregating CP-nets with Unfeasible Outcomes, Proceedings of the 20th International Conference on Principles and Practice of Constraint Programming, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01393686

D. Grossi and G. Pigozzi, Judgment Aggregation: A Primer. Morgan and Claypool, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01497079

J. Gutierrez, P. Harrenstein, and M. Wooldridge, Iterated Boolean Games, Proceedings of the 23th International Joint Conference on Artificial Intelligence (IJCAI-2013), 2013.

J. Gutierrez, P. Harrenstein, and M. Wooldridge, Iterated Boolean Games. Information and Computation, vol.242, pp.53-79, 2015.

R. De-haan and M. Slavkovik, Complexity Results for Aggregating Judgments using Scoring or Distance-Based Procedures, Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems (AAMAS-2017), 2017.

P. Harrenstein, W. Van-der-hoek, J. Meyer, and C. Witteveen, Boolean Games, Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2001), 2001.
URL : https://hal.archives-ouvertes.fr/hal-01501680

E. Hemaspaandra, H. Spakowski, and J. Vogel, The Complexity of Kemeny Elections, Theoretical Computer Science, vol.349, issue.3, pp.382-391, 2005.

A. Herzig, Logics of Knowledge and Action: Critical Analysis and Challenges, Autonomous Agents and Multi-Agent Systems, vol.29, issue.5, pp.719-753, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01285093

W. Van-der-hoek and M. Wooldridge, On the Logic of Cooperation and Propositional Control, Artificial Intelligence, vol.164, issue.1-2, pp.81-119, 2005.

J. R. Isbell, On the Enumeration of Majority Games. Mathematical Tables and Other Aids to Computation, vol.13, pp.21-28, 1959.

J. L. Jimeno, J. Pérez, and E. García, An Extension of the Moulin No Show Paradox for Voting Correspondences, Social Choice and Welfare, vol.33, issue.3, pp.343-359, 2009.

H. Kautz, D. Mcallester, and B. Selman, Encoding Plans in Propositional Logic, 1996.

H. Kautz and B. Selman, Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search, Proceedings of the 13th National Conference on Artificial Intelligence (AAAI-1996), 1996.

H. A. Kautz and B. Selman, Planning as Satisfiability, Proceedings of the10th European Conference on Artificial Intelligence (ECAI-1992), 1992.

C. Klamler and U. Pferschy, The Traveling Group Problem, Social Choice and Welfare, vol.29, issue.3, pp.429-452, 2007.

S. Konieczny, J. Lang, M. , and P. , Distance Based Merging: A General Framework and Some Complexity Results, Proceedings of the 8th International Conference on Principles and Knowledge Representation and Reasoning, 2002.

S. Konieczny and R. P. Pérez, Merging Information Under Constraints: A Logical Framework, Journal of Logic and Computation, vol.12, issue.5, pp.773-808, 2002.

J. Lang, Logical Preference Representation and Combinatorial Vote, Annals of Mathematics and Artificial Intelligence, vol.42, issue.1-3, pp.37-71, 2004.

J. Lang and M. Slavkovik, Judgment Aggregation Rules and Voting Rules, Proceedings of the 3rd International Conference on Algorithmic Decision Theory (ADT-2013), 2013.
URL : https://hal.archives-ouvertes.fr/hal-01497205

J. Lang and M. Slavkovik, How Hard is it to Compute Majority-Preserving Judgment Aggregation Rules?, Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014), 2014.
URL : https://hal.archives-ouvertes.fr/hal-01497527

J. Lang, L. Xia, F. Brandt, V. Conitzer, U. Endriss et al., Voting in Combinatorial Domains, Handbook of Computational Social Choice, pp.197-222, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01493535

J. Laslier and R. M. Sanver, Handbook on Approval Voting, 2010.

K. Leyton-brown and Y. Shoham, Essentials of Game Theory: A Concise Multidisciplinary Introduction, Synthesis Lectures on Artificial Intelligence and Machine Learning, vol.2, pp.1-88, 2008.

M. Li, Q. B. Vo, and R. Kowalczyk, A Distributed Social Choice Protocol for Combinatorial Domains, Journal of Heuristics, vol.20, issue.4, pp.453-481, 2014.

M. Li, Q. B. Vo, and R. Kowalczyk, Aggregating Multi-Valued CP-nets: a CSP-Based Approach, Journal of Heuristics, vol.21, issue.1, pp.107-140, 2015.

C. List, The Theory of Judgment Aggregation: An Introductory Review. Synthese, vol.187, pp.179-207, 2012.

C. List and P. Pettit, Aggregating Sets of Judgments: An Impossibility Result, Economics & Philosophy, vol.18, issue.1, pp.89-110, 2002.

C. List and P. Pettit, Aggregating Sets of Judgments: Two Impossibility Results Compared, Synthese, vol.140, issue.1-2, pp.207-235, 2004.

E. Lorini, Logics for Games, Emotions and Institutions, IfCoLog Journal of Logics and their Applications, vol.4, issue.9, pp.3075-3113, 2017.

T. Lukasiewicz and E. Malizia, On the Complexity of mCP-nets, Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI-2016), 2016.

A. Maran, N. Maudet, M. S. Pini, F. Rossi, and K. B. Venable, A Framework for Aggregating Influenced CP-nets and its Resistance to Bribery, Proceedings of the 27th AAAI Conference on Artificial Intelligence (AAAI-2013), 2013.
URL : https://hal.archives-ouvertes.fr/hal-01216098

K. O. May, A set of Independent Necessary and Sufficient Conditions for Simple Majority Decision, Econometrica: Journal of the Econometric Society, pp.680-684, 1952.

R. Meir, Iterative Voting, Trends in Computational Social Choice, vol.4, pp.69-86, 2017.

M. K. Miller, Judgment Aggregation and Subjective Decision-Making, Economics & Philosophy, vol.24, issue.2, pp.205-231, 2008.

T. Miller, Explanation in Artificial Intelligence: Insights from the Social Sciences, Artificial Intelligence, vol.267, pp.1-38, 2019.

H. Moulin, The Strategy of Social Choice, 1983.

A. Novaro, U. Grandi, D. Longin, and E. Lorini, Goal-Based Collective Decisions: Axiomatics and Computational Complexity, Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI-2018), 2018.
URL : https://hal.archives-ouvertes.fr/hal-02316858

A. Pnueli, The Temporal Logic of Programs, Proceedings of the 18th IEEE Symposium on Foundations of Computer Science, 1977.

D. Porello and U. Endriss, Ontology Merging as Social Choice: Judgment Aggregation under the Open World Assumption, Journal of Logic and Computation, vol.24, issue.6, pp.1229-1249, 2014.

C. Qing, U. Endriss, R. Fernández, and J. Kruger, Empirical Analysis of Aggregation Methods for Collective Annotation, Proceedings of the 25th International Conference on Computational Linguistics (COLING-2014), 2014.

A. S. Rao and M. P. Georgeff, Modeling Rational Agents within a BDI-Architecture, Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, 1991.

A. S. Rao and M. P. Georgeff, BDI Agents: From Theory to Practice, Proceedings of the 1st International Conference on Multiagent Systems (ICMAS-1995), 1995.

F. Rossi, K. B. Venable, W. , and T. , mCP Nets: Representing and Reasoning with Preferences of Multiple Agents, Proceedings of the 19th National Conference on Artificial Intelligence, 16th Conference on Innovative Applications of Artificial Intelligence (AAAI-2004), 2004.

S. J. Russell and P. Norvig, Artificial Intelligence: A Modern Approach. Pearson, 2016.

M. A. Satterthwaite, Strategy-Proofness and Arrow's Conditions: Existence and Correspondence Theorems for Voting Procedures and Social Welfare Functions, Journal of Economic Theory, vol.10, issue.2, pp.187-217, 1975.

N. Schwind, K. Inoue, G. Bourgne, S. Konieczny, M. et al., Belief Revision Games, Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI-2015), 2015.
URL : https://hal.archives-ouvertes.fr/hal-01212766

N. Schwind, K. Inoue, G. Bourgne, S. Konieczny, M. et al., Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?, Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-2016), 2016.
URL : https://hal.archives-ouvertes.fr/hal-01562250

Y. Shoham and K. Leyton-brown, Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations, 2008.

Z. Terzopoulou and U. Endriss, Modelling Iterative Judgment Aggregation, Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI-2018), 2018.

Z. Terzopoulou, U. Endriss, and R. De-haan, Aggregating Incomplete Judgments: Axiomatisations for Scoring Rules, Proceedings of the 7th International Workshop on Computational Social Choice, 2018.

J. Uckelman, Y. Chevaleyre, U. Endriss, L. , and J. , Representing Utility Functions via Weighted Goals, Mathematical Logic Quarterly, vol.55, issue.4, pp.341-361, 2009.

D. Van-dalen, Logic and Structure, 2004.

G. Weiss, Multiagent Systems, 2013.

M. P. Wellman and J. Doyle, Preferential Semantics for Goals, Proceedings of the 9th National Conference on Artificial Intelligence (AAAI-1991), 1991.

N. Wilson, Extending CP-Nets with Stronger Conditional Preference Statements, Proceedings of the 19th National Conference on Artificial Intelligence, 16th Conference on Innovative Applications of Artificial Intelligence (AAAI-2004), 2004.

M. Wooldridge, An Introduction to MultiAgent Systems, 2009.

M. Wooldridge, Intelligent Agents, Multiagent Systems, chapter, pp.3-50, 2013.

H. Young, An Axiomatization of Borda's Rule, Journal of Economic Theory, vol.9, issue.1, pp.43-52, 1974.

W. S. Zwicker, F. Brandt, V. Conitzer, U. Endriss, J. Lang et al., Introduction to the Theory of Voting, pp.23-56, 2016.