Eric Pacuit - RankMe

69 papers A* 5B 11Journal 40Unranked 6

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	An extension of May's Theorem to three alternatives: axiomatizing Minimax voting. Soc. Choice Welf. Wesley H. Holliday, Eric Pacuit
2026	A*	`conf`	Stable Voting and the Splitting of Cycles. AAAI Wesley H. Holliday, Milan Mossé, Chase Norman, Eric Pacuit, Cynthia Wang
2025	J	`jnl`	An axiomatic characterization of Split Cycle. Soc. Choice Welf. Yifeng Ding, Wesley H. Holliday, Eric Pacuit
2025	J	`jnl`	Characterizations of voting rules based on majority margins. CoRR Yifeng Ding, Wesley H. Holliday, Eric Pacuit
2025	B	`conf`	Common TARK Eric Pacuit, Leo Yang
2025	A*	`conf`	Learning to Manipulate Under Limited Information. AAAI Wesley H. Holliday, Alexander Kristoffersen, Eric Pacuit
2025	J	`jnl`	Stable Voting and the Splitting of Cycles. CoRR Wesley H. Holliday, Milan Mossé, Chase Norman, Eric Pacuit, Cynthia Wang
2025	J	`jnl`	pref_voting: The Preferential Voting Tools package for Python. J. Open Source Softw. Wesley H. Holliday, Eric Pacuit
2024	J	`jnl`	Learning to Manipulate under Limited Information. CoRR Wesley H. Holliday, Alexander Kristoffersen, Eric Pacuit
2024	A*	`conf`	Position: Social Choice Should Guide AI Alignment in Dealing with Diverse Human Feedback. ICML 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
2024	J	`jnl`	Social Choice for AI Alignment: Dealing with Diverse Human Feedback. CoRR 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
2023	J	`jnl`	An extension of May's Theorem to three alternatives: axiomatizing Minimax voting. CoRR Wesley H. Holliday, Eric Pacuit
2022	J	`jnl`	An Axiomatic Characterization of Split Cycle. CoRR Yifeng Ding, Wesley H. Holliday, Eric Pacuit
2022	J	`jnl`	An approach to generalizing some impossibility theorems in social choice. CoRR Wesley H. Holliday, Eric Pacuit, Saam Zahedian
2022	J	`jnl`	Choice-Driven Counterfactuals. J. Philos. Log. Ilaria Canavotto, Eric Pacuit
2021	B	`conf`	Measuring Violations of Positive Involvement in Voting. TARK Wesley H. Holliday, Eric Pacuit
2021	J	`jnl`	Stable Voting. CoRR Wesley H. Holliday, Eric Pacuit
2021	—	`conf`	Voting Theory in the Lean Theorem Prover. LORI Wesley H. Holliday, Chase Norman, Eric Pacuit
2021	J	`jnl`	Voting Theory in the Lean Theorem Prover. CoRR Wesley H. Holliday, Chase Norman, Eric Pacuit
2020	J	`jnl`	Arrow's decisive coalitions. Soc. Choice Welf. Wesley H. Holliday, Eric Pacuit
2020	J	`jnl`	Axioms for Defeat in Democratic Elections. CoRR Wesley H. Holliday, Eric Pacuit
2020	J	`jnl`	Intention as Commitment toward Time. CoRR Marc van Zee, Dragan Doder, Leendert W. N. van der Torre, Mehdi Dastani, Thomas Icard, Eric Pacuit
2020	J	`jnl`	Intention as commitment toward time. Artif. Intell. Marc van Zee, Dragan Doder, Leon van der Torre, Mehdi Dastani, Thomas Icard, Eric Pacuit
2020	J	`jnl`	Split Cycle: A New Condorcet Consistent Voting Method Independent of Clones and Immune to Spoilers. CoRR Wesley H. Holliday, Eric Pacuit
2019	—	`ed.`	At the Intersection of Language, Logic, and Information - ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6-17, 2018, Selected Papers ESSLLI Student Sessions Jennifer Sikos, Eric Pacuit
2019	B	`conf`	Strategic Voting Under Uncertainty About the Voting Method. TARK Wesley H. Holliday, Eric Pacuit
2017	J	`jnl`	Action Types in STIT Semantics. Rev. Symb. Log. John F. Horty, Eric Pacuit
2016	—	`ch.`	Dependence and Independence in Social Choice: Arrow's Theorem. Dependence Logic Eric Pacuit, Fan Yang
2015	—	`ch.`	Dynamic Models of Rational Deliberation in Games. Models of Strategic Reasoning Eric Pacuit
2015	J	`jnl`	On the use (and abuse) of Logic in Game Theory. J. Philos. Log. Eric Pacuit
2014	J	`jnl`	Changing Types: Information Dynamics for Qualitative Type Spaces. Stud Logica Dominik Klein, Eric Pacuit
2014	J	`jnl`	Evidence and plausibility in neighborhood structures. Ann. Pure Appl. Log. Johan van Benthem, David Fernández-Duque, Eric Pacuit
2014	—	`ch.`	Temporal Aspects of the Dynamics of Knowledge. Johan van Benthem on Logic and Information Dynamics Valentin Goranko, Eric Pacuit
2013	J	`jnl`	Evidence and plausibility in neighborhood structures. CoRR Johan van Benthem, David Fernández-Duque, Eric Pacuit
2013	J	`jnl`	Substantive assumptions in interaction: a logical perspective. Synth. Olivier Roy, Eric Pacuit
2013	—	`ch.`	The Wisdom of Crowds: Methods of Human Judgement Aggregation. Handbook of Human Computation Aidan Lyon, Eric Pacuit
2013	J	`jnl`	When is an Example a Counterexample? CoRR Eric Pacuit, Arthur Paul Pedersen, Jan-Willem Romeijn
2013	B	`conf`	When is an example a counterexample? TARK Eric Pacuit, Arthur Paul Pedersen, Jan-Willem Romeijn
2012	J	`jnl`	Editorial Introduction: Selected Papers from the 2nd Workshop on Logic, Rationality and Interaction (LORI-II). J. Philos. Log. Eric Pacuit
2012	B	`conf`	Evidence Logic: A New Look at Neighborhood Structures. Advances in Modal Logic Johan van Benthem, David Fernández-Duque, Eric Pacuit
2011	—	`conf`	A Dynamic Analysis of Interactive Rationality. LORI Eric Pacuit, Olivier Roy
2011	—	`conf`	DEL Planning and Some Tractable Cases. LORI Benedikt Löwe, Eric Pacuit, Andreas Witzel
2011	J	`jnl`	Dynamic Logics of Evidence-Based Beliefs. Stud Logica Johan van Benthem, Eric Pacuit
2011	—	`conf`	Logical Dynamics of Evidence. LORI Johan van Benthem, Eric Pacuit
2011	J	`jnl`	Reasoning with Protocols under imperfect Information. Rev. Symb. Log. Eric Pacuit, Sunil Simon
2011	J	`jnl`	Toward a Theory of Play: A Logical Perspective on Games and Interaction. Games Johan van Benthem, Eric Pacuit, Olivier Roy
2011	—	`ch.`	Towards a Logical Analysis of Proof, Computation and Agency Eric Pacuit
2010	J	`jnl`	Dynamic logics of knowledge and access. Synth. Tomohiro Hoshi, Eric Pacuit
2010	A*	`conf`	Joint Revision of Beliefs and Intention. KR Thomas Icard, Eric Pacuit, Yoav Shoham
2010	J	`jnl`	Temporal Logics of Agency. J. Log. Lang. Inf. Johan van Benthem, Eric Pacuit
2009	J	`jnl`	A General Approach to Aggregation Problems. J. Log. Comput. Tijmen R. Daniëls, Eric Pacuit
2009	J	`jnl`	Logic and intelligent interaction. Synth. Thomas Ågotnes, Johan van Benthem, Eric Pacuit
2009	—	`ed.`	Logic, Rationality, and Interaction, Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings LORI Xiangdong He, John F. Horty, Eric Pacuit
2009	J	`jnl`	Merging Frameworks for Interaction. J. Philos. Log. Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi, Eric Pacuit
2009	J	`jnl`	Neighbourhood Structures: Bisimilarity and Basic Model Theory Log. Methods Comput. Sci. Helle Hvid Hansen, Clemens Kupke, Eric Pacuit
2008	—	`conf`	A Note on Assumption-Completeness in Modal Logic. LOFT Jonathan A. Zvesper, Eric Pacuit
2008	J	`jnl`	An abstract approach to reasoning about games with mistaken and changing beliefs. Australas. J. Log. Benedikt Löwe, Eric Pacuit
2007	B	`conf`	Bisimulation for Neighbourhood Structures. CALCO Helle Hvid Hansen, Clemens Kupke, Eric Pacuit
2007	B	`conf`	Merging frameworks for interaction: DEL and ETL. TARK Johan van Benthem, Jelle Gerbrandy, Eric Pacuit
2007	J	`jnl`	Some comments on history based structures. J. Appl. Log. Eric Pacuit
2007	J	`jnl`	Understanding the Brandenburger-Keisler Paradox. Stud Logica Eric Pacuit
2006	J	`jnl`	First-Order Classical Modal Logic. Stud Logica Horacio L. Arló-Costa, Eric Pacuit
2006	B	`conf`	Modal Logics of Negotiation and Preference. JELIA Ulle Endriss, Eric Pacuit
2006	J	`jnl`	The Logic of Knowledge Based Obligation. Synth. Eric Pacuit, Rohit Parikh, Eva Cogan
2006	B	`conf`	The Tree of Knowledge in Action: Towards a Common Perspective. Advances in Modal Logic Johan van Benthem, Eric Pacuit
2005	B	`conf`	First-order classical modal logic: applications in logics of knowledge and probability. TARK Horacio L. Arló-Costa, Eric Pacuit
2004	B	`conf`	Knowledge-Theoretic Properties of Strategic Voting. JELIA Samir Chopra, Eric Pacuit, Rohit Parikh
2004	A*	`conf`	Majority Logic. KR Eric Pacuit, Samer Salame
2004	—	`conf`	The Logic of Communication Graphs. DALT Eric Pacuit, Rohit Parikh