{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T19:15:37Z","timestamp":1761765337988},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205456"},{"type":"electronic","value":"9783540400318"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40031-8_24","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T19:03:50Z","timestamp":1283713430000},"page":"360-375","source":"Crossref","is-referenced-by-count":14,"title":["Using Abstraction for Planning in Sokoban"],"prefix":"10.1007","author":[{"given":"Adi","family":"Botea","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"M\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Schaeffer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"Junghanns, A.: Pushing the Limits: New Developments in Single-Agent Search. PhD thesis, Department of Computing Science, University of Alberta (1999)"},{"key":"24_CR2","unstructured":"Bacchus, F.: AIPS\u201900 planning competition. AI Magazine, 47\u201356 (2001)"},{"key":"24_CR3","unstructured":"Shapiro, A.: Structured Induction in Expert Systems. Turing Institute Press. Addison-Wesley (1987)"},{"key":"24_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(82)90009-1","volume":"18","author":"D. Wilkins","year":"1982","unstructured":"Wilkins, D.: Using knowledge to control tree searching. Artificial Intelligence\u00a018, 1\u201351 (1982)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"24_CR5","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0004-3702(85)90012-8","volume":"26","author":"R. Korf","year":"1985","unstructured":"Korf, R.: Macro-operators: A weak method for learning. Artificial Intelligence\u00a026(1), 35\u201377 (1985)","journal-title":"Artificial Intelligence"},{"key":"24_CR6","unstructured":"Culberson, J.: Sokoban is PSPACE-complete. Technical report, Department of Computing Science, University of Alberta, Edmonton, Alberta, Canada (1997) \n                    \n                      ftp:\/\/ftp.cs.ualberta.ca\/pub\/TechReports\/1997\/TR97-02"},{"key":"24_CR7","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/S0004-3702(01)00109-6","volume":"129","author":"A. Junghanns","year":"2001","unstructured":"Junghanns, A., Schaeffer, J.: Sokoban: Enhancing single-agent search using domain knowledge. Artificial Intelligence\u00a0129, 219\u2013251 (2001)","journal-title":"Artificial Intelligence"},{"key":"24_CR8","unstructured":"McDermott, D.: Using regression-match graphs to control search in planning (1997) \n                    \n                      http:\/\/www.cs.yale.edu\/HTML\/YALE\/CS\/HyPlans\/mcdermott.html"},{"key":"24_CR9","unstructured":"Holte, R., Perez, M., Zimmer, R., MacDonald, A.: Hierarchical A*: Searching abstraction hierarchies efficiently. Technical report, University of Ottawa, TR-95-18 (1995)"},{"key":"24_CR10","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0004-3702(99)00071-5","volume":"16","author":"F. Bacchus","year":"2000","unstructured":"Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence\u00a016, 123\u2013191 (2000)","journal-title":"Artificial Intelligence"},{"key":"24_CR11","first-page":"570","volume-title":"Sixteenth International Joint Conference on Artificial Intelligence (IJCAI 1999)","author":"A. Junghanns","year":"1999","unstructured":"Junghanns, A., Schaeffer, J.: Domain-dependent single-agent search enhancements. In: Sixteenth International Joint Conference on Artificial Intelligence (IJCAI 1999), pp. 570\u2013575. Morgan Kaufmann Publishers, San Francisco (1999)"},{"key":"24_CR12","first-page":"419","volume-title":"Fifteenth National Conference of the American Association for Artificial Intelligence (AAAI 1998)","author":"A. Junghanns","year":"1998","unstructured":"Junghanns, A., Schaeffer, J.: Single-agent search in the presence of deadlock. In: Fifteenth National Conference of the American Association for Artificial Intelligence (AAAI 1998), pp. 419\u2013424. AAAI Press, Menlo Park (1998)"},{"key":"24_CR13","unstructured":"Bacchus, F.: Personal communication (2002)"}],"container-title":["Lecture Notes in Computer Science","Computers and Games"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40031-8_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,19]],"date-time":"2019-03-19T21:37:06Z","timestamp":1553031426000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40031-8_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205456","9783540400318"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40031-8_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}