{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:09:22Z","timestamp":1725804562487},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319111124"},{"type":"electronic","value":"9783319111131"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11113-1_3","type":"book-chapter","created":{"date-parts":[[2014,9,6]],"date-time":"2014-09-06T10:32:47Z","timestamp":1409999567000},"page":"29-44","source":"Crossref","is-referenced-by-count":6,"title":["Planning with 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"}]},{"given":"Anthony J.","family":"Bonner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Becker, M.Y., Nanz, S.: A logic for state-modifying authorization policies. ACM Trans. Inf. Syst. Secur.\u00a013(3), 20:1\u201320:28 (2010)","DOI":"10.1145\/1805974.1805976"},{"issue":"2","key":"3_CR2","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF03037438","volume":"4","author":"W. Bibel","year":"1986","unstructured":"Bibel, W.: A deductive solution for plan generation. New Generation Computing\u00a04(2), 115\u2013132 (1986)","journal-title":"New Generation Computing"},{"key":"3_CR3","series-title":"Topics in Information Systems","doi-asserted-by":"publisher","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":"3_CR4","first-page":"49","volume-title":"13th German Workshop on Artificial Intelligence, Informatik-Fachberichte, GWAI 1989","author":"W. Bibel","year":"1989","unstructured":"Bibel, W., del Cerro, L.F., Fronh\u00f6fer, B., Herzig, A.: Plan generation by linear proofs: On semantics. In: Metzing, D. (ed.) 13th German Workshop on Artificial Intelligence, Informatik-Fachberichte, GWAI 1989, vol.\u00a0216, pp. 49\u201362. Springer, Heidelberg (1989)"},{"key":"3_CR5","first-page":"257","volume-title":"Int\u2019l Conference on Logic Programming","author":"A. Bonner","year":"1993","unstructured":"Bonner, A., Kifer, M.: Transaction logic programming. In: Int\u2019l Conference on Logic Programming, pp. 257\u2013282. MIT Press, Budapest (1993)"},{"key":"3_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 knowledge representation. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS, vol.\u00a0827, pp. 67\u201381. Springer, Heidelberg (1994)"},{"key":"3_CR7","unstructured":"Bonner, A., Kifer, M.: Transaction logic programming (or a logic of declarative and procedural knowledge). Tech. Rep. CSRI-323, University of Toronto (November 1995), http:\/\/www.cs.toronto.edu\/~bonner\/transaction-logic.html"},{"key":"3_CR8","first-page":"142","volume-title":"Joint Int\u2019l Conference and Symposium on Logic Programming","author":"A. Bonner","year":"1996","unstructured":"Bonner, A., Kifer, M.: Concurrency and communication in transaction logic. In: Joint Int\u2019l Conference and Symposium on Logic Programming, pp. 142\u2013156. MIT Press, Bonn (1996)"},{"key":"3_CR9","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, ch. 5, pp. 117\u2013166. Kluwer Academic Publishers (March 1998)","DOI":"10.1007\/978-1-4615-5643-5_5"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Bonner, A.J., Kifer, M.: An overview of transaction logic. Theoretical Computer Science\u00a0133 (1994)","DOI":"10.1016\/0304-3975(94)90190-2"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","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, vol.\u00a01809, pp. 252\u2013264. Springer, Heidelberg (2000)"},{"issue":"3-4","key":"3_CR12","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R.E. Fikes","year":"1971","unstructured":"Fikes, R.E., Nilsson, N.J.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence\u00a02(3-4), 189\u2013208 (1971)","journal-title":"Artificial Intelligence"},{"key":"3_CR13","first-page":"199","volume-title":"Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PPDP 2010","author":"P. Fodor","year":"2010","unstructured":"Fodor, P., Kifer, M.: Tabling for transaction logic. In: Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PPDP 2010, pp. 199\u2013208. ACM, New York (2010)"},{"key":"3_CR14","unstructured":"Giunchiglia, E., Lifschitz, V.: Dependent fluents. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pp. 1964\u20131969 (1995)"},{"key":"3_CR15","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)"},{"issue":"3","key":"3_CR16","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/BF03037518","volume":"8","author":"S. H\u00f6lldobler","year":"1990","unstructured":"H\u00f6lldobler, S., Schneeberger, J.: A new deductive approach to planning. New Generation Computing\u00a08(3), 225\u2013244 (1990)","journal-title":"New Generation Computing"},{"key":"3_CR17","unstructured":"Kahramanogullari, O.: Towards planning as concurrency. In: Hamza, M.H. (ed.) Artificial Intelligence and Applications, pp. 387\u2013393. IASTED\/ACTA Press (2005)"},{"key":"#cr-split#-3_CR18.1","doi-asserted-by":"crossref","unstructured":"Kahramanogullari, O.: On linear logic planning and concurrency. Information and Computation 207(11), 1229-1258 (2009)","DOI":"10.1016\/j.ic.2009.02.008"},{"key":"#cr-split#-3_CR18.2","unstructured":"Special Issue: Mart\u00edn-Vide, C., Otto, F., Fernau, H. (eds.): LATA 2008. LNCS, vol.\u00a05196. Springer, Heidelberg (2008)"},{"key":"3_CR19","first-page":"1","volume-title":"Lansky, Amy (eds","author":"V. Lifschitz","year":"1987","unstructured":"Lifschitz, V.: On the semantics of strips. In: Georgeff, M. (ed.) Lansky, Amy (eds, pp. 1\u20139. Morgan Kaufmann, San Mateo (1987)"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Nau, D., Ghallab, M., Traverso, P.: Automated Planning: Theory & Practice. Morgan Kaufmann Publishers Inc., San Francisco (2004)","DOI":"10.1016\/B978-155860856-6\/50021-1"},{"key":"3_CR21","unstructured":"Nilsson, N.: Principles of Artificial Intelligence. Tioga Publ. Co., Paolo Alto (1980)"},{"key":"3_CR22","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)"},{"issue":"2","key":"3_CR23","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s13740-012-0007-8","volume":"1","author":"M. Rezk","year":"2012","unstructured":"Rezk, M., Kifer, M.: Transaction logic with partially defined actions. J. Data Semantics\u00a01(2), 99\u2013131 (2012)","journal-title":"J. Data Semantics"},{"key":"3_CR24","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"},{"key":"3_CR25","unstructured":"Swift, T., Warren, D.: Xsb: Extending the power of prolog using tabling. Theory and Practice of Logic Programming (2011)"},{"key":"3_CR26","unstructured":"Thielscher, M.: Computing ramifications by postprocessing. In: IJCAI, pp. 1994\u20132000. Morgan Kaufmann (1995)"},{"issue":"1-2","key":"3_CR27","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/S0004-3702(96)00033-1","volume":"89","author":"M. Thielscher","year":"1997","unstructured":"Thielscher, M.: Ramification and causality. Artificial Intelligence\u00a089(1-2), 317\u2013364 (1997)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11113-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,16]],"date-time":"2023-07-16T12:17:13Z","timestamp":1689509833000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11113-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319111124","9783319111131"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11113-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}