2025
An axiomatic characterization of Split Cycle.
Soc. Choice Welf., May, 2025
pref_voting: The Preferential Voting Tools package for Python.
J. Open Source Softw., January, 2025
Characterizations of voting rules based on majority margins.
CoRR, January, 2025
Learning to Manipulate Under Limited Information.
Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025
2024
Social Choice for AI Alignment: Dealing with Diverse Human Feedback.
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2024
Position: Social Choice Should Guide AI Alignment in Dealing with Diverse Human Feedback.
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Forty-first International Conference on Machine Learning, 2024
2023
An extension of May's Theorem to three alternatives: axiomatizing Minimax voting.
CoRR, 2023
2022
Choice-Driven Counterfactuals.
J. Philos. Log., 2022
An approach to generalizing some impossibility theorems in social choice.
CoRR, 2022
2021
Measuring Violations of Positive Involvement in Voting.
Proceedings of the Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2021
Voting Theory in the Lean Theorem Prover.
Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021
2020
Arrow's decisive coalitions.
Soc. Choice Welf., 2020
Axioms for Defeat in Democratic Elections.
CoRR, 2020
Split Cycle: A New Condorcet Consistent Voting Method Independent of Clones and Immune to Spoilers.
CoRR, 2020
Intention as commitment toward time.
Artif. Intell., 2020
2019
Strategic Voting Under Uncertainty About the Voting Method.
Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019
2017
Action Types in STIT Semantics.
Rev. Symb. Log., 2017
2016
Dependence and Independence in Social Choice: Arrow's Theorem.
Proceedings of the Dependence Logic, Theory and Applications, 2016
2015
Dynamic Models of Rational Deliberation in Games.
Proceedings of the Models of Strategic Reasoning - Logics, Games, and Communities, 2015
On the use (and abuse) of Logic in Game Theory.
J. Philos. Log., 2015
2014
Changing Types: Information Dynamics for Qualitative Type Spaces.
Stud Logica, 2014
Evidence and plausibility in neighborhood structures.
Ann. Pure Appl. Log., 2014
Temporal Aspects of the Dynamics of Knowledge.
Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014
2013
The Wisdom of Crowds: Methods of Human Judgement Aggregation.
Proceedings of the Handbook of Human Computation, 2013
Substantive assumptions in interaction: a logical perspective.
Synth., 2013
When is an example a counterexample?
Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013
2012
Editorial Introduction: Selected Papers from the 2nd Workshop on Logic, Rationality and Interaction (LORI-II).
J. Philos. Log., 2012
Evidence Logic: A New Look at Neighborhood Structures.
Proceedings of the Advances in Modal Logic 9, 2012
2011
Dynamic Logics of Evidence-Based Beliefs.
Stud Logica, 2011
Reasoning with Protocols under imperfect Information.
Rev. Symb. Log., 2011
Toward a Theory of Play: A Logical Perspective on Games and Interaction.
Games, 2011
A Dynamic Analysis of Interactive Rationality.
Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011
DEL Planning and Some Tractable Cases.
Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011
Logical Dynamics of Evidence.
Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011
Towards a Logical Analysis of <i>Adjusted Winner</i>.
Proceedings of the Proof, Computation and Agency - Logic at the Crossroads., 2011
2010
Dynamic logics of knowledge and access.
Synth., 2010
Temporal Logics of Agency.
J. Log. Lang. Inf., 2010
Joint Revision of Beliefs and Intention.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
2009
Logic and intelligent interaction.
Synth., 2009
A General Approach to Aggregation Problems.
J. Log. Comput., 2009
Merging Frameworks for Interaction.
J. Philos. Log., 2009
Neighbourhood Structures: Bisimilarity and Basic Model Theory
Log. Methods Comput. Sci., 2009
2008
A Note on Assumption-Completeness in Modal Logic.
Proceedings of the Logic and the Foundations of Game and Decision Theory, 2008
2007
Understanding the Brandenburger-Keisler Paradox.
Stud Logica, 2007
Some comments on history based structures.
J. Appl. Log., 2007
Merging frameworks for interaction: DEL and ETL.
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007
Bisimulation for Neighbourhood Structures.
Proceedings of the Algebra and Coalgebra in Computer Science, 2007
2006
The Logic of Knowledge Based Obligation.
Synth., 2006
First-Order Classical Modal Logic.
Stud Logica, 2006
Modal Logics of Negotiation and Preference.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006
The Tree of Knowledge in Action: Towards a Common Perspective.
Proceedings of the Advances in Modal Logic 6, 2006
2005
First-order classical modal logic: applications in logics of knowledge and probability.
Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), 2005
2004
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004
Knowledge-Theoretic Properties of Strategic Voting.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
The Logic of Communication Graphs.
Proceedings of the Declarative Agent Languages and Technologies II, 2004