{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:47:18Z","timestamp":1743097638432,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642174315"},{"type":"electronic","value":"9783642174322"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-17432-2_1","type":"book-chapter","created":{"date-parts":[[2010,11,29]],"date-time":"2010-11-29T13:05:03Z","timestamp":1291035903000},"page":"1-10","source":"Crossref","is-referenced-by-count":0,"title":["Pushing the Envelope: General Game Players Prove Theorems"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Haufe","sequence":"first","affiliation":[]},{"given":"Michael","family":"Thielscher","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Apt, K., Blair, H.A., Walker, A.: Towards a Theory of Declarative Knowledge. In: Foundations of Deductive Databases and Logic Programming, pp. 89\u2013148 (1987)","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"issue":"1","key":"1_CR2","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1109\/TCIAIG.2009.2018702","volume":"1","author":"Y. Bj\u00f6rnsson","year":"2009","unstructured":"Bj\u00f6rnsson, Y., Finnsson, H.: CADIAPLAYER: A Simulation-Based General Game Player. IEEE Transactions on Computational Intelligence and AI in Games\u00a01(1), 4\u201315 (2009)","journal-title":"IEEE Transactions on Computational Intelligence and AI in Games"},{"key":"1_CR3","unstructured":"Clune, J.: Heuristic Evaluation Functions for General Game Playing. In: AAAI, pp. 1134\u20131139 (2007)"},{"key":"1_CR4","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: Handbook of Knowledge Representation, pp. 285\u2013316. Elsevier, Amsterdam (2008)"},{"key":"1_CR5","unstructured":"Kuhlmann, G., Dresner, K., Stone, P.: Automatic Heuristic Construction in a Complete General Game Player. In: AAAI, pp. 1457\u20131462 (2006)"},{"issue":"1","key":"1_CR6","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. of Logic Programming\u00a03(1), 55\u201367 (1986)","journal-title":"J. of Logic Programming"},{"key":"1_CR7","unstructured":"Love, N., Hinrichs, T., Haley, D., Schkufza, E., Genesereth, M.: General Game Playing: Game Description Language Specification. Technical Report, LG\u20132006\u201301, Stanford University (2006), games.stanford.edu"},{"key":"1_CR8","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/3-540-46767-X_23","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"I. Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I., Simons, P., Soininen, T.: Stable Model Semantics of Weight Constraint Rules. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS, vol.\u00a01730, pp. 317\u2013331. Springer, Heidelberg (1999)"},{"key":"1_CR9","unstructured":"Pell, B.: Strategy Generation and Evaluation for Meta-Game Playing. Ph.D., Cambridge (1993)"},{"key":"1_CR10","unstructured":"Potassco, Potsdam Answer Set Solving Collection (2008), potassco.sourceforge.net"},{"key":"1_CR11","unstructured":"Schiffel, S., Thielscher, M.: Fluxplayer: A Successful General Game Player. In: AAAI, pp. 1191\u20131119 (2007)"},{"key":"1_CR12","unstructured":"Schiffel, S., Thielscher, M.: Automated Theorem Proving for General Game Playing. In: IJCAI, pp. 911\u2013916 (2009)"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Thielscher, M., Voigt, S.: A Temporal Proof System for General Game Playing. In: AAAI, pp. 1000\u20131005 (2010)","DOI":"10.1609\/aaai.v24i1.7646"}],"container-title":["Lecture Notes in Computer Science","AI 2010: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17432-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,4]],"date-time":"2023-06-04T09:26:08Z","timestamp":1685870768000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17432-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642174315","9783642174322"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17432-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}