{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T17:00:48Z","timestamp":1725814848406},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319147253"},{"type":"electronic","value":"9783319147260"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-14726-0_3","type":"book-chapter","created":{"date-parts":[[2015,1,7]],"date-time":"2015-01-07T03:37:32Z","timestamp":1420601852000},"page":"33-46","source":"Crossref","is-referenced-by-count":0,"title":["Simulation of Action Theories and an Application to General Game-Playing Robots"],"prefix":"10.1007","author":[{"given":"Michael","family":"Thielscher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Apt, K., Blair, H., Walker, A.: Towards a theory of declarative knowledge. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, ch.\u00a02, pp. 89\u2013148. Morgan Kaufmann (1987)","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-40564-8_13","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"J. Babb","year":"2013","unstructured":"Babb, J., Lee, J.: cplus2ASP: Computing action language ${\\cal C}$ + in answer set programming. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS, vol.\u00a08148, pp. 122\u2013134. Springer, Heidelberg (2013)"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"van Benthem, J.: Logic in Games. MIT Press (2014)","DOI":"10.7551\/mitpress\/9674.001.0001"},{"issue":"12","key":"3_CR4","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G. Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Communications of the ACM\u00a054(12), 92\u2013103 (2011)","journal-title":"Communications of the ACM"},{"issue":"5","key":"3_CR5","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1093\/logcom\/3.5.517","volume":"3","author":"G. Brewka","year":"1993","unstructured":"Brewka, G., Hertzberg, J.: How to do things with worlds: on formalizing actions and plans. Journal of Logic and Computation\u00a03(5), 517\u2013532 (1993)","journal-title":"Journal of Logic and Computation"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"945","DOI":"10.1007\/978-3-319-13560-1_82","volume-title":"PRICAI 2014: Trends in Artificial Intelligence","author":"T. Cerexhe","year":"2014","unstructured":"Cerexhe, T., Gebser, M., Thielscher, M.: Online agent logic programming with oClingo. In: Pham, D.-N., Park, S.-B. (eds.) PRICAI 2014. LNCS, vol.\u00a08862, pp. 945\u2013957. Springer, Heidelberg (2014)"},{"key":"3_CR7","first-page":"1134","volume-title":"Proceedings of the AAAI Conference on Artificial Intelligence","author":"J. Clune","year":"2007","unstructured":"Clune, J.: Heuristic evaluation functions for general game playing. In: Proceedings of the AAAI Conference on Artificial Intelligence, pp. 1134\u20131139. AAAI Press, Vancouver (2007)"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. Fikes","year":"1971","unstructured":"Fikes, R., Nilsson, N.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence\u00a02, 189\u2013208 (1971)","journal-title":"Artificial Intelligence"},{"key":"3_CR9","first-page":"259","volume-title":"Proceedings of the AAAI Conference on Artificial Intelligence","author":"H. Finnsson","year":"2008","unstructured":"Finnsson, H., Bj\u00f6rnsson, Y.: Simulation-based approach to general game playing. In: Proceedings of the AAAI Conference on Artificial Intelligence, pp. 259\u2013264. AAAI Press, Chicago (2008)"},{"key":"3_CR10","first-page":"954","volume-title":"Proceedings of the AAAI Conference on Artificial Intelligence","author":"H. Finnsson","year":"2010","unstructured":"Finnsson, H., Bj\u00f6rnsson, Y.: Learning simulation control in general game-playing agents. In: Proceedings of the AAAI Conference on Artificial Intelligence, pp. 954\u2013959. AAAI Press, Atlanta (2010)"},{"key":"3_CR11","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1613\/jair.1129","volume":"20","author":"M. Fox","year":"2003","unstructured":"Fox, M., Long, D.: PDDL2.1: an extension to PDDL for expressing temporal planning domains. Journal of Artificial Intelligence Research\u00a020, 61\u2013124 (2003)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/978-3-642-20895-9_41","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Gebser","year":"2011","unstructured":"Gebser, M., Kaminski, R., Knecht, M., Schaub, T.: plasp: A prototype for PDDL-based planning in ASP. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol.\u00a06645, pp. 358\u2013363. Springer, Heidelberg (2011)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Gelfond, M.: Answer sets. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, pp. 285\u2013316. Elsevier (2008)","DOI":"10.1016\/S1574-6526(07)03007-6"},{"key":"3_CR14","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":"3_CR15","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1609\/aimag.v34i2.2475","volume":"34","author":"M. Genesereth","year":"2013","unstructured":"Genesereth, M., Bj\u00f6rnsson, Y.: The international general game playing competition. AI Magazine\u00a034(2), 107\u2013111 (2013)","journal-title":"AI Magazine"},{"issue":"2","key":"3_CR16","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"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Genesereth, M., Thielscher, M.: General Game Playing. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan & Claypool (2014)","DOI":"10.2200\/S00564ED1V01Y201311AIM024"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Haufe, S., Schiffel, S., Thielscher, M.: Automated verification of state sequence invariants in general game playing. Artificial Intelligence, 187\u2013188, 1\u201330 (2012)","DOI":"10.1016\/j.artint.2012.04.003"},{"key":"3_CR19","unstructured":"Hsu, F.H.: Behind Deep Blue: Building the Computer that Defeated the World Chess Champion. Princeton University Press (2002)"},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/0743-1066(92)90041-Z","volume":"12","author":"R. Kowalski","year":"1992","unstructured":"Kowalski, R.: Database updates in the event calculus. Journal of Logic Programming\u00a012, 121\u2013146 (1992)","journal-title":"Journal of Logic Programming"},{"key":"3_CR21","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1613\/jair.3489","volume":"43","author":"J. Lee","year":"2012","unstructured":"Lee, J.: Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming. Journal of Artificial Intelligence Research\u00a043, 571\u2013620 (2012)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"3_CR22","unstructured":"Li, N., Fan, Y., Liu, Y.: Reasoning about state constraints in the situation calculus. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), Beijing, China (August 2013)"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Lloyd, J.: Foundations of Logic Programming, 2nd extended edn. Series Symbolic Computation. Springer (1987)","DOI":"10.1007\/978-3-642-83189-8"},{"issue":"1","key":"3_CR24","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"},{"key":"3_CR25","unstructured":"Love, N., Hinrichs, T., Haley, D., Schkufza, E., Genesereth, M.: General Game Playing: Game Description Language Specification. Tech. Rep. LG\u20132006\u201301, Stanford Logic Group, Computer Science Department, Stanford University, 353 Serra Mall, Stanford, CA 94305 (2006), games.stanford.edu"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"McCarthy, J.: Situations and Actions and Causal Laws. Stanford Artificial Intelligence Project, Memo 2, Stanford University, CA (1963)","DOI":"10.21236\/AD0785031"},{"key":"3_CR27","unstructured":"Pritchard, D.: The Encycolpedia of Chess Variants. Godalming (1994)"},{"key":"3_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-319-03680-9_29","volume-title":"AI 2013: Advances in Artificial Intelligence","author":"D. Rajaratnam","year":"2013","unstructured":"Rajaratnam, D., Thielscher, M.: Towards general game-playing robots: Models, architecture and game controller. In: Cranefield, S., Nayak, A. (eds.) AI 2013. LNCS, vol.\u00a08272, pp. 271\u2013276. Springer, Heidelberg (2013)"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Sandewall, E.: Features and Fluents. The Representation of Knowledge about Dynamical Systems. Oxford University Press (1994)","DOI":"10.1093\/oso\/9780198538455.001.0001"},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Sangiorgi, D.: Introduction to Bisumlation and Coinduction. Cambridge University Press (2011)","DOI":"10.1017\/CBO9780511777110"},{"key":"3_CR31","first-page":"1191","volume-title":"Proceedings of the AAAI Conference on Artificial Intelligence","author":"S. Schiffel","year":"2007","unstructured":"Schiffel, S., Thielscher, M.: Fluxplayer: A successful general game player. In: Proceedings of the AAAI Conference on Artificial Intelligence, pp. 1191\u20131196. AAAI Press, Vancouver (2007)"},{"key":"3_CR32","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","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.\u00a067, pp. 44\u201355. Springer, Heidelberg (2010)"},{"issue":"1-2","key":"3_CR33","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0004-3702(99)00033-8","volume":"111","author":"M. Thielscher","year":"1999","unstructured":"Thielscher, M.: From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem. Artificial Intelligence\u00a0111(1-2), 277\u2013299 (1999)","journal-title":"Artificial Intelligence"},{"key":"3_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/978-3-642-02846-5_28","volume-title":"Logic Programming","author":"M. Thielscher","year":"2009","unstructured":"Thielscher, M.: Answer set programming for single-player games in general game playing. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 327\u2013341. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14726-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,6]],"date-time":"2024-06-06T11:02:30Z","timestamp":1717671750000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14726-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319147253","9783319147260"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14726-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}