Program equilibrium -- a program reasoning approach

DOI10.1007/s00182-011-0314-6zbMath1271.91014OpenAlexW2158191622MaRDI QIDQ361805

Wiebe van der Hoek, Michael Wooldridge, Cees Witteveen

Publication date: 19 August 2013

Published in: International Journal of Game Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00182-011-0314-6

zbMATH Keywords

repeated gamesnon-cooperative gameslogic programmingprisoner's dilemmacoherent outcomesdecision-tree modelequality of programsprogram equilibriumprograms as strategies

Mathematics Subject Classification ID

Noncooperative games (91A10) Specification and verification (program logics, model checking, etc.) (68Q60) Multistage and repeated games (91A20) Logic programming (68N17)

Related Items (2)

Robust program equilibrium ⋮ A Theory of Bounded Inductive Rationality

Cites Work

• Cooperation in the prisoner's dilemma
• Program equilibrium
• A commitment folk theorem
• Minimalism, justification and non-monotonicity in deductive databases
• Fixpoint semantics for logic programming a survey
• Definable and Contractible Contracts
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Program equilibrium -- a program reasoning approach