{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:34:40Z","timestamp":1725521680312},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540891963"},{"type":"electronic","value":"9783540891970"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-89197-0_33","type":"book-chapter","created":{"date-parts":[[2008,12,3]],"date-time":"2008-12-03T07:23:50Z","timestamp":1228289030000},"page":"345-357","source":"Crossref","is-referenced-by-count":1,"title":["State-Based Regression with Sensing and Knowledge"],"prefix":"10.1007","author":[{"given":"Richard","family":"Scherl","sequence":"first","affiliation":[]},{"given":"Cao Son","family":"Tran","sequence":"additional","affiliation":[]},{"given":"Chitta","family":"Baral","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1-2","key":"33_CR1","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/S0004-3702(00)00043-6","volume":"122","author":"C. Baral","year":"2000","unstructured":"Baral, C., Kreinovich, V., Trejo, R.: Computational complexity of planning and approximate planning in the presence of incompleteness. Artificial Intelligence\u00a0122(1-2), 241\u2013267 (2000)","journal-title":"Artificial Intelligence"},{"key":"33_CR2","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0004-3702(01)00108-4","volume":"129","author":"B. Bonet","year":"2001","unstructured":"Bonet, B., Geffner, H.: Planning as heuristic search. Artificial Intelligence\u00a0129, 5\u201333 (2001)","journal-title":"Artificial Intelligence"},{"key":"33_CR3","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/S0004-3702(01)00158-8","volume":"135","author":"X.L. Nguyen","year":"2002","unstructured":"Nguyen, X.L., Kambhampati, S., Nigenda, R.S.: Planning graph as the basis for deriving heuristics for plan synthesis by state space and CSP search. Artificial Intelligence\u00a0135, 73\u2013123 (2002)","journal-title":"Artificial Intelligence"},{"key":"33_CR4","unstructured":"Pednault, E.: Toward a Mathematical Theory of Plan Synthesis. Ph.D thesis, Stanford University (1986)"},{"key":"33_CR5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"R. Reiter","year":"2001","unstructured":"Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press, Cambridge (2001)"},{"key":"33_CR6","unstructured":"Rintanen, J.: Conditional Planning in the discrete belief space. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence, pp. 1260\u20131265 (2005)"},{"key":"33_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(02)00365-X","volume":"144","author":"R. Scherl","year":"2003","unstructured":"Scherl, R., Levesque, H.: Knowledge, action, and the frame problem. Artificial Intelligence\u00a0144, 1\u201339 (2003)","journal-title":"Artificial Intelligence"},{"key":"33_CR8","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/S0004-3702(00)00080-1","volume":"125","author":"T.C. Son","year":"2001","unstructured":"Son, T.C., Baral, C.: Formalizing sensing actions \u2013 a transition function based approach. Artificial Intelligence\u00a0125, 19\u201391 (2001)","journal-title":"Artificial Intelligence"},{"key":"33_CR9","unstructured":"Tuan, L.: Regression in the presence of incomplete information and sensing actions, and its application to conditional planning. Ph.D thesis, Arizona State University (2004)"},{"key":"33_CR10","doi-asserted-by":"crossref","unstructured":"Tuan, L.C., Baral, C., Son, T.C.: A state-based regression formulation for domains with sensing actions and incomplete information. Logical methods in Computer Science\u00a02(4) (2006)","DOI":"10.2168\/LMCS-2(4:2)2006"},{"key":"33_CR11","unstructured":"Weld, D., Anderson, C., Smith, D.: Extending graphplan to handle uncertainty & sensing actions. In: Proceedings of the Fifteenth National Conference on Artificial Intelligence (1998)"},{"key":"33_CR12","unstructured":"Herzig, A., Lang, J., Marquis, P.: Action representation and partially observable planning in epistemic logic. In: Proceedings of the Eighteenth International Conference on Artificial Intelligence (2003)"}],"container-title":["Lecture Notes in Computer Science","PRICAI 2008: Trends in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89197-0_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T19:18:06Z","timestamp":1557947886000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89197-0_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540891963","9783540891970"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89197-0_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}