Choice logic programs and Nash equilibria in strategic games

Marina De Vos; Dirk Vermeir

doi:10.1007/3-540-48168-0_19

Choice logic programs and Nash equilibria in strategic games

Vrije Universiteit Brussel

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

24 Citations (SciVal)

Abstract

We define choice logic programs as negation-free datalog programs that allow rules to have exclusive-only disjunctions in the head. We show that choice programs are equivalent to semi-negative datalog programs, at least as far as stable models are concerned. We also discuss an application where strategic games can be naturally formulated as choice programs; it turns out that the stable models of such programs capture exactly the set of Nash equilibria.

Original language	English
Title of host publication	Computer Science Logic - 13th International Workshop, CSL 1999 - 8th Annual Conference of the EACSL, Proceedings
Editors	Jörg Flum, Mario Rodriguez-Artalejo
Publisher	Springer Verlag
Pages	266-276
Number of pages	11
ISBN (Electronic)	9783540481683
ISBN (Print)	9783540665366
DOIs	https://doi.org/10.1007/3-540-48168-0_19
Publication status	Published - 13 May 2003
Event	13th International Workshop on Computer Science Logic, CSL 1999 and held as International Workshops on Computer Science Logic, EACSL 1999 - Madrid, Spain Duration: 20 Sept 1999 → 25 Sept 1999

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1683
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	13th International Workshop on Computer Science Logic, CSL 1999 and held as International Workshops on Computer Science Logic, EACSL 1999
Country/Territory	Spain
City	Madrid
Period	20/09/99 → 25/09/99

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1999.

Keywords

Choice
Game theory
Logic programs
Nondeterminism
Stable model semantics

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/3-540-48168-0_19

Cite this

De Vos, M., & Vermeir, D. (2003). Choice logic programs and Nash equilibria in strategic games. In J. Flum, & M. Rodriguez-Artalejo (Eds.), Computer Science Logic - 13th International Workshop, CSL 1999 - 8th Annual Conference of the EACSL, Proceedings (pp. 266-276). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1683). Springer Verlag. https://doi.org/10.1007/3-540-48168-0_19

Choice logic programs and Nash equilibria in strategic games. / De Vos, Marina; Vermeir, Dirk.
Computer Science Logic - 13th International Workshop, CSL 1999 - 8th Annual Conference of the EACSL, Proceedings. ed. / Jörg Flum; Mario Rodriguez-Artalejo. Springer Verlag, 2003. p. 266-276 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1683).

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

De Vos, M & Vermeir, D 2003, Choice logic programs and Nash equilibria in strategic games. in J Flum & M Rodriguez-Artalejo (eds), Computer Science Logic - 13th International Workshop, CSL 1999 - 8th Annual Conference of the EACSL, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1683, Springer Verlag, pp. 266-276, 13th International Workshop on Computer Science Logic, CSL 1999 and held as International Workshops on Computer Science Logic, EACSL 1999, Madrid, Spain, 20/09/99. https://doi.org/10.1007/3-540-48168-0_19

De Vos M, Vermeir D. Choice logic programs and Nash equilibria in strategic games. In Flum J, Rodriguez-Artalejo M, editors, Computer Science Logic - 13th International Workshop, CSL 1999 - 8th Annual Conference of the EACSL, Proceedings. Springer Verlag. 2003. p. 266-276. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Epub 2003 Jan 1. doi: 10.1007/3-540-48168-0_19

De Vos, Marina ; Vermeir, Dirk. / Choice logic programs and Nash equilibria in strategic games. Computer Science Logic - 13th International Workshop, CSL 1999 - 8th Annual Conference of the EACSL, Proceedings. editor / Jörg Flum ; Mario Rodriguez-Artalejo. Springer Verlag, 2003. pp. 266-276 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{e3c87c6e47044c98b736e832c8d89ba2,

title = "Choice logic programs and Nash equilibria in strategic games",

abstract = "We define choice logic programs as negation-free datalog programs that allow rules to have exclusive-only disjunctions in the head. We show that choice programs are equivalent to semi-negative datalog programs, at least as far as stable models are concerned. We also discuss an application where strategic games can be naturally formulated as choice programs; it turns out that the stable models of such programs capture exactly the set of Nash equilibria.",

keywords = "Choice, Game theory, Logic programs, Nondeterminism, Stable model semantics",

author = "{De Vos}, Marina and Dirk Vermeir",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1999.; 13th International Workshop on Computer Science Logic, CSL 1999 and held as International Workshops on Computer Science Logic, EACSL 1999 ; Conference date: 20-09-1999 Through 25-09-1999",

year = "2003",

month = may,

day = "13",

doi = "10.1007/3-540-48168-0_19",

language = "English",

isbn = "9783540665366",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "266--276",

editor = "J{\"o}rg Flum and Mario Rodriguez-Artalejo",

booktitle = "Computer Science Logic - 13th International Workshop, CSL 1999 - 8th Annual Conference of the EACSL, Proceedings",

}

TY - GEN

T1 - Choice logic programs and Nash equilibria in strategic games

AU - De Vos, Marina

AU - Vermeir, Dirk

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1999.

PY - 2003/5/13

Y1 - 2003/5/13

N2 - We define choice logic programs as negation-free datalog programs that allow rules to have exclusive-only disjunctions in the head. We show that choice programs are equivalent to semi-negative datalog programs, at least as far as stable models are concerned. We also discuss an application where strategic games can be naturally formulated as choice programs; it turns out that the stable models of such programs capture exactly the set of Nash equilibria.

AB - We define choice logic programs as negation-free datalog programs that allow rules to have exclusive-only disjunctions in the head. We show that choice programs are equivalent to semi-negative datalog programs, at least as far as stable models are concerned. We also discuss an application where strategic games can be naturally formulated as choice programs; it turns out that the stable models of such programs capture exactly the set of Nash equilibria.

KW - Choice

KW - Game theory

KW - Logic programs

KW - Nondeterminism

KW - Stable model semantics

UR - http://www.scopus.com/inward/record.url?scp=84956866994&partnerID=8YFLogxK

U2 - 10.1007/3-540-48168-0_19

DO - 10.1007/3-540-48168-0_19

M3 - Chapter in a published conference proceeding

AN - SCOPUS:84956866994

SN - 9783540665366

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 266

EP - 276

BT - Computer Science Logic - 13th International Workshop, CSL 1999 - 8th Annual Conference of the EACSL, Proceedings

A2 - Flum, Jörg

A2 - Rodriguez-Artalejo, Mario

PB - Springer Verlag

T2 - 13th International Workshop on Computer Science Logic, CSL 1999 and held as International Workshops on Computer Science Logic, EACSL 1999

Y2 - 20 September 1999 through 25 September 1999

ER -

Choice logic programs and Nash equilibria in strategic games

Abstract

Publication series

Conference

Bibliographical note

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this