Program equilibrium -- a program reasoning approach
type: Item
instance of: scholarly article
title: Program equilibrium -- a program reasoning approach
zbMATH Open document ID: 1271.91014
author: Wiebe van der Hoek
author: Cees Witteveen
author: M. J. Wooldridge
published in: International Journal of Game Theory
publication date: 2013-08-19T00:00:00Z
Mathematics Subject Classification ID: 91A10
Mathematics Subject Classification ID: 91A20
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6199383
zbMATH Keywords: program equilibrium
zbMATH Keywords: non-cooperative games
zbMATH Keywords: repeated games
zbMATH Keywords: logic programming
zbMATH Keywords: programs as strategies
zbMATH Keywords: equality of programs
zbMATH Keywords: prisoner's dilemma
zbMATH Keywords: decision-tree model
zbMATH Keywords: coherent outcomes
MaRDI profile type: Publication
full work available at URL: s00182-011-0314-6
OpenAlex ID: W2158191622
cites work: Q4385536
cites work: Minimalism, justification and non-monotonicity in deductive databases
cites work: Q3354618
cites work: Q4385542
cites work: Q3007261
cites work: Fixpoint semantics for logic programming a survey
cites work: Cooperation in the prisoner's dilemma
cites work: A commitment folk theorem
cites work: Q3992908
cites work: Q3576736
cites work: Q4298260
cites work: Definable and contractible contracts
cites work: Program equilibrium
DOI: 10.1007/S00182-011-0314-6
description: scientific article; zbMATH DE number 6199383