{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:38:40Z","timestamp":1740141520945,"version":"3.37.3"},"reference-count":26,"publisher":"Oxford University Press (OUP)","issue":"3","license":[{"start":{"date-parts":[[2017,1,17]],"date-time":"2017-01-17T00:00:00Z","timestamp":1484611200000},"content-version":"vor","delay-in-days":691,"URL":"http:\/\/academic.oup.com\/journals\/pages\/about_us\/legal\/notices"}],"funder":[{"DOI":"10.13039\/100006129","name":"Fuel Cycle Technologies","doi-asserted-by":"publisher","award":["SFRH\/BD\/64038\/2009"],"award-info":[{"award-number":["SFRH\/BD\/64038\/2009"]}],"id":[{"id":"10.13039\/100006129","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,4,20]]},"DOI":"10.1093\/logcom\/exv006","type":"journal-article","created":{"date-parts":[[2015,2,26]],"date-time":"2015-02-26T21:07:32Z","timestamp":1424984852000},"page":"525-550","source":"Crossref","is-referenced-by-count":0,"title":["Combining transactions and automatic repairs"],"prefix":"10.1093","volume":"28","author":[{"given":"Ana Sofia","family":"Gomes","sequence":"first","affiliation":[{"name":"NOVA-LINCS \u2013 Departamento de Inform\u00e1tica, Faculdade Ci\u00eancias e Tecnologias, Universidade Nova de Lisboa, Caparica, Portugal"}]},{"given":"Jos\u00e9 J\u00falio","family":"Alferes","sequence":"additional","affiliation":[{"name":"NOVA-LINCS \u2013 Departamento de Inform\u00e1tica, Faculdade Ci\u00eancias e Tecnologias, Universidade Nova de Lisboa, Caparica, Portugal"}]}],"member":"286","published-online":{"date-parts":[[2015,2,26]]},"reference":[{"key":"key\n\t\t\t\t20180419114426_B1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1459010.1459011","article-title":"Specifying norm-governed computational societies","volume":"10","author":"Artikis","year":"2009","journal-title":"ACM Transactions on Computational Logic"},{"key":"key\n\t\t\t\t20180419114426_B2","first-page":"257","article-title":"Transaction logic programming","volume-title":"International Conference in Logic Programming","author":"Bonner","year":"1993"},{"key":"key\n\t\t\t\t20180419114426_B3"},{"key":"key\n\t\t\t\t20180419114426_B4","first-page":"142","article-title":"Concurrency and communication in transaction logic","volume-title":"Joint International Conference and Symposium on Logic Programming","author":"Bonner","year":"1996"},{"key":"key\n\t\t\t\t20180419114426_B5","doi-asserted-by":"crossref","DOI":"10.1002\/9780470061848","volume-title":"Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)","author":"Bordini","year":"2007"},{"key":"key\n\t\t\t\t20180419114426_B6"},{"key":"key\n\t\t\t\t20180419114426_B7"},{"key":"key\n\t\t\t\t20180419114426_B8"},{"key":"key\n\t\t\t\t20180419114426_B9","first-page":"106","article-title":"About declarative semantics of logic-based agent languages","volume-title":"Declarative Agent Languages and Technologies","author":"Costantini","year":"2005"},{"key":"key\n\t\t\t\t20180419114426_B10","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1007\/s10458-008-9036-y","article-title":"2apl: a practical agent programming language","volume":"16","author":"Dastani","year":"2008","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"key\n\t\t\t\t20180419114426_B11","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1093\/logcom\/exr026","article-title":"A logic for normative multi-agent programs","volume":"23","author":"Dastani","year":"2013","journal-title":"Journal of Logic and Computation"},{"key":"key\n\t\t\t\t20180419114426_B12","first-page":"111","article-title":"A programming language for cognitive agents goal directed 3apl","volume-title":"Programming Multi-Agent Systems","author":"Dastani","year":"2003"},{"key":"key\n\t\t\t\t20180419114426_B13","doi-asserted-by":"crossref","first-page":"380","DOI":"10.1016\/j.jal.2007.05.002","article-title":"Undoing the effects of action sequences","volume":"6","author":"Eiter","year":"2008","journal-title":"Journal of Applied Logic"},{"key":"key\n\t\t\t\t20180419114426_B14","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/j.artint.2010.04.012","article-title":"Non-Markovian control in the situation calculus","volume":"175","author":"Gabaldon","year":"2011","journal-title":"Artificial Intelligence"},{"key":"key\n\t\t\t\t20180419114426_B15","first-page":"193","article-title":"Action languages","volume":"2","author":"Gelfond","year":"1998","journal-title":"Electronic Transactions in Artificial Intelligence"},{"key":"key\n\t\t\t\t20180419114426_B16","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","article-title":"Nonmonotonic causal theories","volume":"153","author":"Giunchiglia","year":"2004","journal-title":"Artificial Intelligence"},{"key":"key\n\t\t\t\t20180419114426_B17","first-page":"623","article-title":"An action language based on causal explanation: preliminary report","volume-title":"Association for the Advancement of Artificial Intelligence \/ Innovative Applications of Artificial Intelligence Conference","author":"Giunchiglia","year":"1998"},{"key":"key\n\t\t\t\t20180419114426_B18","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/978-3-642-20895-9_31","article-title":"Transaction logic with external actions","volume-title":"Logic Programming and Nonmonotonic reasoning","author":"Gomes","year":"2011"},{"issue":"4-5 Online Supplement","key":"key\n\t\t\t\t20180419114426_B19","article-title":"Extending transaction logic with external actions","volume":"13","author":"Gomes","year":"2013","journal-title":"Theory and Practice in Logic Programming"},{"key":"key\n\t\t\t\t20180419114426_B20","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/978-3-642-40624-9_15","article-title":"External transaction logic with automatic compensations","volume-title":"Computational Logic in Multi-Agent Systems","author":"Gomes","year":"2013"},{"key":"key\n\t\t\t\t20180419114426_B21","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1023\/A:1010084620690","article-title":"Agent programming in 3apl","volume":"2","author":"Hindriks","year":"1999","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"key\n\t\t\t\t20180419114426_B22","first-page":"318","article-title":"Simulation of advanced transaction models using golog","volume-title":"Database Programming Languages","author":"Kiringa","year":"2001"},{"key":"key\n\t\t\t\t20180419114426_B23","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/s10472-011-9253-y","article-title":"Abductive logic programming agents with destructive databases","volume":"62","author":"Kowalski","year":"2011","journal-title":"Annals Mathematics and Artifical Intelligence"},{"key":"key\n\t\t\t\t20180419114426_B24","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","article-title":"Golog: a logic programming language for dynamic domains","volume":"31","author":"Levesque","year":"1997","journal-title":"Journal of Logic Programming"},{"key":"key\n\t\t\t\t20180419114426_B25","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1007\/11786849_19","article-title":"The deontic component of action language nc\u2009+","volume-title":"International Conference on Deontic Logic and Normative Systems","author":"Sergot","year":"2006"},{"key":"key\n\t\t\t\t20180419114426_B26","first-page":"67","article-title":"Formalizing commitments using action languages","volume-title":"Declarative Agent Languages and Technologies","author":"Son","year":"2011"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/28\/3\/525\/24671822\/exv006.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,21]],"date-time":"2019-08-21T05:38:40Z","timestamp":1566365920000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/28\/3\/525\/2917791"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,2,26]]},"references-count":26,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2015,2,26]]},"published-print":{"date-parts":[[2018,4,20]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exv006","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published-other":{"date-parts":[[2018,4]]},"published":{"date-parts":[[2015,2,26]]}}}