{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T05:38:32Z","timestamp":1773985112966,"version":"3.50.1"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,9,21]],"date-time":"2020-09-21T00:00:00Z","timestamp":1600646400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,9,21]],"date-time":"2020-09-21T00:00:00Z","timestamp":1600646400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Artif Intell Law"],"published-print":{"date-parts":[[2021,9]]},"DOI":"10.1007\/s10506-020-09276-y","type":"journal-article","created":{"date-parts":[[2020,9,21]],"date-time":"2020-09-21T02:02:30Z","timestamp":1600653750000},"page":"287-310","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Automatically running experiments on checking multi-party contracts"],"prefix":"10.1007","volume":"29","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7348-8508","authenticated-orcid":false,"given":"Adilson Luiz","family":"Bonifacio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wellington Aparecido","family":"Della Mura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,9,21]]},"reference":[{"key":"9276_CR1","doi-asserted-by":"crossref","unstructured":"Abdelsadiq A, Molina-Jimenez C, Shrivastava S (2011) A high-level model-checking tool for verifying service agreements. In: Proceedings of 2011 IEEE 6th international symposium on service oriented system (SOSE), pp 297\u2013304","DOI":"10.1109\/SOSE.2011.6139120"},{"key":"9276_CR2","unstructured":"Angelov S, Grefen P (2001) B2b econtract handling\u2014a survey of projects, papers and standards. University of Twente, The Netherlands, Tech. rep"},{"issue":"3","key":"9276_CR3","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/s10506-016-9185-2","volume":"24","author":"S Azzopardi","year":"2016","unstructured":"Azzopardi S, Pace GJ, Schapachnik F, Schneider G (2016) Contract automata. Artif Intell Law 24(3):203\u2013243. https:\/\/doi.org\/10.1007\/s10506-016-9185-2","journal-title":"Artif Intell Law"},{"key":"9276_CR4","doi-asserted-by":"publisher","unstructured":"Bartoletti M, Zunino R (2010) A calculus of contracting processes. In: Logic in computer science, symposium on (LICS), pp 332\u2013341. https:\/\/doi.org\/10.1109\/LICS.2010.25","DOI":"10.1109\/LICS.2010.25"},{"key":"9276_CR5","unstructured":"Belardinelli F, Lomuscio A, Murano A, Rubin S (2017) Verification of multi-agent systems with imperfect information and public actions. In: AAMAS"},{"key":"9276_CR6","unstructured":"Bonifacio AL, Della Mura WA (2018) An automatic tool for checking multi-party contracts. ArXiv e-prints"},{"key":"9276_CR7","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.jlamp.2017.05.002","volume":"91","author":"JJ Camilleri","year":"2017","unstructured":"Camilleri JJ, Schneider G (2017) Modelling and analysis of normative documents. J Log Algebr Methods Program 91:33\u201359. https:\/\/doi.org\/10.1016\/j.jlamp.2017.05.002","journal-title":"J Log Algebr Methods Program"},{"key":"9276_CR8","unstructured":"Daskalopulu A (2001) Model checking contractual protocols. CoRR. arXiv:cs.SE\/0106009"},{"key":"9276_CR9","unstructured":"Della Mura WA, Bonif\u00e1cio AL (2015a) A conflict detection approach for multi-party contracts. Tech. Rep. DC-15-01, Department of Computing, University of Londrina. http:\/\/www.uel.br\/cce\/dc\/wp-content\/uploads\/RT-DC-15-01.pdf (in English)"},{"key":"9276_CR10","doi-asserted-by":"publisher","unstructured":"Della Mura WA, Bonif\u00e1cio AL (2015b) Devising a conflict detection method for multi-party contracts. In: 34th international conference of the chilean computer science society, SCCC 2015, Santiago, Chile, November 9\u201313, 2015, pp 1\u20136. IEEE. https:\/\/doi.org\/10.1109\/SCCC.2015.7416574","DOI":"10.1109\/SCCC.2015.7416574"},{"key":"9276_CR11","unstructured":"Fenech S (2008) Conflict analysis of deontic contracts"},{"key":"9276_CR12","doi-asserted-by":"crossref","unstructured":"Fenech S, Pace G, Schneider G (2009) Automatic conflict detection on contracts. In: Leucker M, Morgan C (eds) Theoretical aspects of computing\u2014ICTAC 2009, vol 5684. Lecture notes in computer science. Springer, Berlin, pp 200\u2013214","DOI":"10.1007\/978-3-642-03466-4_13"},{"key":"9276_CR13","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1142\/S0218843005001092","volume":"14","author":"G Governatori","year":"2005","unstructured":"Governatori G (2005) Representing business contracts in ruleml. Int J Coop Inf Syst 14:181\u2013216","journal-title":"Int J Coop Inf Syst"},{"key":"9276_CR14","doi-asserted-by":"crossref","unstructured":"Harel D, Kozen D, Tiuryn J (1984) Dynamic logic. In: Gabbay DM, Guenthner F (eds) Handbook of philosophical logic. MIT Press, Cambridge, pp 497\u2013604","DOI":"10.1007\/978-94-009-6259-0_10"},{"key":"9276_CR15","doi-asserted-by":"crossref","unstructured":"Herrestad H, Krogh C (1995) Obligations directed from bearers to counterparts. In: ICAIL\u201995 proceedings of the 5th international conference on artificial intelligence and law, pp 453\u2013522","DOI":"10.1145\/222092.222243"},{"key":"9276_CR16","unstructured":"Hilpinen R (2001) Deontic logic. In: L.\u00a0Goble (ed.) The blackwell guide to philosophical logic, chap.\u00a08. Blackwell"},{"key":"9276_CR17","doi-asserted-by":"crossref","unstructured":"Kyas M, Prisacariu C, Schneider G (2008) Runtime monitoring of electronic contracts. In: ATVA08, LNCS. Springer","DOI":"10.1007\/978-3-540-88387-6_34"},{"issue":"1","key":"9276_CR18","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s10009-015-0378-x","volume":"19","author":"A Lomuscio","year":"2017","unstructured":"Lomuscio A, Qu H, Raimondi F (2017) Mcmas: an open-source model checker for the verification of multi-agent systems. Int J Softw Tools Technol Transf 19(1):9\u201330. https:\/\/doi.org\/10.1007\/s10009-015-0378-x","journal-title":"Int J Softw Tools Technol Transf"},{"issue":"1","key":"9276_CR19","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","volume":"29","author":"JJC Meyer","year":"1987","unstructured":"Meyer JJC (1987) A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic. Notre Dame J Formal Logic 29(1):109\u2013136","journal-title":"Notre Dame J Formal Logic"},{"key":"9276_CR20","doi-asserted-by":"crossref","unstructured":"Prisacariu C, Schneider G (2007) A formal language for electronic contracts. In: FMOODS 07, volume 4468 of LNCS. Springer, pp 174\u2013189","DOI":"10.1007\/978-3-540-72952-5_11"},{"key":"9276_CR21","unstructured":"Prisacariu C, Schneider G (2008) Cl: a logic for reasoning about legal contracts\u2014semantics. Tech. Rep. 371, Univ. Oslo"},{"key":"9276_CR22","doi-asserted-by":"crossref","unstructured":"Prisacariu C, Schneider G (2009) Cl: an action-based logic for reasoning about contracts. In: Ono H, Kanazawa M, Queiroz R (eds) Logic, language, information and computation, vol 5514. Lecture notes in computer science. Springer, Berlin, pp 335\u2013349","DOI":"10.1007\/978-3-642-02261-6_27"},{"issue":"4","key":"9276_CR23","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1016\/j.jlap.2012.03.003","volume":"81","author":"C Prisacariu","year":"2012","unstructured":"Prisacariu C, Schneider G (2012) A dynamic deontic logic for complex contracts. J Logic Algebr Program 81(4):458\u2013490. https:\/\/doi.org\/10.1016\/j.jlap.2012.03.003","journal-title":"J Logic Algebr Program"},{"key":"9276_CR24","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-94-015-9099-0_2","volume-title":"Standard deontic logic","author":"LMM Royakkers","year":"1998","unstructured":"Royakkers LMM (1998) Standard deontic logic. Springer, Dordrecht, pp 13\u201350. https:\/\/doi.org\/10.1007\/978-94-015-9099-0_2"},{"issue":"1","key":"9276_CR25","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1023\/A:1026185103185","volume":"75","author":"W van der Hoek","year":"2003","unstructured":"van der Hoek W, Wooldridge M (2003) Cooperation, knowledge, and time: alternating-time temporal epistemic logic and its applications. Stud Log 75(1):125\u2013157. https:\/\/doi.org\/10.1023\/A:1026185103185","journal-title":"Stud Log"},{"issue":"1","key":"9276_CR26","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/1120694.1120697","volume":"5","author":"L Xu","year":"2004","unstructured":"Xu L (2004) A multi-party contract model. SIGecom Exch. 5(1):13\u201323. https:\/\/doi.org\/10.1145\/1120694.1120697","journal-title":"SIGecom Exch."}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-020-09276-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10506-020-09276-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-020-09276-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,21]],"date-time":"2021-09-21T01:49:38Z","timestamp":1632188978000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10506-020-09276-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,21]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,9]]}},"alternative-id":["9276"],"URL":"https:\/\/doi.org\/10.1007\/s10506-020-09276-y","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"value":"0924-8463","type":"print"},{"value":"1572-8382","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,9,21]]},"assertion":[{"value":"1 September 2020","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 September 2020","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}