{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:08:51Z","timestamp":1725538131341},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642046162"},{"type":"electronic","value":"9783642046179"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04617-9_8","type":"book-chapter","created":{"date-parts":[[2009,9,15]],"date-time":"2009-09-15T06:55:02Z","timestamp":1252997702000},"page":"57-64","source":"Crossref","is-referenced-by-count":2,"title":["Solving Non-deterministic Planning Problems with Pattern Database Heuristics"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Bercher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Mattm\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1\u20132","key":"8_CR1","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0004-3702(02)00374-0","volume":"147","author":"A. Cimatti","year":"2003","unstructured":"Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: Weak, strong, and strong cyclic planning via symbolic model checking. Artificial Intelligence\u00a0147(1\u20132), 35\u201384 (2003)","journal-title":"Artificial Intelligence"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Edelkamp, S., Kissmann, P.: Solving fully-observable non-deterministic planning problems via translation into a general game. In: Proc. 32nd German Annual Conference on Artificial Intelligence, KI 2009 (2009)","DOI":"10.1007\/978-3-642-04617-9_1"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/s10462-007-9034-5","volume":"26","author":"D. Bryce","year":"2006","unstructured":"Bryce, D., Kambhampati, S., Smith, D.E.: Planning graph heuristics for belief space search. Journal of Artificial Intelligence Research\u00a026, 35\u201399 (2006)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"8_CR4","unstructured":"Hoffmann, J., Brafman, R.I.: Contingent planning via heuristic forward search with implicit belief states. In: Proc. 15th International Conference on Automated Planning and Scheduling (ICAPS 2005), pp. 71\u201380 (2005)"},{"key":"8_CR5","unstructured":"Bercher, P., Mattm\u00fcller, R.: A planning graph heuristic for forward-chaining adversarial planning. In: Proc. 18th European Conference on Artificial Intelligence (ECAI 2008), pp. 921\u2013922 (2008)"},{"issue":"1\u20132","key":"8_CR6","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0004-3702(01)00106-0","volume":"129","author":"E.A. Hansen","year":"2001","unstructured":"Hansen, E.A., Zilberstein, S.: LAO*: A heuristic search algorithm that finds solutions with loops. Artificial Intelligence\u00a0129(1\u20132), 35\u201362 (2001)","journal-title":"Artificial Intelligence"},{"key":"8_CR7","volume-title":"Principles of Artificial Intelligence","author":"N.J. Nilsson","year":"1980","unstructured":"Nilsson, N.J.: Principles of Artificial Intelligence. Springer, Heidelberg (1980)"},{"key":"8_CR8","unstructured":"Bercher, P.: Anwendung von Pattern-Database-Heuristiken zum L\u00f6sen nichtdeterministischer Planungsprobleme. Diplomarbeit, Albert-Ludwigs-Universit\u00e4t Freiburg im Breisgau (2009)"},{"key":"8_CR9","unstructured":"Edelkamp, S.: Planning with pattern databases. In: Proc. 6th European Conference on Planning (ECP 2001), pp. 13\u201324 (2001)"},{"key":"8_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-540-74128-2_3","volume-title":"Model Checking and Artificial Intelligence","author":"S. Edelkamp","year":"2007","unstructured":"Edelkamp, S.: Automated creation of pattern database search heuristics. In: Edelkamp, S., Lomuscio, A. (eds.) MoChArt IV. LNCS (LNAI), vol.\u00a04428, pp. 35\u201350. Springer, Heidelberg (2007)"},{"key":"8_CR11","unstructured":"Haslum, P., Botea, A., Bonet, B., Helmert, M., Koenig, S.: Domain-independent construction of pattern database heuristics for cost-optimal planning. In: Proc. 22nd AAAI Conference on Artificial Intelligence (AAAI 2007), pp. 1007\u20131012 (2007)"},{"key":"8_CR12","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1613\/jair.855","volume":"14","author":"J. Hoffmann","year":"2001","unstructured":"Hoffmann, J., Nebel, B.: The FF planning system: Fast plan generation through heuristic search. Journal of Artificial Intelligence Research\u00a014, 253\u2013302 (2001)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"8_CR13","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1613\/jair.591","volume":"10","author":"J. Rintanen","year":"1999","unstructured":"Rintanen, J.: Constructing conditional plans by a theorem-prover. Journal of Artificial Intelligence Research\u00a010, 323\u2013352 (1999)","journal-title":"Journal of Artificial Intelligence Research"}],"container-title":["Lecture Notes in Computer Science","KI 2009: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04617-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T11:54:16Z","timestamp":1558526056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04617-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642046162","9783642046179"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04617-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}