{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:29:36Z","timestamp":1725748176087},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642406232"},{"type":"electronic","value":"9783642406249"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40624-9_15","type":"book-chapter","created":{"date-parts":[[2013,9,10]],"date-time":"2013-09-10T16:18:12Z","timestamp":1378829892000},"page":"239-255","source":"Crossref","is-referenced-by-count":1,"title":["External Transaction Logic with Automatic Compensations"],"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":[{"doi-asserted-by":"crossref","unstructured":"Artikis, A., Sergot, M.J., Pitt, J.V.: Specifying norm-governed computational societies. ACM Trans. Comput. Log.\u00a010(1) (2009)","key":"15_CR1","DOI":"10.1145\/1459010.1459011"},{"unstructured":"Bonner, A.J., Kifer, M.: Transaction logic programming. In: ICLP, pp. 257\u2013279 (1993)","key":"15_CR2"},{"unstructured":"Bonner, A.J., Kifer, M.: Transaction logic programming (or a logic of declarative and procedural knowledge). Technical Report CSRI-323, University of Toronto (1995)","key":"15_CR3"},{"doi-asserted-by":"crossref","unstructured":"Bordini, R.H., Wooldridge, M., H\u00fcbner, J.F.: Programming Multi-Agent Systems in AgentSpeak using Jason. Wiley Series in Agent Technology. John Wiley & Sons (2007)","key":"15_CR4","DOI":"10.1002\/9780470061848"},{"key":"15_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/11691792_7","volume-title":"Declarative Agent Languages and Technologies III","author":"S. Costantini","year":"2006","unstructured":"Costantini, S., Tocchio, A.: About declarative semantics of logic-based agent languages. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol.\u00a03904, pp. 106\u2013123. Springer, Heidelberg (2006)"},{"issue":"3","key":"15_CR6","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/s10458-008-9036-y","volume":"16","author":"M. Dastani","year":"2008","unstructured":"Dastani, M.: 2apl: a practical agent programming language. Autonomous Agents and Multi-Agent Systems\u00a016(3), 214\u2013248 (2008)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"2","key":"15_CR7","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1093\/logcom\/exr026","volume":"23","author":"M. Dastani","year":"2013","unstructured":"Dastani, M., Meyer, J.-J.C., Grossi, D.: A logic for normative multi-agent programs. J. Log. Comput.\u00a023(2), 335\u2013354 (2013)","journal-title":"J. Log. Comput."},{"issue":"3","key":"15_CR8","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1016\/j.jal.2007.05.002","volume":"6","author":"T. Eiter","year":"2008","unstructured":"Eiter, T., Erdem, E., Faber, W.: Undoing the effects of action sequences. J. Applied Logic\u00a06(3), 380\u2013415 (2008)","journal-title":"J. Applied Logic"},{"key":"15_CR9","first-page":"193","volume":"2","author":"M. Gelfond","year":"1998","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. Electron. Trans. Artif. Intell.\u00a02, 193\u2013210 (1998)","journal-title":"Electron. Trans. Artif. Intell."},{"issue":"1-2","key":"15_CR10","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","volume":"153","author":"E. Giunchiglia","year":"2004","unstructured":"Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artif. Intell.\u00a0153(1-2), 49\u2013104 (2004)","journal-title":"Artif. Intell."},{"unstructured":"Giunchiglia, E., Lifschitz, V.: An action language based on causal explanation: Preliminary report. In: AAAI\/IAAI, pp. 623\u2013630. AAAI, The MIT Press (1998)","key":"15_CR11"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/978-3-642-20895-9_31","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"A.S. Gomes","year":"2011","unstructured":"Gomes, A.S., Alferes, J.J.: Transaction logic with external actions. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol.\u00a06645, pp. 272\u2013277. Springer, Heidelberg (2011)"},{"unstructured":"Gomes, A.S., Alferes, J.J.: Extending transaction logic with external actions. Theory and Practice of Logic Programming, On-line Supplement (to appear, 2013)","key":"15_CR13"},{"issue":"4","key":"15_CR14","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1023\/A:1010084620690","volume":"2","author":"K.V. Hindriks","year":"1999","unstructured":"Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Agent programming in 3apl. Autonomous Agents and Multi-Agent Systems\u00a02(4), 357\u2013401 (1999)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"1-2","key":"15_CR15","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/s10472-011-9253-y","volume":"62","author":"R.A. Kowalski","year":"2011","unstructured":"Kowalski, R.A., Sadri, F.: Abductive logic programming agents with destructive databases. Ann. Math. Artif. Intell.\u00a062(1-2), 129\u2013158 (2011)","journal-title":"Ann. Math. Artif. Intell."},{"key":"15_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/11786849_19","volume-title":"Deontic Logic and Artificial Normative Systems","author":"M.J. Sergot","year":"2006","unstructured":"Sergot, M.J., Craven, R.: The deontic component of action language \n                  \n                    \n                  \n                  $n{\\mathcal{C}}+$\n                . In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol.\u00a04048, pp. 222\u2013237. Springer, Heidelberg (2006)"},{"key":"15_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-642-29113-5_6","volume-title":"Declarative Agent Languages and Technologies IX","author":"T.C. Son","year":"2012","unstructured":"Son, T.C., Pontelli, E., Sakama, C.: Formalizing commitments using action languages. In: Sakama, C., Sardina, S., Vasconcelos, W., Winikoff, M. (eds.) DALT 2011. LNCS, vol.\u00a07169, pp. 67\u201383. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40624-9_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,28]],"date-time":"2019-01-28T06:29:05Z","timestamp":1548656945000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40624-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642406232","9783642406249"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40624-9_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}