Eric Pacuit

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 17

Top Topics

Dempster Shafer Belief

Intention Recognition

Axiomatic Characterization

Top Venues

J. Philos. Log.

Soc. Choice Welf.

Publications

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
Social Choice for AI Alignment: Dealing with Diverse Human Feedback. CoRR (2024)
Wesley H. Holliday, Alexander Kristoffersen, Eric Pacuit
Learning to Manipulate under Limited Information. CoRR (2024)
Wesley H. Holliday, Eric Pacuit
An extension of May's Theorem to three alternatives: axiomatizing Minimax voting. CoRR (2023)
Ilaria Canavotto, Eric Pacuit
Choice-Driven Counterfactuals. J. Philos. Log. 51 (2) (2022)
Wesley H. Holliday, Eric Pacuit, Saam Zahedian
An approach to generalizing some impossibility theorems in social choice. CoRR (2022)
Yifeng Ding, Wesley H. Holliday, Eric Pacuit
An Axiomatic Characterization of Split Cycle. CoRR (2022)
Wesley H. Holliday, Eric Pacuit
Measuring Violations of Positive Involvement in Voting. TARK (2021)
Wesley H. Holliday, Chase Norman, Eric Pacuit
Voting Theory in the Lean Theorem Prover. CoRR (2021)
Wesley H. Holliday, Chase Norman, Eric Pacuit
Voting Theory in the Lean Theorem Prover. LORI (2021)
Wesley H. Holliday, Eric Pacuit
Stable Voting. CoRR (2021)
Wesley H. Holliday, Eric Pacuit
Axioms for Defeat in Democratic Elections. CoRR (2020)
Wesley H. Holliday, Eric Pacuit
Split Cycle: A New Condorcet Consistent Voting Method Independent of Clones and Immune to Spoilers. CoRR (2020)
Wesley H. Holliday, Eric Pacuit
Arrow's decisive coalitions. Soc. Choice Welf. 54 (2-3) (2020)
Marc van Zee, Dragan Doder, Leon van der Torre, Mehdi Dastani, Thomas F. Icard III, Eric Pacuit
Intention as commitment toward time. Artif. Intell. 283 (2020)
Marc van Zee, Dragan Doder, Leendert W. N. van der Torre, Mehdi Dastani, Thomas F. Icard III, Eric Pacuit
Intention as Commitment toward Time. CoRR (2020)
Wesley H. Holliday, Eric Pacuit
Strategic Voting Under Uncertainty About the Voting Method. TARK (2019)
John F. Horty, Eric Pacuit
Action Types in STIT Semantics. Rev. Symb. Log. 10 (4) (2017)
Eric Pacuit
On the use (and abuse) of Logic in Game Theory. J. Philos. Log. 44 (6) (2015)
Johan van Benthem, David Fernández-Duque, Eric Pacuit
Evidence and plausibility in neighborhood structures. Ann. Pure Appl. Log. 165 (1) (2014)
Dominik Klein, Eric Pacuit
Changing Types: Information Dynamics for Qualitative Type Spaces. Stud Logica 102 (2) (2014)
Johan van Benthem, David Fernández-Duque, Eric Pacuit
Evidence and plausibility in neighborhood structures. CoRR (2013)
Olivier Roy, Eric Pacuit
Substantive assumptions in interaction: a logical perspective. Synth. 190 (5) (2013)
Eric Pacuit, Arthur Paul Pedersen, Jan-Willem Romeijn
When is an Example a Counterexample? CoRR (2013)
Eric Pacuit, Arthur Paul Pedersen, Jan-Willem Romeijn
When is an example a counterexample? TARK (2013)
Eric Pacuit
Editorial Introduction: Selected Papers from the 2nd Workshop on Logic, Rationality and Interaction (LORI-II). J. Philos. Log. 41 (4) (2012)
Johan van Benthem, David Fernández-Duque, Eric Pacuit
Evidence Logic: A New Look at Neighborhood Structures. Advances in Modal Logic (2012)
Johan van Benthem, Eric Pacuit, Olivier Roy
Toward a Theory of Play: A Logical Perspective on Games and Interaction. Games 2 (1) (2011)
Johan van Benthem, Eric Pacuit
Dynamic Logics of Evidence-Based Beliefs. Stud Logica 99 (1-3) (2011)
Eric Pacuit, Sunil Simon
Reasoning with Protocols under imperfect Information. Rev. Symb. Log. 4 (3) (2011)
Johan van Benthem, Eric Pacuit
Logical Dynamics of Evidence. LORI (2011)
Benedikt Löwe, Eric Pacuit, Andreas Witzel
DEL Planning and Some Tractable Cases. LORI (2011)
Eric Pacuit, Olivier Roy
A Dynamic Analysis of Interactive Rationality. LORI (2011)
Johan van Benthem, Eric Pacuit
Temporal Logics of Agency. J. Log. Lang. Inf. 19 (4) (2010)
Thomas F. Icard III, Eric Pacuit, Yoav Shoham
Joint Revision of Beliefs and Intention. KR (2010)
Tomohiro Hoshi, Eric Pacuit
Dynamic logics of knowledge and access. Synth. 177 (Supplement-1) (2010)
Helle Hvid Hansen, Clemens Kupke, Eric Pacuit
Neighbourhood Structures: Bisimilarity and Basic Model Theory Log. Methods Comput. Sci. 5 (2) (2009)
Thomas Ågotnes, Johan van Benthem, Eric Pacuit
Logic and intelligent interaction. Synth. 169 (2) (2009)
Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi, Eric Pacuit
Merging Frameworks for Interaction. J. Philos. Log. 38 (5) (2009)
Tijmen R. Daniëls, Eric Pacuit
A General Approach to Aggregation Problems. J. Log. Comput. 19 (3) (2009)
Jonathan A. Zvesper, Eric Pacuit
A Note on Assumption-Completeness in Modal Logic. LOFT (2008)
Eric Pacuit
Some comments on history based structures. J. Appl. Log. 5 (4) (2007)
Helle Hvid Hansen, Clemens Kupke, Eric Pacuit
Bisimulation for Neighbourhood Structures. CALCO (2007)
Eric Pacuit
Understanding the Brandenburger-Keisler Paradox. Stud Logica 86 (3) (2007)
Johan van Benthem, Jelle Gerbrandy, Eric Pacuit
Merging frameworks for interaction: DEL and ETL. TARK (2007)
Ulle Endriss, Eric Pacuit
Modal Logics of Negotiation and Preference. JELIA (2006)
Eric Pacuit, Rohit Parikh, Eva Cogan
The Logic of Knowledge Based Obligation. Synth. 149 (2) (2006)
Johan van Benthem, Eric Pacuit
The Tree of Knowledge in Action: Towards a Common Perspective. Advances in Modal Logic (2006)
Horacio L. Arló-Costa, Eric Pacuit
First-Order Classical Modal Logic. Stud Logica 84 (2) (2006)
Horacio L. Arló-Costa, Eric Pacuit
First-order classical modal logic: applications in logics of knowledge and probability. TARK (2005)
Eric Pacuit, Rohit Parikh
The Logic of Communication Graphs. DALT (2004)
Samir Chopra, Eric Pacuit, Rohit Parikh
Knowledge-Theoretic Properties of Strategic Voting. JELIA (2004)
Eric Pacuit, Samer Salame
Majority Logic. KR (2004)