Program equilibrium -- a program reasoning approach

DOI10.1007/S00182-011-0314-6MaRDI QIDQ361805zbMATH OpenOpenAlexFDO

Authors Wiebe van der Hoek, Cees Witteveen, M. J. Wooldridge

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

coherent outcomesdecision-tree modelequality of programslogic programmingnon-cooperative gamesprisoner's dilemmaprogram equilibriumprograms as strategiesrepeated games

Mathematics Subject Classification ID

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

Recommendations

• Program equilibrium
• Robust program equilibrium
• Publication:4945230
• Beyond Nash equilibrium: solution concepts for the 21st century
• Beyond nash equilibrium

Cites work

• A commitment folk theorem
• A course in game theory.
• Cooperation in the prisoner's dilemma
• Definable and contractible contracts
• Fixpoint semantics for logic programming a survey
• scientific article; zbMATH DE number 5910656 (Why is no real title available?)
• scientific article; zbMATH DE number 4207369 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 1142320 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• Minimalism, justification and non-monotonicity in deductive databases
• Program equilibrium

Cited in

(7)

• Robust program equilibrium
• Programming and Verifying Subgame-Perfect Mechanisms
• scientific article; zbMATH DE number 1424040 (Why is no real title available?)
• A parametric, resource-bounded generalization of Löb's theorem, and a robust cooperation criterion for open-source game theory
• A Theory of Bounded Inductive Rationality
• Game-theoretic models of moral and other-regarding agents (extended abstract)
• Program equilibrium

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q361805)