{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T21:33:48Z","timestamp":1725831228038},"publisher-location":"Cham","reference-count":7,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319244884"},{"type":"electronic","value":"9783319244891"}],"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-24489-1_14","type":"book-chapter","created":{"date-parts":[[2015,9,29]],"date-time":"2015-09-29T07:00:40Z","timestamp":1443510040000},"page":"181-193","source":"Crossref","is-referenced-by-count":1,"title":["Necessary Observations in Nondeterministic Planning"],"prefix":"10.1007","author":[{"given":"David","family":"Speck","sequence":"first","affiliation":[]},{"given":"Manuela","family":"Ortlieb","sequence":"additional","affiliation":[]},{"given":"Robert","family":"Mattm\u00fcller","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,3]]},"reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/978-3-319-11206-0_30","volume-title":"KI 2014: Advances in Artificial Intelligence","author":"R Mattm\u00fcller","year":"2014","unstructured":"Mattm\u00fcller, R., Ortlieb, M., Wacker, E.: Minimizing necessary observations for nondeterministic planning. In: Lutz, C., Thielscher, M. (eds.) KI 2014. LNCS, vol. 8736, pp. 309\u2013320. Springer, Heidelberg (2014)"},{"key":"14_CR2","unstructured":"Huang, W., Wen, Z., Jiang, Y., Wu, L.: Observation reduction for strong plans. In: Proc. 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 1930\u20131935 (2007)"},{"key":"14_CR3","unstructured":"Huang, W., Wen, Z., Jiang, Y., Peng., H.: Structured plans and observation reduction for plans with contexts. In: Proc. 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 1721\u20131727 (2009)"},{"issue":"1\u20132","key":"14_CR4","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 147(1\u20132), 35\u201384 (2003)","journal-title":"Artificial Intelligence"},{"key":"14_CR5","unstructured":"Helmert, M., Domshlak, C.: LM-cut: Optimal planning with the landmark-cut heuristic. In: Seventh International Planning Competition (IPC 2011), pp. 103\u2013105 (2011)"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Helmert, M., Domshlak, C.: Landmarks, critical paths and abstraction: what\u2019s the difference anyway? In: Proc. 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 162\u2013169 (2009)","DOI":"10.1609\/icaps.v19i1.13370"},{"key":"14_CR7","unstructured":"Rintanen, J.: Complexity of planning with partial observability. In: Proc. 14th International Conference on Automated Planning and Scheduling (ICAPS 2004), pp. 345\u2013354 (2004)"}],"container-title":["Lecture Notes in Computer Science","KI 2015: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24489-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,14]],"date-time":"2023-08-14T18:04:50Z","timestamp":1692036290000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24489-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319244884","9783319244891"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24489-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}