@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",
}