{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:48:07Z","timestamp":1757544487932,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319579689"},{"type":"electronic","value":"9783319579696"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","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":[[2017]]},"DOI":"10.1007\/978-3-319-57969-6_11","type":"book-chapter","created":{"date-parts":[[2017,4,28]],"date-time":"2017-04-28T10:04:26Z","timestamp":1493373866000},"page":"152-164","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Grounding GDL Game Descriptions"],"prefix":"10.1007","author":[{"given":"Stephan","family":"Schiffel","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,4,29]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","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, chap. 2, pp. 89\u2013148. Morgan Kaufmann (1987)","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"11_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning, and Declarative Problem Solving","author":"C Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press, New York (2003)"},{"key":"11_CR3","unstructured":"Cerexhe, T., Rajaratnam, D., Saffidine, A., Thielscher, M.: A systematic solution to the (de-)composition problem in general game playing. In: Proceedings of the European Conference on Artificial Intelligence (ECAI), pp. 195\u2013200 (2014)"},{"key":"11_CR4","unstructured":"Cox, E., Schkufza, E., Madsen, R., Genesereth, M.: Factoring general games using propositional automata. In: Proceedings of the IJCAI-09 Workshop on General Game Playing (GIGA 2009), pp. 13\u201320 (2009)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Edelkamp, S., Kissmann, P.: On the complexity of BDDs for state space search: a case study in Connect Four. In: Proceedings of the AAAI Conference on Artificial Intelligence, pp. 18\u201323. AAAI Press (2011)","DOI":"10.1609\/aaai.v25i1.7821"},{"issue":"2","key":"11_CR6","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/AIC-2011-0491","volume":"24","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Schneider, M.: Potassco: the potsdam answer set solving collection. AI Commun. 24(2), 107\u2013124 (2011)","journal-title":"AI Commun."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Van Gelder, A.: The alternating fixpoint of logic programs with negation. In: Proceedings of the 8th Symposium on Principles of Database Systems, pp. 1\u201310. ACM SIGACT-SIGMOD (1989)","DOI":"10.1145\/73721.73722"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2012.04.003","volume":"187\u2013188","author":"S Haufe","year":"2012","unstructured":"Haufe, S., Schiffel, S., Thielscher, M.: Automated verification of state sequence invariants in general game playing. Artif. Intell. 187\u2013188, 1\u201330 (2012)","journal-title":"Artif. Intell."},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Kissmann, P., Edelkamp, S.: Instantiating general games using prolog or dependency graphs. In: German Conference on Artificial Intelligence, pp. 255\u2013262 (2010)","DOI":"10.1007\/978-3-642-16111-7_29"},{"issue":"1","key":"11_CR10","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. J. Logic Program. 3(1), 55\u201367 (1986)","journal-title":"J. Logic Program."},{"key":"11_CR11","unstructured":"Love, N., Hinrichs, T., Haley, D., Schkufza, E., Genesereth, M.: General game playing: Game description language specification. Technical report, Stanford University (2008). http:\/\/games.stanford.edu\/language\/spec\/gdl_spec_2008_03.pdf"},{"key":"11_CR12","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-36907-0_13","volume-title":"Agents and Artificial Intelligence","author":"D Michulke","year":"2013","unstructured":"Michulke, D., Schiffel, S.: Admissible distance heuristics for general games. In: Filipe, J., Fred, A. (eds.) ICAART 2012. CCIS, vol. 358, pp. 188\u2013203. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-36907-0_13"},{"issue":"4","key":"11_CR13","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1109\/TCIAIG.2014.2354417","volume":"6","author":"A Saffidine","year":"2014","unstructured":"Saffidine, A.: The game description language is Turing complete. IEEE Trans. Comput. Intell. AI Games 6(4), 320\u2013324 (2014)","journal-title":"IEEE Trans. Comput. Intell. AI Games"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Schiffel, S.: Symmetry detection in general game playing. In: Proceedings of the AAAI Conference on Artificial Intelligence, pp. 980\u2013985. AAAI Press (2010)","DOI":"10.1609\/aaai.v24i1.7649"},{"key":"11_CR15","unstructured":"Schiffel, S.: GGPServer (2016). http:\/\/ggpserver.general-game-playing.de\/"},{"issue":"4","key":"11_CR16","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1109\/TCIAIG.2014.2308362","volume":"6","author":"S Schiffel","year":"2014","unstructured":"Schiffel, S., Bj\u00f6rnsson, Y.: Efficiency of GDL reasoners. IEEE Trans. Comput. Intell. AI Games 6(4), 343\u2013354 (2014)","journal-title":"IEEE Trans. Comput. Intell. AI Games"},{"key":"11_CR17","unstructured":"Schiffel, S., Thielscher, M.: Automated theorem proving for general game playing. In: Proceedings of IJCAI 2009, pp. 911\u2013916 (2009)"},{"key":"11_CR18","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-642-11819-7_4","volume-title":"Agents and Artificial Intelligence","author":"S Schiffel","year":"2010","unstructured":"Schiffel, S., Thielscher, M.: A multiagent semantics for the game description language. In: Filipe, J., Fred, A., Sharp, B. (eds.) ICAART 2009. CCIS, vol. 67, pp. 44\u201355. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-11819-7_4"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-540-89378-3_6","volume-title":"AI 2008: Advances in Artificial Intelligence","author":"E Schkufza","year":"2008","unstructured":"Schkufza, E., Love, N., Genesereth, M.: Propositional automata and cell automata: representational frameworks for discrete dynamic systems. In: Wobcke, W., Zhang, M. (eds.) AI 2008. LNCS (LNAI), vol. 5360, pp. 56\u201366. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-89378-3_6"},{"key":"11_CR20","unstructured":"Schreiber, S., Landau, A.: The general game playing base package (2016). https:\/\/github.com\/ggp-org\/ggp-base"}],"container-title":["Communications in Computer and Information Science","Computer Games"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57969-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,23]],"date-time":"2023-08-23T09:48:19Z","timestamp":1692784099000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57969-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319579689","9783319579696"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57969-6_11","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"29 April 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}