{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:38:17Z","timestamp":1725791897961},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319070636"},{"type":"electronic","value":"9783319070643"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07064-3_43","type":"book-chapter","created":{"date-parts":[[2014,4,18]],"date-time":"2014-04-18T16:53:52Z","timestamp":1397840032000},"page":"504-509","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning about Actions with Loops"],"prefix":"10.1007","author":[{"given":"Jiankun","family":"He","sequence":"first","affiliation":[]},{"given":"Yuping","family":"Shen","sequence":"additional","affiliation":[]},{"given":"Xishun","family":"Zhao","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"43_CR1","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/A:1026761331498","volume":"66","author":"Y. Lesp\u00e9rance","year":"2000","unstructured":"Lesp\u00e9rance, Y., Levesque, H.J., Lin, F., Scherl, R.B.: Ability and knowing how in the situation calculus. Studia Logica\u00a066(1), 165\u2013186 (2000)","journal-title":"Studia Logica"},{"issue":"2-4","key":"43_CR2","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1023\/B:AMAI.0000031197.13122.aa","volume":"41","author":"S. Sardina","year":"2004","unstructured":"Sardina, S., Giacomo, G.D., Lesp\u00e8rance, Y., Levesque, H.: On the semantics of deliberation in indigolog - from theory to implementation. Annals of Mathematics and Artificial Intelligence\u00a041(2-4), 259\u2013299 (2004)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"1-2","key":"43_CR3","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: A transition function based approach. Artificial Intelligence\u00a0125(1-2), 19\u201391 (2001)","journal-title":"Artificial Intelligence"},{"key":"43_CR4","unstructured":"Amir, E.: Planning with nondeterministic actions and sensing. In: AAAI 2002 Workshop on Cognitive Robotics (2002)"},{"issue":"2","key":"43_CR5","first-page":"129","volume":"1","author":"J. Lobo","year":"2001","unstructured":"Lobo, J., Mendez, G., Taylor, S.R.: Knowledge and the action description language \n                    \n                      \n                    \n                    $\\mathcal{A}$\n                  . Theory and Practice of Logic Programming\u00a01(2), 129\u2013184 (2001)","journal-title":"Theory and Practice of Logic Programming"},{"key":"43_CR6","unstructured":"Levesque, H.J.: Planning with loops. In: Proceedings of 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 509\u2013515 (2005)"},{"key":"43_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2012.07.005","volume":"191","author":"S. Srivastava","year":"2012","unstructured":"Srivastava, S., Immerman, N., Zilberstein, S.: Applicability conditions for plans with loops: Computability results and algorithms. Artificial Intelligence\u00a0191, 1\u201319 (2012)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"43_CR8","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), 35\u201384 (2003)","journal-title":"Artificial Intelligence"},{"key":"43_CR9","unstructured":"Winner, E., Veloso, M.: LoopDISTILL: Learning domain-specific planners from example plans. In: Proceedings of ICAPS 2007 Workshop on AI Planning and Learning (2007)"},{"key":"43_CR10","doi-asserted-by":"crossref","unstructured":"Lifschitz, V.: On the semantics of strips. In: Georgeff, M.P., Lansky, A. (eds.) Reasoning about Actions and Plans. Morgan Kaufmann, San Mateo (1987)","DOI":"10.1016\/B978-0-934613-30-9.50004-4"},{"issue":"1-2","key":"43_CR11","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0004-3702(93)90190-M","volume":"59","author":"R.E. Fikes","year":"1993","unstructured":"Fikes, R.E., Nilsson, N.J.: Strips, a retrospective. Artificial Intelligence\u00a059(1-2), 227\u2013232 (1993)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence: Methods and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07064-3_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T12:12:40Z","timestamp":1558872760000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07064-3_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319070636","9783319070643"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07064-3_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}