On the logic of preference and judgment aggregation, Autonomous Agents and Multi-Agent Systems, vol.22, 2011. ,
Handbook of Social Choice and Welfare, 2002. ,
Dynamic logic of propositional assignments: a wellbehaved variant of PDL, Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, (LICS), 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01240721
Voting procedures, Handbook of Social Choice and Welfare, vol.1, pp.173-236, 2002. ,
Proving the incompatibility of efficiency and strategyproofness via SMT solving, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI), 2016. ,
Finding strategyproof social choice functions via SAT solving, Journal of Artificial Intelligence Research, vol.55, pp.565-602, 2016. ,
Optimal bounds for the no-show paradox via SAT solving, Mathematical Social Sciences, vol.90, pp.18-27, 2017. ,
A syntactic proof of Arrow's theorem in a modal logic of social choice functions, Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems, (AAMAS), 2015. ,
Proving classical theorems of social choice theory in modal logic, Autonomous Agents and Multi-Agent Systems, vol.30, pp.963-989, 2016. ,
Strategy-proof judgment aggregation, Economics & Philosophy, vol.23, pp.269-300, 2007. ,
Judgment aggregation by quota rules: majority voting generalized, Journal of Theoretical Politics, vol.19, pp.391-424, 2007. ,
Judgment aggregation without full rationality, Social Choice and Welfare, vol.31, pp.15-39, 2008. ,
Aggregation of binary evaluations for truth-functional agendas, Social Choice and Welfare, vol.32, pp.221-241, 2009. ,
A dynamic logic framework for abstract argumentation, Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR), 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01787378
Making things happen, Studia Logica, vol.66, pp.41-58, 2000. ,
Judgment aggregation, Handbook of Computational Social Choice, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01501681
Binary Aggregation by selection of the most representative voter, Proceedings of the 28th AAAI Conference on Artificial Intelligence, (AAAI), 2014. ,
Complexity of judgment aggregation, Journal of Artificial Intelligence Research, vol.45, pp.481-514, 2012. ,
Succinctness of languages for judgment aggregation, Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR), 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01501681
Propositional dynamic logic of regular programs, Journal of Computer and System Sciences, vol.18, pp.194-211, 1979. ,
How to do social simulation in logic: modelling the segregation game in a dynamic logic of assignments, Proceedings of the 12th International Workshop on Multi-Agent Systems and Agent-Based Simulation, 2011. ,
Automated search for impossibility theorems in social choice theory: ranking sets of objects, Journal of Artificial Intelligence Research, vol.40, pp.143-174, 2011. ,
Binary aggregation with integrity constraints, Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI), 2011. ,
First-order logic formalisation of impossibility theorems in preference aggregation, Journal of Philosophical Logic, vol.42, pp.595-618, 2013. ,
Judgment aggregation: a primer, Synthesis Lectures on Artificial Intelligence and Machine Learning, vol.8, pp.1-151, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01497079
Belief change operations: a short history of nearly everything, told in dynamic logic of propositional assignments, Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR), 2014. ,
A dynamic logic of normative systems, Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI), 2011. ,
Mathematics without numbers, Daedalus, vol.88, pp.577-591, 1959. ,
The one and the many: adjudication in collegial courts, California Law Review, vol.81, pp.1-59, 1993. ,
How hard is it to compute majority-preserving judgment aggregation rules?, Proceedings of the 21st European Conference on Artificial Intelligence (ECAI), 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01497527
The theory of judgment aggregation: an introductory review, Synthese, vol.187, pp.179-207, 2012. ,
Aggregating sets of judgments: an impossibility result, Economics and Philosophy, vol.18, pp.89-110, 2002. ,
Prime forms and minimal change in propositional belief bases, Annals of Mathematics and Artificial Intelligence, vol.59, pp.1-45, 2010. ,
Consequence finding algorithms, Handbook of Defeasible Reasoning and Uncertainty Management Systems, pp.41-145, 2000. ,
A set of independent necessary and sufficient conditions for simple majority decision, Econometrica: Journal of the Econometric Society, vol.20, pp.680-684, 1952. ,
Methods for distance-based judgment aggregation, Social Choice and Welfare, vol.32, pp.575-601, 2009. ,
Social choice theory in HOL: Arrow and Gibbard-Satterthwaite, Journal of Automated Reasoning, vol.43, pp.289-304, 2009. ,
Axiomatizing collective judgment sets in a minimal logical language, Synthese, vol.158, pp.233-250, 2007. ,
Natural deduction for modal logic of judgment aggregation, Journal of Logic Language and Information, vol.25, pp.1-20, 2016. ,
Judgement aggregation in non-classical logics, Journal of Applied Non-Classical Logics, vol.27, pp.106-139, 2017. ,
Semantical considerations on Floyd-Hoare logic, Proceedings of the 17th Annual Symposium on Foundations of Computer Science (FOCS), 1976. ,
The single profile analogues to multi profile theorems: mathematical logic's approach, International Economic Review, vol.25, pp.719-730, 1984. ,
Computer-aided proofs of Arrow's and other impossibility theorems, Artificial Intelligence, vol.173, pp.1041-1053, 2009. ,
Logics of social choice and perspectives on their software implementation. In Accompanying notes for the Schloss Dagstuhl Seminar 11101, 2011. ,
Reasoning about social choice functions, Journal of Philosophical Logic, vol.40, pp.473-498, 2011. ,
Generation of permutations by transposition, Mathematics of Computation, vol.15, pp.192-195, 1961. ,
Arrow's impossibility theorem, Formalized Mathematics, vol.15, pp.171-174, 2007. ,