{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:12:33Z","timestamp":1725495153980},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540412854"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-44404-1_14","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T19:20:51Z","timestamp":1194981651000},"page":"207-224","source":"Crossref","is-referenced-by-count":0,"title":["Playing Logic Programs with the Alpha-Beta Algorithm"],"prefix":"10.1007","author":[{"given":"Loddo","family":"Jean-Vincent","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Cosmo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"14_CR1","doi-asserted-by":"publisher","first-page":"543","DOI":"10.2307\/2275407","volume":"59","author":"S. Abramsky","year":"1994","unstructured":"S. Abramsky and R. Jagadeesan. Games and full completeness for multiplicative linear logic. The Journal of Symbolic Logic, 59(2):543\u2013574, 1994. 207","journal-title":"The Journal of Symbolic Logic"},{"key":"14_CR2","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. 207","journal-title":"Annals of Pure and Applied Logic"},{"key":"14_CR3","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.208","journal-title":"Journal of Logic Programming"},{"key":"14_CR4","unstructured":"P. Curien and H. Herbelin. Computing with abstract bohm trees. 1996. 207"},{"key":"14_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/BFb0056626","volume-title":"PLILP\u201998","author":"R. Cosmo Di","year":"1998","unstructured":"R. Di Cosmo, J.-V. Loddo, and S. Nicolet. A game semantics foundation for logic programming. In C. Palamidessi, H. Glaser, and K. Meinke, editors, PLILP\u201998, volume 1490 of Lecture Notes in Computer Science, pages 355\u2013373, 1998. 208, 217, 217, 220"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"G. Diderich. A survey on minimax trees and associated algorithms. Minimax and its Applications, Kluwer Academic Publishers, 1995. 208","DOI":"10.1007\/978-1-4613-3557-3_2"},{"issue":"32","key":"14_CR7","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/S0743-1066(96)00092-1","volume":"2","author":"F. Fages","year":"1997","unstructured":"F. Fages. Constructive negation by pruning. Journal of Logic Proigramming, 2(32):85\u2013118, 1997. 218","journal-title":"Journal of Logic Proigramming"},{"issue":"20","key":"14_CR8","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19","author":"J. Jaffar","year":"1994","unstructured":"J. Jaffar and M. J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19\/20:503\u2013581, 1994. 217","journal-title":"Journal of Logic Programming"},{"key":"14_CR9","unstructured":"A. Joyal. Free lattices, communication and money games. Proceedings of the 10th International Congress of Logic, Methodology, and Philosophy of Science, 1995. 207"},{"issue":"3","key":"14_CR10","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1145\/177492.177650","volume":"16","author":"N. J. Marriot Kim","year":"1994","unstructured":"N. J. Kim Marriot, Harald S\u00f8ndergaard. Denotational abstract interpretation of logic programs. ACM Transaction on Programming Languages and Systems, 16(3):607\u2013648, 1994. 219","journal-title":"ACM Transaction on Programming Languages and Systems"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"F. Lamarche. Game semantics for full propositional linear logic. Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science, pages 464\u2013473, 1995. 207","DOI":"10.1109\/LICS.1995.523280"},{"key":"14_CR12","unstructured":"G. Owen. Game Theory. W.B. Saunders, 1968. 209"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"V. D. P. Baillot and T. Ehrhard. Believe it or not, AJM\u2019s games model is a model of classical linear logic. Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science, pages pages 68\u201375, 1997. 207","DOI":"10.1109\/LICS.1997.614933"},{"key":"14_CR14","unstructured":"J. Pearl. Heuristics. Intelligent Search Strategies for Computer Problem Solving. Addison Wesley, 1984. 208, 210, 215"},{"key":"14_CR15","unstructured":"A. Plaat. Research Re: search & Re-search. PhD thesis, Tinbergen Institute and Department of Computer Science, Erasmus University Rotterdam, 1996. 208"},{"key":"14_CR16","first-page":"195","volume":"100","author":"J. Neumann von","year":"1928","unstructured":"J. von Neumann. Zur Theorie der Gesellschaftsspiele. Mathaematische Annalen, (100):195\u2013320, 1928. 208","journal-title":"Mathaematische Annalen"}],"container-title":["Lecture Notes in Artificial Intelligence","Logic for Programming and Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44404-1_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:23:55Z","timestamp":1619573035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44404-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540412854"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-44404-1_14","relation":{},"subject":[]}}