default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEric Pacuit
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c19]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:
Position: Social Choice Should Guide AI Alignment in Dealing with Diverse Human Feedback. ICML 2024- [i12]Wesley H. Holliday, Alexander Kristoffersen, Eric Pacuit:
Learning to Manipulate under Limited Information. CoRR abs/2401.16412 (2024) - [i11]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 abs/2404.10271 (2024) - 2023
- [i10]Wesley H. Holliday, Eric Pacuit:
An extension of May's Theorem to three alternatives: axiomatizing Minimax voting. CoRR abs/2312.14256 (2023) - 2022
- [j22]Ilaria Canavotto
, Eric Pacuit:
Choice-Driven Counterfactuals. J. Philos. Log. 51(2): 297-345 (2022) - [i9]Wesley H. Holliday, Eric Pacuit, Saam Zahedian:
An approach to generalizing some impossibility theorems in social choice. CoRR abs/2208.06907 (2022) - [i8]Yifeng Ding, Wesley H. Holliday, Eric Pacuit:
An Axiomatic Characterization of Split Cycle. CoRR abs/2210.12503 (2022) - 2021
- [c18]Wesley H. Holliday, Chase Norman, Eric Pacuit:
Voting Theory in the Lean Theorem Prover. LORI 2021: 111-127 - [c17]Wesley H. Holliday, Eric Pacuit:
Measuring Violations of Positive Involvement in Voting. TARK 2021: 189-209 - [i7]Wesley H. Holliday, Eric Pacuit:
Stable Voting. CoRR abs/2108.00542 (2021) - [i6]Wesley H. Holliday, Chase Norman, Eric Pacuit:
Voting Theory in the Lean Theorem Prover. CoRR abs/2110.08453 (2021) - 2020
- [j21]Marc van Zee, Dragan Doder, Leon van der Torre, Mehdi Dastani, Thomas Icard, Eric Pacuit:
Intention as commitment toward time. Artif. Intell. 283: 103270 (2020) - [j20]Wesley H. Holliday, Eric Pacuit:
Arrow's decisive coalitions. Soc. Choice Welf. 54(2-3): 463-505 (2020) - [i5]Wesley H. Holliday, Eric Pacuit:
Split Cycle: A New Condorcet Consistent Voting Method Independent of Clones and Immune to Spoilers. CoRR abs/2004.02350 (2020) - [i4]Marc van Zee, Dragan Doder, Leendert W. N. van der Torre, Mehdi Dastani, Thomas Icard, Eric Pacuit:
Intention as Commitment toward Time. CoRR abs/2004.08144 (2020) - [i3]Wesley H. Holliday, Eric Pacuit:
Axioms for Defeat in Democratic Elections. CoRR abs/2008.08451 (2020)
2010 – 2019
- 2019
- [c16]Wesley H. Holliday, Eric Pacuit:
Strategic Voting Under Uncertainty About the Voting Method. TARK 2019: 252-272 - [e2]Jennifer Sikos, Eric Pacuit:
At the Intersection of Language, Logic, and Information - ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6-17, 2018, Selected Papers. Lecture Notes in Computer Science 11667, Springer 2019, ISBN 978-3-662-59619-7 [contents] - 2017
- [j19]John F. Horty, Eric Pacuit:
Action Types in STIT Semantics. Rev. Symb. Log. 10(4): 617-637 (2017) - 2016
- [p4]Eric Pacuit, Fan Yang:
Dependence and Independence in Social Choice: Arrow's Theorem. Dependence Logic 2016: 235-260 - 2015
- [j18]Eric Pacuit:
On the use (and abuse) of Logic in Game Theory. J. Philos. Log. 44(6): 741-753 (2015) - [p3]Eric Pacuit:
Dynamic Models of Rational Deliberation in Games. Models of Strategic Reasoning 2015: 3-33 - 2014
- [j17]Johan van Benthem, David Fernández-Duque, Eric Pacuit:
Evidence and plausibility in neighborhood structures. Ann. Pure Appl. Log. 165(1): 106-133 (2014) - [j16]Dominik Klein, Eric Pacuit:
Changing Types: Information Dynamics for Qualitative Type Spaces. Stud Logica 102(2): 297-319 (2014) - [p2]Valentin Goranko, Eric Pacuit:
Temporal Aspects of the Dynamics of Knowledge. Johan van Benthem on Logic and Information Dynamics 2014: 235-266 - 2013
- [j15]Olivier Roy, Eric Pacuit:
Substantive assumptions in interaction: a logical perspective. Synth. 190(5): 891-908 (2013) - [c15]Eric Pacuit, Arthur Paul Pedersen, Jan-Willem Romeijn:
When is an example a counterexample? TARK 2013 - [r1]Aidan Lyon, Eric Pacuit:
The Wisdom of Crowds: Methods of Human Judgement Aggregation. Handbook of Human Computation 2013: 599-614 - [i2]Johan van Benthem, David Fernández-Duque, Eric Pacuit:
Evidence and plausibility in neighborhood structures. CoRR abs/1307.1277 (2013) - [i1]Eric Pacuit, Arthur Paul Pedersen, Jan-Willem Romeijn:
When is an Example a Counterexample? CoRR abs/1310.6432 (2013) - 2012
- [j14]Eric Pacuit:
Editorial Introduction: Selected Papers from the 2nd Workshop on Logic, Rationality and Interaction (LORI-II). J. Philos. Log. 41(4): 629-631 (2012) - [c14]Johan van Benthem, David Fernández-Duque, Eric Pacuit:
Evidence Logic: A New Look at Neighborhood Structures. Advances in Modal Logic 2012: 97-118 - 2011
- [j13]Johan van Benthem, Eric Pacuit, Olivier Roy:
Toward a Theory of Play: A Logical Perspective on Games and Interaction. Games 2(1): 52-86 (2011) - [j12]Eric Pacuit, Sunil Simon:
Reasoning with Protocols under imperfect Information. Rev. Symb. Log. 4(3): 412-444 (2011) - [j11]Johan van Benthem, Eric Pacuit:
Dynamic Logics of Evidence-Based Beliefs. Stud Logica 99(1-3): 61-92 (2011) - [c13]Johan van Benthem, Eric Pacuit:
Logical Dynamics of Evidence. LORI 2011: 1-27 - [c12]Benedikt Löwe, Eric Pacuit, Andreas Witzel:
DEL Planning and Some Tractable Cases. LORI 2011: 179-192 - [c11]Eric Pacuit, Olivier Roy:
A Dynamic Analysis of Interactive Rationality. LORI 2011: 244-257 - [p1]Eric Pacuit:
Towards a Logical Analysis of Adjusted Winner. Proof, Computation and Agency 2011: 229-239 - 2010
- [j10]Johan van Benthem, Eric Pacuit:
Temporal Logics of Agency. J. Log. Lang. Inf. 19(4): 389-393 (2010) - [j9]Tomohiro Hoshi, Eric Pacuit:
Dynamic logics of knowledge and access. Synth. 177(Supplement-1): 29-49 (2010) - [c10]Thomas Icard, Eric Pacuit, Yoav Shoham:
Joint Revision of Beliefs and Intention. KR 2010
2000 – 2009
- 2009
- [j8]Helle Hvid Hansen, Clemens Kupke, Eric Pacuit:
Neighbourhood Structures: Bisimilarity and Basic Model Theory. Log. Methods Comput. Sci. 5(2) (2009) - [j7]Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi, Eric Pacuit:
Merging Frameworks for Interaction. J. Philos. Log. 38(5): 491-526 (2009) - [j6]Tijmen R. Daniëls, Eric Pacuit:
A General Approach to Aggregation Problems. J. Log. Comput. 19(3): 517-536 (2009) - [j5]Thomas Ågotnes, Johan van Benthem, Eric Pacuit:
Logic and intelligent interaction. Synth. 169(2): 219-221 (2009) - [e1]Xiangdong He, John F. Horty, Eric Pacuit:
Logic, Rationality, and Interaction, Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings. Lecture Notes in Computer Science 5834, Springer 2009, ISBN 978-3-642-04892-0 [contents] - 2008
- [c9]Jonathan A. Zvesper, Eric Pacuit:
A Note on Assumption-Completeness in Modal Logic. LOFT 2008: 190-206 - 2007
- [j4]Eric Pacuit:
Some comments on history based structures. J. Appl. Log. 5(4): 613-624 (2007) - [j3]Eric Pacuit:
Understanding the Brandenburger-Keisler Paradox. Stud Logica 86(3): 435-454 (2007) - [c8]Helle Hvid Hansen, Clemens Kupke, Eric Pacuit:
Bisimulation for Neighbourhood Structures. CALCO 2007: 279-293 - [c7]Johan van Benthem, Jelle Gerbrandy, Eric Pacuit:
Merging frameworks for interaction: DEL and ETL. TARK 2007: 72-81 - 2006
- [j2]Horacio L. Arló-Costa, Eric Pacuit:
First-Order Classical Modal Logic. Stud Logica 84(2): 171-210 (2006) - [j1]Eric Pacuit, Rohit Parikh, Eva Cogan:
The Logic of Knowledge Based Obligation. Synth. 149(2): 311-341 (2006) - [c6]Johan van Benthem, Eric Pacuit:
The Tree of Knowledge in Action: Towards a Common Perspective. Advances in Modal Logic 2006: 87-106 - [c5]Ulle Endriss, Eric Pacuit:
Modal Logics of Negotiation and Preference. JELIA 2006: 138-150 - 2005
- [c4]Horacio L. Arló-Costa, Eric Pacuit:
First-order classical modal logic: applications in logics of knowledge and probability. TARK 2005: 262-278 - 2004
- [c3]Eric Pacuit, Rohit Parikh:
The Logic of Communication Graphs. DALT 2004: 256-269 - [c2]Samir Chopra, Eric Pacuit, Rohit Parikh:
Knowledge-Theoretic Properties of Strategic Voting. JELIA 2004: 18-30 - [c1]Eric Pacuit, Samer Salame:
Majority Logic. KR 2004: 598-605
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-04 01:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
