Choice logic programs and Nash equilibria in strategic games

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

Volumn 1683, Issue , 1999, Pages 266-276

  De Vos, Marina ^a   Vermeir, Dirk ^a  

^a VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

Author keywords

Choice; Game theory; Logic programs; Nondeterminism; Stable model semantics

Indexed keywords

APPLICATION PROGRAMS; GAME THEORY; LOGIC PROGRAMMING; SEMANTICS;

CHOICE; DATALOG PROGRAMS; LOGIC PROGRAMS; NASH EQUILIBRIA; NON-DETERMINISM; STABLE MODEL; STABLE MODEL SEMANTICS; STRATEGIC GAME;

COMPUTER CIRCUITS;

EID: 84956866994     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48168-0_19     Document Type: Conference Paper

References (11)

1. Pierpaolo Battigalli and Giacomo Bonanno. Recent Results on Belief, Knowledge and the Epistemic Foundations of Game Theory. Working Paper.
2. Michael Gelfond and Vladimir Lifschitz. The Stable Model Semantics for Logic Programming. In Robert A. Kowalski and Kenneth A. Bowen, editors, Proceedings of the Fifth International Conference and Symposium on Logic Programming, pages 1081-1086, Seattle, 1998. ALP, IEEE, The MIT Press.
3. P. Geerts and D. Vermeir. Credulous and Autoepistemic Reasoning using Ordered Logic. Pro- ceedings of the First International Workshop on Logic Programming and Non-Monotonic Reasoning, page 21-36, MIT Press, 1991.
4. P. Geerts and D. Vermeir and D. Nute. Ordered logic: Defeasible Reasoning for Multiple Agents. Decision Support Systems, 11 (1994) 157-190.
5. E. Laenens and D. Vermeir. A Fixpoint Semantics of Ordered Logic. Journal of Logic and Computation, 1(2)(1990) 159-185.
6. M. J. Osborne and A. Rubinstein. A Course in Game Theory, MIT Press,1994.
7. David Poole. The Independent Choice Logic for Modelling Multiple Agents under Uncertainty. Artificial Intelligence, 94(1-2) (1997) 7-56.
8. T. C. Przymusinski. Every Logic Program Has a Natural Stratification and an Iterated Fixed Point Model. In Proceedings of the Eight ACM Symposium on Principles of Database Systems, pages 11-21. Association for Computing Machinery, 1989.
9. D. Sacca. Deterministic and Non-Deterministic Stable Models. Logic and Computation, 5 (1997) 555-579.
10. Chiaki Sakama and Katsumi Inoue An Alternative Approach to the Semantics of Disjunctive Logic Programs and Decductive Databases. Journal of Automated Reasoning, 13 (1994) 145- 172.
11. D. Sacca and C. Zaniolo. Stable Models and Non-Determinism for Logic Programs with Negation. In Proceedings of the 9th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 205-218. Association for Computing Machinery, 1990.img width="77" height="2" src="978-3-540-48168-3_Chapter_11_files/image001.gif" />