乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:31:14Z","timestamp":1725582674566},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642208317"},{"type":"electronic","value":"9783642208324"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20832-4_19","type":"book-chapter","created":{"date-parts":[[2011,4,27]],"date-time":"2011-04-27T22:59:49Z","timestamp":1303945189000},"page":"300-314","source":"Crossref","is-referenced-by-count":1,"title":["Translating General Game Descriptions into an Action Language"],"prefix":"10.1007","author":[{"given":"Michael","family":"Thielscher","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1-2","key":"19_CR1","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.artint.2003.08.002","volume":"153","author":"V. Akman","year":"2004","unstructured":"Akman, V., Erdogan, S., Lee, J., Lifschitz, V., Turner, H.: Representing the Zoo world and the Traffic world in the language of the Causal Calculator. Artificial Intelligence\u00a0153(1-2), 105\u2013140 (2004)","journal-title":"Artificial Intelligence"},{"key":"19_CR2","first-page":"89","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K. Apt","year":"1987","unstructured":"Apt, K., Blair, H.A., Walker, A.: Towards a theory of declarative knowledge. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, ch. 2, pp. 89\u2013148. Morgan Kaufmann, San Francisco (1987)"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19\/20","author":"K. Apt","year":"1994","unstructured":"Apt, K., Bol, R.: Logic programming and negation: A survey. Journal of Logic Programming\u00a019\/20, 9\u201371 (1994)","journal-title":"Journal of Logic Programming"},{"key":"19_CR4","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K. Clark","year":"1978","unstructured":"Clark, K.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293\u2013322. Plenum Press, New York (1978)"},{"unstructured":"Clune, J.: Heuristic evaluation functions for general game playing. In: Proceedings of the AAAI Conference, pp. 1134\u20131139 (2007)","key":"19_CR5"},{"unstructured":"Finnsson, H., Bj\u00f6rnsson, Y.: Simulation-based approach to general game playing. In: Proceedings of the AAAI Conference, pp. 259\u2013264 (2008)","key":"19_CR6"},{"key":"19_CR7","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/S1574-6526(07)03007-6","volume-title":"Handbook of Knowledge Representation","author":"M. Gelfond","year":"2008","unstructured":"Gelfond, M.: Answer sets. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, pp. 285\u2013316. Elsevier, Amsterdam (2008)"},{"unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the International Joint Conference and Symposium on Logic Programming (IJCSLP), pp. 1070\u20131080 (1988)","key":"19_CR8"},{"key":"19_CR9","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"Gelfond, M., Lifschitz, V.: Representing action and change by logic programs. Journal of Logic Programming\u00a017, 301\u2013321 (1993)","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"19_CR10","first-page":"62","volume":"26","author":"M. Genesereth","year":"2005","unstructured":"Genesereth, M., Love, N., Pell, B.: General game playing: Overview of the AAAI competition. AI Magazine\u00a026(2), 62\u201372 (2005)","journal-title":"AI Magazine"},{"issue":"1-2","key":"19_CR11","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","volume":"153","author":"E. Giunchiglia","year":"2004","unstructured":"Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence\u00a0153(1-2), 49\u2013104 (2004)","journal-title":"Artificial Intelligence"},{"unstructured":"Kuhlmann, G., Dresner, K., Stone, P.: Automatic heuristic construction in a complete general game player. In: Proceedings of the AAAI Conference, pp. 1457\u20131462 (2006)","key":"19_CR12"},{"issue":"1","key":"19_CR13","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0743-1066(86)90004-X","volume":"3","author":"J. Lloyd","year":"1986","unstructured":"Lloyd, J., Topor, R.: A basis for deductive database systems II. Journal of Logic Programming\u00a03(1), 55\u201367 (1986)","journal-title":"Journal of Logic Programming"},{"unstructured":"Love, N., Hinrichs, T., Haley, D., Schkufza, E., Genesereth, M.: General Game Playing: Game Description Language Specification. Technical Report LG\u20132006\u201301, Computer Science Department, Stanford University (2006), games.stanford.edu","key":"19_CR14"},{"doi-asserted-by":"crossref","unstructured":"McCarthy, J.: Situations and Actions and Causal Laws. Stanford Artificial Intelligence Project, Memo 2, Stanford University (1963)","key":"19_CR15","DOI":"10.21236\/AD0785031"},{"key":"19_CR16","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence\u00a04, 463\u2013502 (1969)","journal-title":"Machine Intelligence"},{"key":"19_CR17","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/B978-0-934613-40-8.50009-9","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"T. Przymusinski","year":"1988","unstructured":"Przymusinski, T.: On the declarative semantics of deductive databases and logic programs. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 193\u2013216. Morgan Kaufmann, San Francisco (1988)"},{"unstructured":"Schiffel, S., Thielscher, M.: Fluxplayer: A successful general game player. In: Proceedings of the AAAI Conference, pp. 1191\u20131196 (2007)","key":"19_CR18"},{"unstructured":"Schiffel, S., Thielscher, M.: Automated theorem proving for general game playing. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pp. 911\u2013916 (2009)","key":"19_CR19"},{"key":"19_CR20","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-642-11819-7_4","volume-title":"Agents and Artificial Intelligence: Proceedings of ICAART","author":"S. Schiffel","year":"2009","unstructured":"Schiffel, S., Thielscher, M.: A multiagent semantics for the Game Description Language. In: Filipe, J., Fred, A., Sharp, B. (eds.) Agents and Artificial Intelligence: Proceedings of ICAART. CCIS, vol.\u00a067, pp. 44\u201355. Springer, Heidelberg (2009)"},{"key":"19_CR21","series-title":"Lecture Notes in Computer Science","first-page":"475","volume-title":"AI 2009: Advances in Artificial Intelligence","author":"S. Schiffel","year":"2009","unstructured":"Schiffel, S., Thielscher, M., Zhao, D.: Decomposition of multi-player games. In: Nicholson, A., Li, X. (eds.) AI 2009. LNCS, vol.\u00a05866, pp. 475\u2013484. Springer, Heidelberg (2009)"},{"doi-asserted-by":"crossref","unstructured":"Thielscher, M.: A general game description language for incomplete information games. In: Proceedings of the AAAI Conference, pp. 994\u2013999 (2010)","key":"19_CR22","DOI":"10.1609\/aaai.v24i1.7647"},{"doi-asserted-by":"crossref","unstructured":"Thielscher, M., Voigt, S.: A temporal proof system for general game playing. In: Proceedings of the AAAI Conference, pp. 1000\u20131005 (2010)","key":"19_CR23","DOI":"10.1609\/aaai.v24i1.7646"}],"container-title":["Lecture Notes in Computer Science","Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20832-4_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,6]],"date-time":"2023-06-06T10:10:52Z","timestamp":1686046252000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20832-4_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642208317","9783642208324"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20832-4_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}