{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:31:07Z","timestamp":1725582667806},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642208942"},{"type":"electronic","value":"9783642208959"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-20895-9_31","type":"book-chapter","created":{"date-parts":[[2011,4,25]],"date-time":"2011-04-25T04:40:34Z","timestamp":1303706434000},"page":"272-277","source":"Crossref","is-referenced-by-count":2,"title":["Transaction Logic with External Actions"],"prefix":"10.1007","author":[{"given":"Ana Sofia","family":"Gomes","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 J\u00falio","family":"Alferes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","unstructured":"Bonner, A.J., Kifer, M.: Transaction logic programming (or a logic of declarative and procedural knowledge). Technical Report CSRI-323, Computer Systems Research Institute, University of Toronto (1995)"},{"key":"31_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/BFb0055499","volume-title":"Transactions and Change in Logic Databases","author":"A.J. Bonner","year":"1998","unstructured":"Bonner, A.J., Kifer, M.: Results on reasoning about updates in transaction logic. In: Kifer, M., Voronkov, A., Freitag, B., Decker, H. (eds.) Dagstuhl Seminar 1997, DYNAMICS 1997, and ILPS-WS 1997. LNCS, vol.\u00a01472, pp. 166\u2013196. Springer, Heidelberg (1998)"},{"key":"31_CR3","unstructured":"de Sainte Marie, C., Hallmark, G., Paschke, A.: RIF Production Rule Dialect (June 2010), W3C Recommendation, \n                    \n                      http:\/\/www.w3.org\/TR\/rif-prd\/"},{"key":"31_CR4","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1145\/38714.38742","volume":"16","author":"H. Garcia-Molina","year":"1987","unstructured":"Garcia-Molina, H., Salem, K.: Sagas. SIGMOD Rec.\u00a016, 249\u2013259 (1987)","journal-title":"SIGMOD Rec."},{"key":"31_CR5","first-page":"193","volume":"2","author":"M. Gelfond","year":"1998","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. Electr. Trans. Artif. Intell.\u00a02, 193\u2013210 (1998)","journal-title":"Electr. Trans. Artif. Intell."},{"key":"31_CR6","doi-asserted-by":"crossref","unstructured":"Harel, D., Kozen, D., Parikh, R.: Process logic: Expressiveness, decidability, completeness. In: FOCS, pp. 129\u2013142 (1980)","DOI":"10.1109\/SFCS.1980.35"},{"issue":"1","key":"31_CR7","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R.A. Kowalski","year":"1986","unstructured":"Kowalski, R.A., Sergot, M.J.: A logic-based calculus of events. New Generation Comp.\u00a04(1), 67\u201395 (1986)","journal-title":"New Generation Comp."},{"key":"#cr-split#-31_CR8.1","doi-asserted-by":"crossref","unstructured":"McCarthy, J.: Situations, actions, and causal laws. Technical report, Stanford University (1963)","DOI":"10.21236\/AD0785031"},{"key":"#cr-split#-31_CR8.2","unstructured":"Reprinted in MIT Press, Cambridge, pp. 410-417 (1968)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20895-9_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T05:19:08Z","timestamp":1558588748000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20895-9_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642208942","9783642208959"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20895-9_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}