{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:35:25Z","timestamp":1725748525657},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642405631"},{"type":"electronic","value":"9783642405648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40564-8_33","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T07:21:30Z","timestamp":1378970490000},"page":"329-341","source":"Crossref","is-referenced-by-count":0,"title":["Game Semantics for Non-monotonic Intensional Logic Programming"],"prefix":"10.1007","author":[{"given":"Chrysida","family":"Galanaki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christos","family":"Nomikos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Panos","family":"Rondogiannis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"33_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/BFb0056626","volume-title":"Principles of Declarative Programming","author":"R. Cosmo Di","year":"1998","unstructured":"Di Cosmo, R., Loddo, J.-V., Nicolet, S.: A Game Semantics Foundation for Logic Programming. In: Palamidessi, C., Meinke, K., Glaser, H. (eds.) ALP 1998 and PLILP 1998. LNCS, vol.\u00a01490, pp. 355\u2013373. Springer, Heidelberg (1998)"},{"key":"33_CR2","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/BF03037381","volume":"4","author":"L. Fari\u00f1as del Cerro","year":"1986","unstructured":"Fari\u00f1as del Cerro, L.: MOLOG: A System that Extends PROLOG with Modal Logic. New Generation Computing\u00a04, 35\u201350 (1986)","journal-title":"New Generation Computing"},{"issue":"2-3","key":"33_CR3","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.apal.2007.10.004","volume":"151","author":"C. Galanaki","year":"2008","unstructured":"Galanaki, C., Rondogiannis, P., Wadge, W.W.: An Infinite-Game Semantics for Well-Founded Negation in Logic Programming. Annals of Pure and Applied Logic\u00a0151(2-3), 70\u201388 (2008)","journal-title":"Annals of Pure and Applied Logic"},{"key":"33_CR4","first-page":"245","volume":"28","author":"D. Gale","year":"1953","unstructured":"Gale, D., Stewart, F.M.: Infinite Games with Perfect Information. Annals of Mathematical Studies\u00a028, 245\u2013266 (1953)","journal-title":"Annals of Mathematical Studies"},{"key":"33_CR5","doi-asserted-by":"publisher","first-page":"363","DOI":"10.2307\/1971035","volume":"102","author":"D.A. Martin","year":"1975","unstructured":"Martin, D.A.: Borel Determinacy. Annals of Math.\u00a0102, 363\u2013371 (1975)","journal-title":"Annals of Math."},{"key":"33_CR6","unstructured":"Montague, R.: English as a Formal Language. In: Thomason, R.H. (ed.) Formal Philosophy: Selected Papers of Richard Montague, pp. 108\u2013221. Yale University Press (1974)"},{"key":"33_CR7","unstructured":"Moschovakis, Y.N.: Descriptive Set Theory. North-Holland (1980)"},{"key":"33_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/3-540-15670-4_6","volume-title":"Seminar on Concurrency","author":"B.C. Moszkowski","year":"1985","unstructured":"Moszkowski, B.C.: Executing Temporal Logic Programs. In: Brookes, S.D., Winskel, G., Roscoe, A.W. (eds.) Seminar on Concurrency. LNCS, vol.\u00a0197, pp. 111\u2013130. Springer, Heidelberg (1985)"},{"issue":"4","key":"33_CR9","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1016\/0743-1066(92)90055-8","volume":"13","author":"M.A.P. Orgun","year":"1992","unstructured":"Orgun, M.A.P., Wadge, W.W.: Towards a Unified Theory of Intensional Logic Programming. Journal of Logic Programming\u00a013(4), 413\u2013440 (1992)","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"33_CR10","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1145\/1055686.1055694","volume":"6","author":"P. Rondogiannis","year":"2005","unstructured":"Rondogiannis, P., Wadge, W.W.: Minimum Model Semantics for Logic Programs with Negation-as-Failure. ACM Transactions on Computational Logic\u00a06(2), 441\u2013467 (2005)","journal-title":"ACM Transactions on Computational Logic"},{"key":"33_CR11","doi-asserted-by":"crossref","unstructured":"Scott, D.: Advice on Modal Logic. In: Lambert, K. (ed.) Philosophical Problems in Logic, pp. 143\u2013173. D. Reidel Publishing Company (1970)","DOI":"10.1007\/978-94-010-3272-8_7"},{"key":"33_CR12","unstructured":"Tsouanas, T.: A Game Semantics Approach to Disjunctive Logic Programs. In: GALOP Workshop, Saarbr\u00fccken, Germany (2011)"},{"issue":"1","key":"33_CR13","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0743-1066(86)90003-8","volume":"3","author":"M.H. Emden van","year":"1986","unstructured":"van Emden, M.H.: Quantitative Deduction and its Fixpoint Theory. Journal of Logic Programming\u00a03(1), 37\u201353 (1986)","journal-title":"Journal of Logic Programming"},{"key":"33_CR14","unstructured":"De Vos, M.: Logic Programming, Decisions and Games. PhD thesis, Vrije Universiteit Brussel (2001)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40564-8_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T02:10:25Z","timestamp":1558059025000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40564-8_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405631","9783642405648"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40564-8_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}