{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T05:18:26Z","timestamp":1736572706322,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650126"},{"type":"electronic","value":"9783540497660"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"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":[[1998]]},"DOI":"10.1007\/bfb0056626","type":"book-chapter","created":{"date-parts":[[2006,7,30]],"date-time":"2006-07-30T08:19:58Z","timestamp":1154247598000},"page":"355-373","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A game semantics foundation for logic programming"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Di Cosmo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Vincent","family":"Loddo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephane","family":"Nicolet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,6,2]]},"reference":[{"key":"23_CR1","unstructured":"Aumann and Hart (eds). Handbook of Game Theory with Economic Applications. 1992."},{"issue":"2","key":"23_CR2","doi-asserted-by":"publisher","first-page":"543","DOI":"10.2307\/2275407","volume":"59","author":"S. Abramsky","year":"1994","unstructured":"Samson Abramsky and Rhada Jagadeesan. Games and full completeness for multiplicative linear logic. The Journal of Symbolic Logic, 59(2):543\u2013574, 1994.","journal-title":"The Journal of Symbolic Logic"},{"key":"23_CR3","unstructured":"Krzysztof Apt. From Logic Programming to Prolog. Prentice Hall, 1997."},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0743-1066(94)90026-4","volume":"19\u201320","author":"A. Bossi","year":"1994","unstructured":"A. Bossi, M. Gabbrielli, G. Levi, and M. Martelli. The s-semantics approach: Theory and applications. Journal of Logic Programming, 19\u201320:149\u2013197, 1994.","journal-title":"Journal of Logic Programming"},{"key":"23_CR5","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0168-0072(92)90073-9","volume":"56","author":"A. Blass","year":"1992","unstructured":"A. Blass. A game semantics for linear logic. Annals of Pure and Applied Logic, 56:pages 183\u2013220, 1992.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"3","key":"23_CR6","first-page":"162","volume":"19","author":"M.G. Brockington","year":"1996","unstructured":"M.G. Brockington. A taxonomy of parallel game-tree search algorithms. Journal of the International Computer Chess Association, 19(3):162\u2013174, 1996.","journal-title":"Journal of the International Computer Chess Association"},{"key":"23_CR7","unstructured":"P.L. Curien and H. Herbelin. Computing with abstract bohm trees. 1996."},{"key":"23_CR8","unstructured":"Levi Comici and Meo. Compositionality of SLD-derivations and their abstractions. ILPS, 1995."},{"issue":"5","key":"23_CR9","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1093\/logcom\/3.5.487","volume":"3","author":"K. Doets","year":"1993","unstructured":"K. Doets. Levationis Laus. Journal of Logic Computation, 3(5):pages 487\u2013516, 1993.","journal-title":"Journal of Logic Computation"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"E. Eder. Properties of substitutions and unifications. Journal of Symbolic Computation, (1):31\u201346, 1985.","DOI":"10.1016\/S0747-7171(85)80027-4"},{"key":"23_CR11","unstructured":"A. Joyal. Free lattices, communication and money games. Proceedings of the 10th International Congress of Logic, Methodology, and Philosophy of Science, 1995."},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"F. Lamarche. Game semantics for full prepositional linear logic. LICS, pages 464\u2013473, 1995.","DOI":"10.1109\/LICS.1995.523280"},{"key":"23_CR13","volume-title":"Technical report TR-98-01","author":"J. Loddo","year":"1998","unstructured":"Jean Loddo and St\u00e9phane Nicolet. Theorie des jeux et langages de programmation. Technical report TR-98-01, ENS, 45, Rue d'Ulm, 1998."},{"key":"23_CR14","unstructured":"G. Levi and F. Patricelli. Prolog: Linguaggio Applicazioni ed Implementazioni. Scuola Superiore G. Reiss Romoli, 1993."},{"key":"23_CR15","unstructured":"C. Palamidessi. Algebraic properties of idempotent substitutions, ICALP, LNCS, 443, 1990."},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"V. Danos P. Baillot and T. Ehrhard. Believe it or not, AJM's games model is a model of classical linear logic. LICS, pages 68\u201375, 1997.","DOI":"10.1109\/LICS.1997.614933"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"J. von Neumann. Zur Theorie der Gesellschaftsspiele. Mathaematische Annalen, (100):195\u2013320, 1928.","DOI":"10.1007\/BF01448847"}],"container-title":["Lecture Notes in Computer Science","Principles of Declarative Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0056626","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T07:05:29Z","timestamp":1736492729000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0056626"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650126","9783540497660"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0056626","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"2 June 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}