English
Related papers

Related papers: The structure of strategy-proof rules

200 papers

An abstract architecture for idealized multi-agent systems whose behaviour is regulated by normative systems is developed and discussed. Agent choices are determined partially by the preference ordering of possible states and partially by…

Logic in Computer Science · Computer Science 2007-05-23 Jan Odelstad , Magnus Boman

Designing two-sided matching mechanisms is challenging when practical demands for matching outcomes are difficult to formalize and the designed mechanism must satisfy theoretical conditions. To address this, prior work has proposed a…

Artificial Intelligence · Computer Science 2025-07-31 Ryota Maruo , Koh Takeuchi , Hisashi Kashima

Structural proof theory is praised for being a symbolic approach to reasoning and proofs, in which one can define schemas for reasoning steps and manipulate proofs as a mathematical structure. For this to be possible, proof systems must be…

Logic in Computer Science · Computer Science 2021-08-10 Giselle Reis

In many situations, the decision maker observes items in sequence and needs to determine whether or not to retain a particular item immediately after it is observed. Any decision rule creates a set of items that are selected. We consider…

Probability · Mathematics 2007-05-23 Abba M. Krieger , Moshe Pollak , Ester Samuel-Cahn

This paper offers a framework for the study of strategic behavior in proxy voting, where non-active voters delegate their votes to active voters. We further study how proxy voting affects the strategic behavior of non-active voters and…

Computer Science and Game Theory · Computer Science 2023-05-19 Gili Bielous , Reshef Meir

We consider a finite-horizon discrete-time dynamic system that is jointly controlled by two strategic agents. There is a system designer that has its own reward function but does not have direct control over the agents' actions. We consider…

Systems and Control · Electrical Eng. & Systems 2026-05-12 Renyan Sun , Ashutosh Nayyar

Social decision schemes (SDSs) map the voters' preferences over multiple alternatives to a probability distribution over these alternatives. In a seminal result, Gibbard (1977) has characterized the set of SDSs that are strategyproof with…

Computer Science and Game Theory · Computer Science 2025-08-25 Patrick Lederer

Agents care not only about the outcomes of collective decisions but also about how decisions are made. In many cases, both the outcome and the procedure affect whether agents see a decision as legitimate, justifiable, or acceptable. We…

Computer Science and Game Theory · Computer Science 2023-10-12 Ben Abramowitz , Nicholas Mattei

The iterated prisoner's dilemma is a game that produces many counter-intuitive and complex behaviors in a social environment, based on very simple basic rules. It illustrates that cooperation can be a good thing even in a competitive world,…

Computer Science and Game Theory · Computer Science 2020-09-07 Robert Prentner

This paper aims to present the different aspects and characteristics of strategic and operational information and propose a categorization pattern allowing to consider an information as strategic or operational. This categorization is to be…

Computers and Society · Computer Science 2015-02-09 Omar Abahmane , Mohamed Binkkour

When does society eventually learn the truth, or take the correct action, via observational learning? In a general model of sequential learning over social networks, we identify a simple condition for learning dubbed excludability.…

Theoretical Economics · Economics 2024-04-05 Navin Kartik , SangMok Lee , Tianhao Liu , Daniel Rappoport

Merging operators aim at defining the beliefs/goals of a group of agents from the beliefs/goals of each member of the group. Whenever an agent of the group has preferences over the possible results of the merging process (i.e., the possible…

Computer Science and Game Theory · Computer Science 2011-10-13 P. Everaere , S. Konieczny , P. Marquis

Strategic Decision-Making is always challenging because it is inherently uncertain, ambiguous, risky, and complex. It is the art of possibility. We develop a systematic taxonomy of decision-making frames that consists of 6 bases, 18…

Artificial Intelligence · Computer Science 2022-10-25 Caesar Wu , Kotagiri Ramamohanarao , Rui Zhang , Pascal Bouvry

We consider the facility location problem in a metric space, focusing on the case of three agents. We show that selecting the reported location of each agent with probability proportional to the distance between the other two agents results…

Computer Science and Game Theory · Computer Science 2019-07-09 Reshef Meir

Decision making can be difficult when there are many actors (or agents) who may be coordinating or competing to achieve their various ideas of the optimum outcome. Here I present a simple decision making model with an explicitly…

Multiagent Systems · Computer Science 2024-04-29 Paul Kinsler

Constraint propagation algorithms implement logical inference. For efficiency, it is essential to control whether and in what order basic inference steps are taken. We provide a high-level framework that clearly differentiates between…

Programming Languages · Computer Science 2007-05-23 Sebastian Brand , Roland H. C. Yap

A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason about policies. Because we use first-order logic, policies…

Logic in Computer Science · Computer Science 2007-05-23 Joseph Y. Halpern , Vicky Weissman

Schummer (Journal of Economic Theory 2000) introduced the concept of bribeproof mechanism which, in a context where monetary transfer between agents is possible, requires that manipulations through bribes are ruled out. Unfortunately, in…

Computer Science and Game Theory · Computer Science 2016-08-10 Matúš Mihalák , Paolo Penna , Peter Widmayer

Strategic classification regards the problem of learning in settings where users can strategically modify their features to improve outcomes. This setting applies broadly and has received much recent attention. But despite its practical…

Machine Learning · Computer Science 2021-06-15 Sagi Levanon , Nir Rosenfeld

Various structured argumentation frameworks utilize preferences as part of their standard inference procedure to enable reasoning with preferences. In this paper, we consider an inverse of the standard reasoning problem, seeking to identify…

Artificial Intelligence · Computer Science 2020-05-13 Quratul-ain Mahesar , Nir Oren , Wamberto W. Vasconcelos
‹ Prev 1 4 5 6 7 8 10 Next ›