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… (More)
DOI: 10.1007/3-540-48168-0_19

Topics

3 Figures and Tables

Cite this paper

@inproceedings{Vos1999ChoiceLP, title={Choice Logic Programs and Nash Equilibria in Strategic Games}, author={Marina De Vos and Dirk Vermeir}, booktitle={CSL}, year={1999} }