{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T19:02:17Z","timestamp":1742929337132,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319220017"},{"type":"electronic","value":"9783319220024"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-22002-4_5","type":"book-chapter","created":{"date-parts":[[2015,7,21]],"date-time":"2015-07-21T03:20:53Z","timestamp":1437448853000},"page":"45-60","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Planning with Regression Analysis in Transaction Logic"],"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":[[2015,7,22]]},"reference":[{"issue":"12","key":"5_CR1","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0004-3702(99)00071-5","volume":"116","author":"F Bacchus","year":"2000","unstructured":"Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artif. Intell. 116(12), 123\u2013191 (2000). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0004370299000715","journal-title":"Artif. Intell."},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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)"},{"key":"5_CR3","volume-title":"Proceedings of the Twenty Fourth International Conference on Automated Planning and Scheduling, ICAPS 2014","author":"B Bonet","year":"2014","unstructured":"Bonet, B., van den Briel, M.: Flow-based heuristics for optimal planning: landmarks and merges. In: Chien, S., Do, M.B., Fern, A., Ruml, W. (eds.) Proceedings of the Twenty Fourth International Conference on Automated Planning and Scheduling, ICAPS 2014. AAAI, Portsmouth (2014). http:\/\/www.aaai.org\/ocs\/index.php\/ICAPS\/ICAPS14\/paper\/view\/7933"},{"issue":"1\u20132","key":"5_CR4","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. Artif. Intell. 129(1\u20132), 5\u201333 (2001). http:\/\/dx.doi.org\/10.1016\/S0004-3702(01)00108-4","journal-title":"Artif. Intell."},{"key":"5_CR5","unstructured":"Bonner, A., Kifer, M.: Transaction logic programming. In: International Conference on Logic Programming, pp. 257\u2013282. MIT Press, Budaspest (1993)"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BFb0013981","volume-title":"Temporal Logic","author":"A Bonner","year":"1994","unstructured":"Bonner, A., Kifer, M.: Applications of transaction logic to knowledgerepresentation. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS, vol. 827, pp. 67\u201381. Springer, Heidelberg (1994)"},{"key":"5_CR7","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":"5_CR8","unstructured":"Bonner, A., Kifer, M.: Concurrency and communication in transaction logic. In: Joint International Conference and Symposium on Logic Programming, pp. 142\u2013156. MIT Press, Bonn, September 1996"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-1-4615-5643-5_5","volume-title":"Logics for Databases and Information Systems","author":"A Bonner","year":"1998","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, Norwell (1998). Chap. 5"},{"key":"5_CR10","doi-asserted-by":"publisher","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. Theo. Comput. Sci. 133, 205\u2013265 (1994)","journal-title":"Theo. Comput. Sci."},{"issue":"3","key":"5_CR11","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/s10458-009-9079-8","volume":"19","author":"P Doherty","year":"2009","unstructured":"Doherty, P., Kvarnstr\u00f6m, J., Heintz, F.: A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems. Auton. Agent. Multi-Agent Syst. 19(3), 332\u2013377 (2009). http:\/\/dx.doi.org\/10.1007\/s10458-009-9079-8","journal-title":"Auton. Agent. Multi-Agent Syst."},{"issue":"34","key":"5_CR12","doi-asserted-by":"publisher","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(34), 189\u2013208 (1971)","journal-title":"Artif. Intell."},{"key":"5_CR13","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1613\/jair.316","volume":"5","author":"A Gerevini","year":"1996","unstructured":"Gerevini, A., Schubert, L.: Accelerating partial-order planners: some techniques for effective search control and pruning. J. Artif. Intell. Res. (JAIR) 5, 95\u2013137 (1996)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"5_CR14","unstructured":"Giunchiglia, E., Lifschitz, V.: Dependent fluents. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pp. 1964\u20131969 (1995)"},{"key":"5_CR15","unstructured":"Joslin, D., Pollack, M.E.: Least-cost flaw repair: A plan refinement strategy for partial-order planning. In: Proceedings of the Twelth National Conference on Artificial Intelligence, vol. 2, pp. 1004\u20131009. American Association for Artificial Intelligence, AAAI 1994, Menlo Park (1994). http:\/\/dl.acm.org\/citation.cfm?id=199480.199515"},{"key":"5_CR16","first-page":"387","volume-title":"Artificial Intelligence and Applications","author":"O Kahramanogullari","year":"2005","unstructured":"Kahramanogullari, O.: Towards planning as concurrency. In: Hamza, M.H. (ed.) Artificial Intelligence and Applications, pp. 387\u2013393. IASTED\/ACTA Press, Orlando (2005)"},{"key":"5_CR17","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)"},{"issue":"1\u20132","key":"5_CR18","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/S0004-3702(98)00054-X","volume":"103","author":"F Lin","year":"1998","unstructured":"Lin, F.: Applications of the situation calculus to formalizing control and strategic information: the prolog cut operator. Artif. Intell. 103(1\u20132), 273\u2013294 (1998). http:\/\/dx.doi.org\/10.1016\/S0004-3702(98)00054-X","journal-title":"Artif. Intell."},{"key":"5_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1984","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer-Verlag, New York (1984)"},{"key":"5_CR20","volume-title":"Automated Planning: Theory & Practice","author":"D Nau","year":"2004","unstructured":"Nau, D., Ghallab, M., Traverso, P.: Automated Planning: Theory & Practice. Morgan Kaufmann Publishers Inc., San Francisco (2004)"},{"key":"5_CR21","volume-title":"Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling","author":"TA Nguyen","year":"2014","unstructured":"Nguyen, T.A., Kambhampati, S.: A heuristic approach to planning with incomplete STRIPS action models. In: Chien, S., Do, M.B., Fern, A., Ruml, W. (eds.) ICAPS 2014. AAAI, Portsmouth (2014). http:\/\/www.aaai.org\/ocs\/index.php\/ICAPS\/ICAPS14\/paper\/view\/7919"},{"key":"5_CR22","volume-title":"Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling","author":"F de Nijs","year":"2014","unstructured":"de Nijs, F., Klos, T.: A novel priority rule heuristic: learning from justification. In: Chien, S., Do, M.B., Fern, A., Ruml, W. (eds.) ICAPS 2014. AAAI, Portsmouth (2014). http:\/\/www.aaai.org\/ocs\/index.php\/ICAPS\/ICAPS14\/paper\/view\/7935"},{"key":"5_CR23","volume-title":"Principles of Artificial Intelligence","author":"N Nilsson","year":"1980","unstructured":"Nilsson, N.: Principles of Artificial Intelligence. Tioga Publication Co., Paolo Alto (1980)"},{"issue":"2","key":"5_CR24","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/S0004-3702(98)00100-3","volume":"106","author":"JL Pollock","year":"1998","unstructured":"Pollock, J.L.: The logical foundations of goal-regression planning in autonomous agents. Artif. Intell. 106(2), 267\u2013334 (1998). http:\/\/dx.doi.org\/10.1016\/S0004-3702(98)00100-3","journal-title":"Artif. Intell."},{"key":"5_CR25","volume-title":"Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling","author":"F Pommerening","year":"2014","unstructured":"Pommerening, F., R\u00f6ger, G., Helmert, M., Bonet, B.: Lp-based heuristics for cost-optimal planning. In: Chien, S., Do, M.B., Fern, A., Ruml, W. (eds.) ICAPS 2014. AAAI, Portsmouth (2014). http:\/\/www.aaai.org\/ocs\/index.php\/ICAPS\/ICAPS14\/paper\/view\/7892"},{"key":"5_CR26","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems","author":"R Reiter","year":"2001","unstructured":"Reiter, R.: Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems. MIT Press, Cambridge (2001)"},{"key":"5_CR27","unstructured":"Rossi, F. (ed.) Proceedings of the 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3\u20139, 2013. IJCAI\/AAAI (2013)"},{"key":"5_CR28","volume-title":"Artificial Intelligence Techniques in Prolog","author":"Y Shoham","year":"2014","unstructured":"Shoham, Y.: Artificial Intelligence Techniques in Prolog. Morgan Kaufmann, New York (2014)"},{"key":"5_CR29","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/3-540-40006-0_10","volume-title":"Logics in Artificial Intelligence","author":"J Sierra-Santib\u00e1\u00f1ez","year":"2000","unstructured":"Sierra-Santib\u00e1\u00f1ez, J.: Declarative formalization of strategies for action selection: applications to planning. In: Brewka, G., Moniz Pereira, L., Ojeda-Aciego, M., de Guzm\u00e1n, I.P. (eds.) JELIA 2000. LNCS (LNAI), vol. 1919, p. 133. Springer, Heidelberg (2000)"},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"Srivastava, S., Immerman, N., Zilberstein, S., Zhang, T.: Directed search for generalized plans using classical planners. In: Proceedings of the 21st International Conference on Automated Planning and Scheduling (ICAPS-2011). AAAI, June 2011","DOI":"10.1609\/icaps.v21i1.13475"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22002-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T05:54:08Z","timestamp":1676958848000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22002-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319220017","9783319220024"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22002-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"22 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}