{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:08:13Z","timestamp":1750306093666,"version":"3.41.0"},"reference-count":37,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2018,4,24]],"date-time":"2018-04-24T00:00:00Z","timestamp":1524528000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Internet Technol."],"published-print":{"date-parts":[[2018,11,30]]},"abstract":"<jats:p>Finding the entity responsible for an unpleasant situation is often difficult, especially in artificial agent societies.<\/jats:p>\n          <jats:p>\n            <jats:italic>S<\/jats:italic>\n            CIFF is a formalization of agent societies, including a language to describe rules and protocols, and an abductive proof procedure for compliance checking. However, how to identify the entity responsible for a violation is not always clear.\n          <\/jats:p>\n          <jats:p>\n            In this work, a definition of accountability for artificial societies is formalized in\n            <jats:italic>S<\/jats:italic>\n            CIFF. Two tools are provided for the designer of interaction protocols: a guideline, in terms of syntactic features that ensure accountability of the protocol, and an algorithm (implemented in a software tool) to investigate if, for a given protocol, nonaccountability issues could arise.\n          <\/jats:p>","DOI":"10.1145\/3107936","type":"journal-article","created":{"date-parts":[[2018,4,25]],"date-time":"2018-04-25T12:22:17Z","timestamp":1524658937000},"page":"1-20","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Accountable Protocols in Abductive Logic Programming"],"prefix":"10.1145","volume":"18","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7433-5899","authenticated-orcid":false,"given":"Marco","family":"Gavanelli","sequence":"first","affiliation":[{"name":"ENDIF, University of Ferrara, Ferrara, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Alberti","sequence":"additional","affiliation":[{"name":"DMI, University of Ferrara, Ferrara, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[{"name":"ENDIF, University of Ferrara, Ferrara, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,4,24]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1140335.1140342"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11841197_4"},{"key":"e_1_2_1_3_1","series-title":"Lecture Notes in Computer Science","volume-title":"Web Reasoning and Rule Systems","author":"Alberti Marco","unstructured":"Marco Alberti , Federico Chesani , Marco Gavanelli , Evelina Lamma , Paola Mello , Marco Montali , and Paolo Torroni . 2007. A rule-based approach for reasoning about collaboration between smart Web services . In Web Reasoning and Rule Systems . Lecture Notes in Computer Science , Vol. 4524 . Springer , 279--288. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, and Paolo Torroni. 2007. A rule-based approach for reasoning about collaboration between smart Web services. In Web Reasoning and Rule Systems. Lecture Notes in Computer Science, Vol. 4524. Springer, 279--288."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1080\/08839510500479546"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11759683_7"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1380572.1380578"},{"key":"e_1_2_1_7_1","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Multi-Agent Systems and Applications III","author":"Alberti Marco","unstructured":"Marco Alberti , Anna Ciampolini , Marco Gavanelli , Evelina Lamma , Paola Mello , and Paolo Torroni . 2003. A social ACL semantics by deontic constraints . In Multi-Agent Systems and Applications III . Lecture Notes in Artificial Intelligence , Vol. 2691 . Springer , 204--213. Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. 2003. A social ACL semantics by deontic constraints. In Multi-Agent Systems and Applications III. Lecture Notes in Artificial Intelligence, Vol. 2691. Springer, 204--213."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10588-006-9544-8"},{"key":"e_1_2_1_9_1","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Declarative Agent Languages and Technologies","author":"Alberti Marco","unstructured":"Marco Alberti , Marco Gavanelli , Evelina Lamma , Paola Mello , and Paolo Torroni . 2004. Modeling interactions using social integrity constraints: A resource sharing case study . In Declarative Agent Languages and Technologies . Lecture Notes in Artificial Intelligence , Vol. 2990 . Springer , 243--262. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. 2004. Modeling interactions using social integrity constraints: A resource sharing case study. In Declarative Agent Languages and Technologies. Lecture Notes in Artificial Intelligence, Vol. 2990. Springer, 243--262."},{"key":"e_1_2_1_10_1","unstructured":"Marco Alberti Marco Gavanelli Evelina Lamma Giovanni Sartor and Paolo Torroni. 2006e. Un sistema basato su logica computazionale per il trattamento degli operatori deontici. In La Gestione e la Negoziazione Automatica dei Diritti sulle Opere dell\u2019Ingegno Digitali: Aspetti Giuridici e Informatici S. Bisi and C. di Cocco (Eds.). Gedit Bologna Italy 1--33.  Marco Alberti Marco Gavanelli Evelina Lamma Giovanni Sartor and Paolo Torroni. 2006e. Un sistema basato su logica computazionale per il trattamento degli operatori deontici. In La Gestione e la Negoziazione Automatica dei Diritti sulle Opere dell\u2019Ingegno Digitali: Aspetti Giuridici e Informatici S. Bisi and C. di Cocco (Eds.). Gedit Bologna Italy 1--33."},{"volume-title":"Information Systems","author":"Baldoni Matteo","key":"e_1_2_1_11_1","unstructured":"Matteo Baldoni , Cristina Baroglio , Elisa Marengo , and Viviana Patti . 2012. Supporting the analysis of risks of violation in business protocols: The MiFID case study . In Information Systems : Crossroads for Organization, Management, Accounting and Engineering. Physica-Verlag HD , Heidelberg, Germany, 545--553. Matteo Baldoni, Cristina Baroglio, Elisa Marengo, and Viviana Patti. 2012. Supporting the analysis of risks of violation in business protocols: The MiFID case study. In Information Systems: Crossroads for Organization, Management, Accounting and Engineering. Physica-Verlag HD, Heidelberg, Germany, 545--553."},{"key":"e_1_2_1_12_1","volume-title":"Proceedings of the CEUR Workshop on Deep Understanding and Reasoning: A Challenge for Next-Generation Intelligent Agents.","author":"Baldoni Matteo","year":"2016","unstructured":"Matteo Baldoni , Cristina Baroglio , Katherine M. May , Roberto Micalizio , and Stefano Tedeschi . 2016 . Computational accountability . In Proceedings of the CEUR Workshop on Deep Understanding and Reasoning: A Challenge for Next-Generation Intelligent Agents. Matteo Baldoni, Cristina Baroglio, Katherine M. May, Roberto Micalizio, and Stefano Tedeschi. 2016. Computational accountability. In Proceedings of the CEUR Workshop on Deep Understanding and Reasoning: A Challenge for Next-Generation Intelligent Agents."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(03)58003-2"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888912000367"},{"volume-title":"The Quest for Responsibility: Accountability and Citizenship in Complex Organizations","author":"Bovens Mark","key":"e_1_2_1_15_1","unstructured":"Mark Bovens . 1998. The Quest for Responsibility: Accountability and Citizenship in Complex Organizations . Cambridge University Press , Cambridge, MA . Mark Bovens. 1998. The Quest for Responsibility: Accountability and Citizenship in Complex Organizations. Cambridge University Press, Cambridge, MA."},{"key":"e_1_2_1_16_1","volume-title":"Proceedings of the 1st International Conference on Multiagent Systems. 41--48","author":"Castelfranchi C.","year":"1995","unstructured":"C. Castelfranchi . 1995 . Commitments: From individual intentions to groups and organizations . In Proceedings of the 1st International Conference on Multiagent Systems. 41--48 . C. Castelfranchi. 1995. Commitments: From individual intentions to groups and organizations. In Proceedings of the 1st International Conference on Multiagent Systems. 41--48."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2005.5"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73599-1_64"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.3233\/IA-2011-0011"},{"volume-title":"Proceedings of the IEEE 7th International Workshop on Requirements Engineering and Law (RELAW\u201914)","author":"Amit","key":"e_1_2_1_20_1","unstructured":"Amit K. Chopra and Munindar P. Singh. 2014. The thing itself speaks: Accountability as a foundation for requirements in sociotechnical systems . In Proceedings of the IEEE 7th International Workshop on Requirements Engineering and Law (RELAW\u201914) . IEEE, Los Alamitos, CA, 22. Amit K. Chopra and Munindar P. Singh. 2014. The thing itself speaks: Accountability as a foundation for requirements in sociotechnical systems. In Proceedings of the IEEE 7th International Workshop on Requirements Engineering and Law (RELAW\u201914). IEEE, Los Alamitos, CA, 22."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/CBMS.2005.102"},{"volume-title":"Proceedings of the 1st USENIX Workshop on Electronic Commerce.","author":"Cox B.","key":"e_1_2_1_22_1","unstructured":"B. Cox , J. D. Tygar , and M. Sirbu . 1995. NetBill security and transaction protocol . In Proceedings of the 1st USENIX Workshop on Electronic Commerce. B. Cox, J. D. Tygar, and M. Sirbu. 1995. NetBill security and transaction protocol. In Proceedings of the 1st USENIX Workshop on Electronic Commerce."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/200836.200838"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/860575.860659"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(97)00026-5"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2016.89"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.502224"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.6.719"},{"key":"e_1_2_1_30_1","series-title":"Lecture Notes in Business Information Processing","volume-title":"Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach","author":"Montali Marco","unstructured":"Marco Montali . 2010. Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach . Lecture Notes in Business Information Processing , Vol. 56 . Springer . Marco Montali. 2010. Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach. Lecture Notes in Business Information Processing, Vol. 56. Springer."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/359657.359659"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/11837862_18"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/1630659.1630774"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.735849"},{"volume-title":"Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models","author":"Torroni Paolo","key":"e_1_2_1_35_1","unstructured":"Paolo Torroni , Federico Chesani , Paola Mello , Pinar Yolum , Munindar P. Singh , Marco Alberti , Marco Gavanelli , and Evelina Lamma . 2009. Modeling interactions via commitments and expectations . In Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models , V. Dignum (Ed.). Information Science Reference , Hershey, PA , 263--284. http:\/\/www.igi-global.com\/reference\/details.asp?ID&equals;33141 Paolo Torroni, Federico Chesani, Paola Mello, Pinar Yolum, Munindar P. Singh, Marco Alberti, Marco Gavanelli, and Evelina Lamma. 2009. Modeling interactions via commitments and expectations. In Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, V. Dignum (Ed.). Information Science Reference, Hershey, PA, 263--284. http:\/\/www.igi-global.com\/reference\/details.asp?ID&equals;33141"},{"key":"e_1_2_1_36_1","volume-title":"Zwart","author":"de Poel Ibo Van","year":"2015","unstructured":"Ibo Van de Poel , Lamb\u00e8r Royakkers , and Sjoerd D . Zwart . 2015 . Moral Responsibility and the Problem of Many Hands. Routledge . Ibo Van de Poel, Lamb\u00e8r Royakkers, and Sjoerd D. Zwart. 2015. Moral Responsibility and the Problem of Many Hands. Routledge."},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000494"}],"container-title":["ACM Transactions on Internet Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3107936","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3107936","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:25Z","timestamp":1750217425000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3107936"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,24]]},"references-count":37,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,11,30]]}},"alternative-id":["10.1145\/3107936"],"URL":"https:\/\/doi.org\/10.1145\/3107936","relation":{},"ISSN":["1533-5399","1557-6051"],"issn-type":[{"type":"print","value":"1533-5399"},{"type":"electronic","value":"1557-6051"}],"subject":[],"published":{"date-parts":[[2018,4,24]]},"assertion":[{"value":"2017-01-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-06-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-04-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}