English
Related papers

Related papers: Judicial Permission

200 papers

An analysis of several important aspects of competition or conflict in games, social choice and decision theory is presented. Inherent difficulties and complexities in cooperation are highlighted. These have over the years led to a certain…

Optimization and Control · Mathematics 2007-05-23 Elemér E Rosinger

This paper introduces a novel criterion, persuasiveness, to select equilibria in signaling games. In response to the Stiglitz critique, persuasiveness focuses on the comparison across equilibria. An equilibrium is more persuasive than an…

Theoretical Economics · Economics 2025-11-04 Haoyuan Zeng

Causal reasoning and game-theoretic reasoning are fundamental topics in artificial intelligence, among many other disciplines: this paper is concerned with their intersection. Despite their importance, a formal framework that supports both…

Artificial Intelligence · Computer Science 2023-04-18 Lewis Hammond , James Fox , Tom Everitt , Ryan Carey , Alessandro Abate , Michael Wooldridge

In this tutorial, the basics of game theory are introduced along with an overview of its most recent and emerging applications in signal processing. One of the main features of this contribution is to gather in a single paper some…

Computer Science and Game Theory · Computer Science 2015-07-06 Giacomo Bacci , Samson Lasaulce , Walid Saad , Luca Sanguinetti

This literature review discovers an implementation of formal logic systems in cyber security by enhancing access control models. We explore the characteristics of the existing access control theories, their limitations and how classical…

Logic in Computer Science · Computer Science 2023-08-28 Alvin Tang

This work initiates an analysis of several cryptographic protocols from a rational point of view using a game-theoretical approach, which allows us to represent not only the protocols but also possible misbehaviours of parties. Concretely,…

Cryptography and Security · Computer Science 2015-03-17 P. Caballero-Gil , C. Hernández-Goya , C. Bruno-Castañeda

Recent successes of game-theoretic formulations in ML have caused a resurgence of research interest in differentiable games. Overwhelmingly, that research focuses on methods and upper bounds on their speed of convergence. In this work, we…

Machine Learning · Computer Science 2020-09-16 Adam Ibrahim , Waïss Azizian , Gauthier Gidel , Ioannis Mitliagkas

The biased interaction game described the operation of systems rooted in boundedly rational interactions under conditions of scarcity. The game explored the influence of bias and demonstrated how hierarchy and inequality are emergent system…

Computer Science and Game Theory · Computer Science 2026-03-10 Phil Mercy , Martin Neil

Despite the 'apparent clarity' of a given legal provision, its application may result in an outcome that does not exactly conform to the semantic level of a statute. The vagueness within a legal text is induced intentionally to accommodate…

Computation and Language · Computer Science 2015-07-09 Shashishekar Ramakrishna , Lukasz Gorski , Adrian Paschke

This paper gives a critical account of the minority game literature. The minority game is a simple congestion game: players need to choose between two options, and those who have selected the option chosen by the minority win. The learning…

General Finance · Quantitative Finance 2008-12-02 Willemien Kets

In this paper, we show how game-theoretic work on conversation combined with a theory of discourse structure provides a framework for studying interpretive bias. Interpretive bias is an essential feature of learning and understanding but…

Computation and Language · Computer Science 2018-07-02 Nicholas Asher , Soumya Paul

Probabilistic program analysis aims to quantify the probability that a given program satisfies a required property. It has many potential applications, from program understanding and debugging to computing program reliability, compiler…

Programming Languages · Computer Science 2017-09-08 Aleksandar S. Dimovski

Players (people, firms, states, etc.) have privacy concerns that may affect their choice of actions in strategic settings. We use a variant of signaling games to model this effect and study its relation to pooling behavior,…

Computer Science and Game Theory · Computer Science 2017-05-18 Ronen Gradwohl , Rann Smorodinsky

Connections between the sequentiality/concurrency distinction and the semantics of proofs are investigated, with particular reference to games and Linear Logic.

Logic in Computer Science · Computer Science 2011-12-01 Samson Abramsky

We define a new concept of "mistake" strategies and actions for strategic-form and extensive-form games, analyze the relationship to prior main game-theoretic solution concepts, study algorithms for computation, and explore practicality.…

Computer Science and Game Theory · Computer Science 2020-10-29 Sam Ganzfried

This is a short introduction to the subject of strategic games. We focus on the concepts of best response, Nash equilibrium, strict and weak dominance, and mixed strategies, and study the relation between these concepts in the context of…

Computer Science and Game Theory · Computer Science 2011-02-02 Krzysztof R. Apt

Pebble games were extensively studied in the 1970s and 1980s in a number of different contexts. The last decade has seen a revival of interest in pebble games coming from the field of proof complexity. Pebbling has proven to be a useful…

Computational Complexity · Computer Science 2015-07-01 Jakob Nordstrom

We introduce frame-equivalence games tailored for reasoning about the size, modal depth, number of occurrences of symbols and number of different propositional variables of modal formulae defining a given frame-property. Using these games,…

Logic in Computer Science · Computer Science 2018-08-16 Philippe Balbiani , David Fernández-Duque , Andreas Herzig , Petar Iliev

We present an empirical study aimed at analysing the use of viewpoints in an industrial Concurrent Engineering context. Our focus is on the viewpoints expressed in the argumentative process taking place in evaluation meetings. Our results…

Other Computer Science · Computer Science 2016-08-16 Géraldine Martin , Françoise Détienne , Elisabeth Lavigne

In this paper, we explore how, and if, free choice permission (FCP) can be accepted when we consider deontic conflicts between certain types of permissions and obligations. As is well known, FCP can license, under some minimal conditions,…

Logic in Computer Science · Computer Science 2019-06-11 Guido Governatori , Antonino Rotolo