{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T16:18:57Z","timestamp":1648657137716},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,1,11]],"date-time":"2011-01-11T00:00:00Z","timestamp":1294704000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1007\/s13218-010-0073-8","type":"journal-article","created":{"date-parts":[[2011,1,10]],"date-time":"2011-01-10T11:41:52Z","timestamp":1294659712000},"page":"25-33","source":"Crossref","is-referenced-by-count":3,"title":["Knowledge-Based General Game Playing"],"prefix":"10.1007","volume":"25","author":[{"given":"Sebastian","family":"Haufe","sequence":"first","affiliation":[]},{"given":"Daniel","family":"Michulke","sequence":"additional","affiliation":[]},{"given":"Stephan","family":"Schiffel","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Thielscher","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,1,11]]},"reference":[{"key":"73_CR1","volume-title":"Design automation conference","author":"FA Aloul","year":"2002","unstructured":"Aloul FA, Ramani A, Markov IL, Sakallah KA (2002) Solving difficult SAT instances in the presence of symmetry. In: Design automation conference, University of Michigan"},{"key":"73_CR2","first-page":"929","volume-title":"Proceedings of the international joint conference on artificial intelligence (IJCAI)","author":"E Amir","year":"2003","unstructured":"Amir E, Engelhardt B (2003) Factored planning. In: Proceedings of the international joint conference on artificial intelligence (IJCAI), pp 929\u2013935"},{"key":"73_CR3","first-page":"809","volume-title":"Proceedings of the AAAI conference on artificial intelligence","author":"R Brafman","year":"2006","unstructured":"Brafman R, Domshlak C (2006) Factored planning: How, when and when not. In: Proceedings of the AAAI conference on artificial intelligence, pp 809\u2013814"},{"key":"73_CR4","first-page":"1134","volume-title":"Proceedings of the AAAI conference on artificial intelligence","author":"J Clune","year":"2007","unstructured":"Clune J (2007) Heuristic evaluation functions for general game playing. In: Proceedings of the AAAI conference on artificial intelligence. AAAI Press, Vancouver, pp 1134\u20131139"},{"key":"73_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0211-3","volume-title":"Neural symbolic learning systems","author":"ABKB d\u2019Avila Garcez","year":"2002","unstructured":"d\u2019Avila Garcez ABKB, Gabbay D (2002) Neural symbolic learning systems. Springer, Berlin"},{"key":"73_CR6","first-page":"956","volume-title":"Proceedings of the international joint conference on artificial intelligence (IJCAI)","author":"M Fox","year":"1999","unstructured":"Fox M, Long D (1999) The detection and exploitation of symmetry in planning problems. In: Proceedings of the international joint conference on artificial intelligence (IJCAI), pp 956\u2013961"},{"key":"73_CR7","doi-asserted-by":"crossref","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 (2008) Answer sets. In: van Harmelen F, Lifschitz V, Porter B (eds) Handbook of knowledge representation. Elsevier, Amsterdam, pp 285\u2013316"},{"key":"73_CR8","first-page":"27","volume-title":"Proceedings of the IJCAI workshop on general intelligence in game-playing agents (GIGA)","author":"M G\u00fcnther","year":"2009","unstructured":"G\u00fcnther M, Schiffel S, Thielscher M (2009) Factoring general games. In: Proceedings of the IJCAI workshop on general intelligence in game-playing agents (GIGA), pp 27\u201334"},{"key":"73_CR9","first-page":"1942","volume-title":"Proceedings of the international joint conference on artificial intelligence (IJCAI)","author":"E Kelareva","year":"2007","unstructured":"Kelareva E, Buffet O, Huang J, Thi\u00e9baux S (2007) Factored planning using decomposition trees. In: Proceedings of the international joint conference on artificial intelligence (IJCAI), pp\u00a01942\u20131947"},{"key":"73_CR10","first-page":"1457","volume-title":"Proceedings of the twenty-first national conference on artificial intelligence","author":"G Kuhlmann","year":"2006","unstructured":"Kuhlmann G, Dresner K, Stone P (2006) Automatic heuristic construction in a complete general game player. In: Proceedings of the twenty-first national conference on artificial intelligence. AAAI Press, Boston, pp\u00a01457\u20131462"},{"key":"73_CR11","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/978-3-642-04174-7_7","volume-title":"ECML PKDD \u201909: proceedings of the European conference on machine learning and knowledge discovery in databases","author":"D Michulke","year":"2009","unstructured":"Michulke D, Thielscher M (2009) Neural networks for state evaluation in general game playing. In: ECML PKDD \u201909: proceedings of the European conference on machine learning and knowledge discovery in databases. Springer, Berlin, pp 95\u2013110"},{"key":"73_CR12","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1007\/11564751_36","volume-title":"CP","author":"JF Puget","year":"2005","unstructured":"Puget JF (2005) Automatic detection of variable and value symmetries. In: van Beek P (ed) CP. Lecture notes in computer science, vol 3709. Springer, Berlin, pp 475\u2013489"},{"issue":"6","key":"73_CR13","doi-asserted-by":"crossref","first-page":"1127","DOI":"10.1093\/logcom\/exp039","volume":"19","author":"J Ruan","year":"2009","unstructured":"Ruan J, van\u00a0der\u00a0Hoek W, Wooldridge M (2009) Verification of games in the game description language. J Log Comput 19(6):1127\u20131156","journal-title":"J Log Comput"},{"key":"73_CR14","first-page":"980","volume-title":"Proceedings of AAAI\u201910","author":"S Schiffel","year":"2010","unstructured":"Schiffel S (2010) Symmetry detection in general game playing. In: Proceedings of AAAI\u201910, pp 980\u2013985"},{"key":"73_CR15","first-page":"1191","volume-title":"Proceedings of the national conference on artificial intelligence","author":"S Schiffel","year":"2007","unstructured":"Schiffel S, Thielscher M (2007) Fluxplayer: a successful general game player. In: Proceedings of the national conference on artificial intelligence. AAAI Press, Vancouver, pp\u00a01191\u20131196"},{"key":"73_CR16","first-page":"911","volume-title":"Proceedings of the international joint conference on artificial intelligence (IJCAI)","author":"S Schiffel","year":"2009","unstructured":"Schiffel S, Thielscher M (2009) Automated theorem proving for general game playing. In: Proceedings of the international joint conference on artificial intelligence (IJCAI), pp 911\u2013916"},{"key":"73_CR17","volume-title":"International conference on agents and artificial intelligence (ICAART)","author":"S Schiffel","year":"2009","unstructured":"Schiffel S, Thielscher M (2009) A multiagent semantics for the game description language. In: International conference on agents and artificial intelligence (ICAART). Springer, Berlin"},{"key":"73_CR18","first-page":"9","volume-title":"Machine learning","author":"RS Sutton","year":"1988","unstructured":"Sutton RS (1988) Learning to predict by the methods of temporal differences. In: Machine learning. Kluwer Academic, Dordrecht, pp 9\u201344"},{"issue":"3","key":"73_CR19","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1145\/203330.203343","volume":"38","author":"G Tesauro","year":"1995","unstructured":"Tesauro G (1995) Temporal difference learning and td-gammon. Commun ACM 38(3):58\u201368","journal-title":"Commun ACM"},{"key":"73_CR20","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/978-3-642-02846-5_28","volume-title":"Proceedings of the international conference on logic programming (ICLP)","author":"M Thielscher","year":"2009","unstructured":"Thielscher M (2009) Answer set programming for single-player games in general game playing. In: Hill P, Warren D (eds) Proceedings of the international conference on logic programming (ICLP). Lecture notes in computer science, vol 5649. Springer, Pasadena, pp 327\u2013341"},{"key":"73_CR21","first-page":"1000","volume-title":"Proceedings of the AAAI conference on artificial intelligence","author":"M Thielscher","year":"2010","unstructured":"Thielscher M, Voigt S (2010) A temporal proof system for general game playing. In: Proceedings of the AAAI conference on artificial intelligence, pp\u00a01000\u20131005"},{"key":"73_CR22","first-page":"475","volume-title":"Proceedings of the Australasian joint conference on artificial intelligence","author":"D Zhao","year":"2009","unstructured":"Zhao D, Schiffel S, Thielscher M (2009) Decomposition of multi-player games. In: Proceedings of the Australasian joint conference on artificial intelligence, Melbourne, pp.\u00a0475\u2013484"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-010-0073-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13218-010-0073-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-010-0073-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T14:59:47Z","timestamp":1559487587000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13218-010-0073-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1,11]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,3]]}},"alternative-id":["73"],"URL":"https:\/\/doi.org\/10.1007\/s13218-010-0073-8","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"value":"0933-1875","type":"print"},{"value":"1610-1987","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,1,11]]}}}