Eric Pacuit

According to our database, Eric Pacuit authored at least 54 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Social Choice for AI Alignment: Dealing with Diverse Human Feedback.

Vincent Conitzer, Rachel Freedman, Jobst Heitzig, Wesley H. Holliday, Bob M. Jacobs, Nathan Lambert, Milan Mossé, Eric Pacuit, Stuart Russell, Hailey Schoelkopf, Emanuel Tewolde, William S. Zwicker

CoRR, 2024

Learning to Manipulate under Limited Information.

Wesley H. Holliday, Alexander Kristoffersen, Eric Pacuit

CoRR, 2024

Position: Social Choice Should Guide AI Alignment in Dealing with Diverse Human Feedback.

Vincent Conitzer, Rachel Freedman, Jobst Heitzig, Wesley H. Holliday, Bob M. Jacobs, Nathan Lambert, Milan Mossé, Eric Pacuit, Stuart Russell, Hailey Schoelkopf, Emanuel Tewolde, William S. Zwicker

Proceedings of the Forty-first International Conference on Machine Learning, 2024

2023

An extension of May's Theorem to three alternatives: axiomatizing Minimax voting.

Wesley H. Holliday, Eric Pacuit

CoRR, 2023

2022

Choice-Driven Counterfactuals.

Ilaria Canavotto, Eric Pacuit

J. Philos. Log., 2022

An Axiomatic Characterization of Split Cycle.

Yifeng Ding, Wesley H. Holliday, Eric Pacuit

CoRR, 2022

An approach to generalizing some impossibility theorems in social choice.

Wesley H. Holliday, Eric Pacuit, Saam Zahedian

CoRR, 2022

2021

Stable Voting.

Wesley H. Holliday, Eric Pacuit

CoRR, 2021

Measuring Violations of Positive Involvement in Voting.

Wesley H. Holliday, Eric Pacuit

Proceedings of the Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2021

Voting Theory in the Lean Theorem Prover.

Wesley H. Holliday, Chase Norman, Eric Pacuit

Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021

2020

Arrow's decisive coalitions.

Wesley H. Holliday, Eric Pacuit

Soc. Choice Welf., 2020

Axioms for Defeat in Democratic Elections.

Wesley H. Holliday, Eric Pacuit

CoRR, 2020

Split Cycle: A New Condorcet Consistent Voting Method Independent of Clones and Immune to Spoilers.

Wesley H. Holliday, Eric Pacuit

CoRR, 2020

Intention as commitment toward time.

Marc van Zee, Dragan Doder, Leon van der Torre, Mehdi Dastani, Thomas Icard, Eric Pacuit

Artif. Intell., 2020

2019

Strategic Voting Under Uncertainty About the Voting Method.

Wesley H. Holliday, Eric Pacuit

Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019

2017

Action Types in STIT Semantics.

John F. Horty, Eric Pacuit

Rev. Symb. Log., 2017

2016

Dependence and Independence in Social Choice: Arrow's Theorem.

Eric Pacuit, Fan Yang

Proceedings of the Dependence Logic, Theory and Applications, 2016

2015

Dynamic Models of Rational Deliberation in Games.

Eric Pacuit

Proceedings of the Models of Strategic Reasoning - Logics, Games, and Communities, 2015

On the use (and abuse) of Logic in Game Theory.

Eric Pacuit

J. Philos. Log., 2015

2014

Changing Types: Information Dynamics for Qualitative Type Spaces.

Dominik Klein, Eric Pacuit

Stud Logica, 2014

Evidence and plausibility in neighborhood structures.

Johan van Benthem, David Fernández-Duque, Eric Pacuit

Ann. Pure Appl. Log., 2014

Temporal Aspects of the Dynamics of Knowledge.

Valentin Goranko, Eric Pacuit

Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013

The Wisdom of Crowds: Methods of Human Judgement Aggregation.

Aidan Lyon, Eric Pacuit

Proceedings of the Handbook of Human Computation, 2013

Substantive assumptions in interaction: a logical perspective.

Olivier Roy, Eric Pacuit

Synth., 2013

When is an example a counterexample?

Eric Pacuit, Arthur Paul Pedersen, Jan-Willem Romeijn

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).

Eric Pacuit

J. Philos. Log., 2012

Evidence Logic: A New Look at Neighborhood Structures.

Johan van Benthem, David Fernández-Duque, Eric Pacuit

Proceedings of the Advances in Modal Logic 9, 2012

2011

Dynamic Logics of Evidence-Based Beliefs.

Johan van Benthem, Eric Pacuit

Stud Logica, 2011

Reasoning with Protocols under imperfect Information.

Eric Pacuit, Sunil Simon

Rev. Symb. Log., 2011

Toward a Theory of Play: A Logical Perspective on Games and Interaction.

Johan van Benthem, Eric Pacuit, Olivier Roy

Games, 2011

A Dynamic Analysis of Interactive Rationality.

Eric Pacuit, Olivier Roy

Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

DEL Planning and Some Tractable Cases.

Benedikt Löwe, Eric Pacuit, Andreas Witzel

Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

Logical Dynamics of Evidence.

Johan van Benthem, Eric Pacuit

Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

Towards a Logical Analysis of <i>Adjusted Winner</i>.

Eric Pacuit

Proceedings of the Proof, Computation and Agency - Logic at the Crossroads., 2011

2010

Dynamic logics of knowledge and access.

Tomohiro Hoshi, Eric Pacuit

Synth., 2010

Temporal Logics of Agency.

Johan van Benthem, Eric Pacuit

J. Log. Lang. Inf., 2010

Joint Revision of Beliefs and Intention.

Thomas Icard, Eric Pacuit, Yoav Shoham

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

2009

Logic and intelligent interaction.

Thomas Ågotnes, Johan van Benthem, Eric Pacuit

Synth., 2009

A General Approach to Aggregation Problems.

Tijmen R. Daniëls, Eric Pacuit

J. Log. Comput., 2009

Merging Frameworks for Interaction.

Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi, Eric Pacuit

J. Philos. Log., 2009

Neighbourhood Structures: Bisimilarity and Basic Model Theory

Helle Hvid Hansen, Clemens Kupke, Eric Pacuit

Log. Methods Comput. Sci., 2009

2008

A Note on Assumption-Completeness in Modal Logic.

Jonathan A. Zvesper, Eric Pacuit

Proceedings of the Logic and the Foundations of Game and Decision Theory, 2008

2007

Understanding the Brandenburger-Keisler Paradox.

Eric Pacuit

Stud Logica, 2007

Some comments on history based structures.

Eric Pacuit

J. Appl. Log., 2007

Merging frameworks for interaction: DEL and ETL.

Johan van Benthem, Jelle Gerbrandy, Eric Pacuit

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

Bisimulation for Neighbourhood Structures.

Helle Hvid Hansen, Clemens Kupke, Eric Pacuit

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006

The Logic of Knowledge Based Obligation.

Eric Pacuit, Rohit Parikh, Eva Cogan

Synth., 2006

First-Order Classical Modal Logic.

Horacio L. Arló-Costa, Eric Pacuit

Stud Logica, 2006

Modal Logics of Negotiation and Preference.

Ulle Endriss, Eric Pacuit

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

The Tree of Knowledge in Action: Towards a Common Perspective.

Johan van Benthem, Eric Pacuit

Proceedings of the Advances in Modal Logic 6, 2006

2005

First-order classical modal logic: applications in logics of knowledge and probability.

Horacio L. Arló-Costa, Eric Pacuit

Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), 2005

2004

Majority Logic.

Eric Pacuit, Samer Salame

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Knowledge-Theoretic Properties of Strategic Voting.

Samir Chopra, Eric Pacuit, Rohit Parikh

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

The Logic of Communication Graphs.

Eric Pacuit, Rohit Parikh

Proceedings of the Declarative Agent Languages and Technologies II, 2004