{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T08:09:57Z","timestamp":1725869397345},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319487571"},{"type":"electronic","value":"9783319487588"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-48758-8_33","type":"book-chapter","created":{"date-parts":[[2016,10,31]],"date-time":"2016-10-31T09:24:55Z","timestamp":1477905895000},"page":"515-521","source":"Crossref","is-referenced-by-count":0,"title":["Formalizing Goal Serializability for Evaluation of Planning Features"],"prefix":"10.1007","author":[{"given":"Reza","family":"Basseda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Kifer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,1]]},"reference":[{"unstructured":"Sacerdoti, E.D.: The nonlinear nature of plans. In: Proceedings of the 4th International Joint Conference on Artificial Intelligence, IJCAI 1975, vol. 1, pp. 206\u2013214. Morgan Kaufmann Publishers Inc., San Francisco (1975)","key":"33_CR1"},{"key":"33_CR2","series-title":"Topics in Information Systems","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1007\/978-3-642-83397-7_21","volume-title":"Foundations of Knowledge Base Management","author":"W Bibel","year":"1989","unstructured":"Bibel, W.: A deductive solution for plan generation. In: Schmidt, J.W., Thanos, C. (eds.) Foundations of Knowledge Base Management. Topics in Information Systems, pp. 453\u2013473. Springer, Heidelberg (1989)"},{"key":"33_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-540-88282-4_24","volume-title":"Language and Automata Theory and Applications","author":"O Kahramano\u011fullar\u0131","year":"2008","unstructured":"Kahramano\u011fullar\u0131, O.: On linear logic planning and concurrency. In: Mart\u00edn-Vide, C., Otto, F., Fernau, H. (eds.) LATA 2008. LNCS, vol. 5196, pp. 250\u2013262. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-88282-4_24"},{"key":"33_CR4","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/10720246_20","volume-title":"Recent Advances in AI Planning","author":"S Cresswell","year":"2000","unstructured":"Cresswell, S., Smaill, A., Richardson, J.: Deductive synthesis of recursive plans in linear logic. In: Biundo, S., Fox, M. (eds.) ECP 1999. LNCS (LNAI), vol. 1809, pp. 252\u2013264. Springer, Heidelberg (2000). doi: 10.1007\/10720246_20"},{"unstructured":"Guglielmi, A.: Concurrency and plan generation in a logic programming language with a sequential operator. In: Hentenryck, P.V. (ed.) ICLP, pp. 240\u2013254. MIT Press (1994)","key":"33_CR5"},{"unstructured":"Kahramanogullari, O.: Towards planning as concurrency. In: Hamza, M.H. (ed.) Artificial Intelligence and Applications, pp. 387\u2013393. IASTED\/ACTA Press (2005)","key":"33_CR6"},{"key":"33_CR7","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"RE Fikes","year":"1971","unstructured":"Fikes, R.E., Nilsson, N.J.: STRIPS: a new approach to the application of theorem proving to problem solving. Artif. Intell. 2, 189\u2013208 (1971)","journal-title":"Artif. Intell."},{"unstructured":"Bonner, A., Kifer, M.: Transaction logic programming (or a logic of declarative and procedural knowledge). Technical report CSRI-323, University of Toronto, November 1995. http:\/\/www.cs.toronto.edu\/~bonner\/transaction-logic.html","key":"33_CR8"},{"doi-asserted-by":"crossref","unstructured":"Bonner, A., Kifer, M.: A logic for programming database transactions. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems, pp. 117\u2013166. Kluwer Academic Publishers, March 1998","key":"33_CR9","DOI":"10.1007\/978-1-4615-5643-5_5"},{"issue":"32","key":"33_CR10","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0304-3975(94)90190-2","volume":"133","author":"AJ Bonner","year":"1994","unstructured":"Bonner, A.J., Kifer, M.: An overview of transaction logic. Theoret. Comput. Sci. 133(32), 205\u2013265 (1994)","journal-title":"Theoret. Comput. Sci."},{"unstructured":"Bonner, A., Kifer, M.: Transaction logic programming. In: International Conference on Logic Programming, Budapest, Hungary, pp. 257\u2013282. MIT Press, June 1993","key":"33_CR11"},{"key":"33_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-319-11113-1_3","volume-title":"Web Reasoning and Rule Systems","author":"R Basseda","year":"2014","unstructured":"Basseda, R., Kifer, M., Bonner, A.J.: Planning with transaction logic. In: Kontchakov, R., Mugnier, M.-L. (eds.) RR 2014. LNCS, vol. 8741, pp. 29\u201344. Springer, Heidelberg (2014). doi: 10.1007\/978-3-319-11113-1_3"},{"key":"33_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-319-22002-4_5","volume-title":"Web Reasoning and Rule Systems","author":"R Basseda","year":"2015","unstructured":"Basseda, R., Kifer, M.: Planning with regression analysis in transaction logic. In: Cate, B., Mileo, A. (eds.) RR 2015. LNCS, vol. 9209, pp. 45\u201360. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-22002-4_5"},{"key":"33_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-319-19686-2_2","volume-title":"Practical Aspects of Declarative Languages","author":"R Basseda","year":"2015","unstructured":"Basseda, R., Kifer, M.: State space planning using transaction logic. In: Pontelli, E., Son, T.C. (eds.) PADL 2015. LNCS, vol. 9131, pp. 17\u201333. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-19686-2_2"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48758-8_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T22:26:47Z","timestamp":1498343207000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48758-8_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319487571","9783319487588"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48758-8_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}