{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:10:12Z","timestamp":1754482212370,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665366"},{"type":"electronic","value":"9783540481683"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48168-0_19","type":"book-chapter","created":{"date-parts":[[2007,12,1]],"date-time":"2007-12-01T11:30:26Z","timestamp":1196508626000},"page":"266-276","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":20,"title":["Choice Logic Programs and Nash Equilibria in Strategic Games"],"prefix":"10.1007","author":[{"given":"Marina","family":"De Vos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Vermeir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,5,13]]},"reference":[{"key":"19_CR1","unstructured":"Pierpaolo Battigalli and Giacomo Bonanno. Recent Results on Belief, Knowledge and the Epistemic Foundations of Game Theory.Working Paper."},{"key":"19_CR2","first-page":"1081","volume-title":"Proceedings of the Fifth International Conference and Symposium on Logic Programming","author":"M. Gelfond","year":"1998","unstructured":"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\u20131086, Seattle, 1998. ALP, IEEE, The MIT Press."},{"key":"19_CR3","unstructured":"P. Geerts and D. Vermeir. Credulous and Autoepistemic Reasoning using Ordered Logic. Proceedings of the First International Workshop on Logic Programming and Non-Monotonic Reasoning, page 21\u201336, MIT Press, 1991."},{"key":"19_CR4","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/0167-9236(94)90030-2","volume":"11","author":"P. Geerts","year":"1994","unstructured":"P. Geerts and D. Vermeir and D. Nute. Ordered logic: Defeasible Reasoning for Multiple Agents. Decision Support Systems, 11 (1994) 157\u2013190.","journal-title":"Decision Support Systems"},{"issue":"2","key":"19_CR5","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1093\/logcom\/1.2.159","volume":"1","author":"E. Laenens","year":"1990","unstructured":"E. Laenens and D. Vermeir. A Fixpoint Semantics of Ordered Logic. Journal of Logic and Computation, 1(2)(1990) 159\u2013185.","journal-title":"Journal of Logic and Computation"},{"key":"19_CR6","unstructured":"M. J. Osborne and A. Rubinstein. A Course in Game Theory, MIT Press,1994."},{"issue":"1-2","key":"19_CR7","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0004-3702(97)00027-1","volume":"94","author":"D. Poole","year":"1997","unstructured":"David Poole. The Independent Choice Logic for Modelling Multiple Agents under Uncertainty. Artificial Intelligence, 94(1-2) (1997) 7\u201356.","journal-title":"Artificial Intelligence"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"T. C. Przymusinski. Every Logic Program Has a Natural Stratification and an Iterated Fixed Point Model. In Proceedings of the Eight ACMSymposium on Principles of Database Systems, pages 11\u201321. Association for Computing Machinery, 1989.","DOI":"10.1145\/73721.73723"},{"key":"19_CR9","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1093\/logcom\/7.5.555","volume":"5","author":"D. Sacca","year":"1997","unstructured":"D. Sacca. Deterministic and Non-Deterministic Stable Models. Logic and Computation, 5 (1997) 555\u2013579.","journal-title":"Logic and Computation"},{"key":"19_CR10","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/BF00881915","volume":"13","author":"C. Sakama","year":"1994","unstructured":"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\u2013172.","journal-title":"Journal of Automated Reasoning"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"D. Sacca and C. Zaniolo. Stable Models and Non-Determinism for Logic Programs with Negation. In Proceedings of the 9thACMSIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 205\u2013218. Association for Computing Machinery, 1990.","DOI":"10.1145\/298514.298572"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48168-0_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T04:08:52Z","timestamp":1586146132000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48168-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665366","9783540481683"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-48168-0_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"13 May 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}