{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T01:24:26Z","timestamp":1768353866170,"version":"3.49.0"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2015,6,1]],"date-time":"2015-06-01T00:00:00Z","timestamp":1433116800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Artif Intell Law"],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1007\/s10506-015-9167-9","type":"journal-article","created":{"date-parts":[[2015,7,8]],"date-time":"2015-07-08T03:29:41Z","timestamp":1436326181000},"page":"161-196","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Monitoring compliance with E-contracts and norms"],"prefix":"10.1007","volume":"23","author":[{"given":"Sanjay","family":"Modgil","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nir","family":"Oren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Noura","family":"Faci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felipe","family":"Meneguzzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Miles","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Luck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,9]]},"reference":[{"key":"9167_CR1","unstructured":"Alechina N, Dastani M, Logan B (2014) Norm approximation for imperfect monitors. In: International conference on Autonomous Agents and Multi-Agent Systems, AAMAS, IFAAMAS, pp 117\u2013124"},{"key":"9167_CR2","unstructured":"Alechina N, Bulling N, Dastani M, Logan B (2015) Practical run-time norm enforcement with bounded lookahead. In: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems (AAMAS), IFAAMAS, pp 443\u2013451"},{"key":"9167_CR3","unstructured":"Bulling N, Dastani M, Knobbout M (2013) Monitoring norm violations in multi-agent systems. In: Proceedings of the 2013 international conference on Autonomous Agents and Multi-agent Systems, AAMAS \u201913, pp 491\u2013498, Richland, SC. International Foundation for Autonomous Agents and Multiagent Systems"},{"key":"9167_CR4","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/s10506-007-9044-2","volume":"16","author":"HL Cardoso","year":"2008","unstructured":"Cardoso HL, Oliveira E (2008) Electronic institutions for B2B: dynamic normative environments. Artif Intell Law 16:107\u2013128","journal-title":"Artif Intell Law"},{"key":"9167_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1008397328506","volume":"7","author":"R Conte","year":"1999","unstructured":"Conte R, Falcone R, Sartor G (1999) Agents and norms: How to fill the gap? Artif Intell Law 7:1\u20135","journal-title":"Artif Intell Law"},{"issue":"6","key":"9167_CR6","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1023\/A:1020691116541","volume":"11","author":"A Daskalopulu","year":"2002","unstructured":"Daskalopulu A, Dimitrakos T, Maibaum T (2002) Evidence-based electronic contract performance monitoring. Group Decis Negot 11(6):469\u2013485","journal-title":"Group Decis Negot"},{"key":"9167_CR7","unstructured":"Dastani M, Grossi D, Meyer J-JC, Tinnemeier N (2008) Normative multi-agent programs and their logics. In: Proceedings of the workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS\u201908), pp 236\u2013243"},{"key":"9167_CR8","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1093\/logcom\/exr027","volume":"23","author":"F Derakhshan","year":"2011","unstructured":"Derakhshan F, Bench-Capon TJM, McBurney P (2011) Dynamic assignment of roles, rights and responsibilities in normative multiagent systems. J Logic Comput 23:355\u2013372","journal-title":"J Logic Comput"},{"key":"9167_CR9","unstructured":"Esteva M, Rosell B, Rodrguez-aguilar JA, Arcos JLl (2004) Ameli: an agent-based middleware for electronic institutions. In: 3rd International joint conference on Autonomous Agents and Multi-agent Systems (AAMAS), pp 236\u2013243"},{"key":"9167_CR10","doi-asserted-by":"crossref","unstructured":"Fagundes MS, Ossowski S, Meneguzzi F (2014) Imperfect norm enforcement in stochastic environments: an analysis of efficiency and cost tradeoffs. In: Advances in artificial intelligence\u2014IBERAMIA 2014, vol 8864. Springer, New York, pp 523\u2013535","DOI":"10.1007\/978-3-319-12027-0_42"},{"issue":"2\u20133","key":"9167_CR11","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1142\/S0218843005001110","volume":"4","author":"ADH Farrell","year":"2005","unstructured":"Farrell ADH, Sergot M, Salle M, Bartolini Claudio (2005) Using the event calculus for tracking the normative state of contracts. Int J Coop Inf Syst 4(2\u20133):99\u2013129","journal-title":"Int J Coop Inf Syst"},{"key":"9167_CR12","volume-title":"An artificial intelligence approach to legal reasoning","author":"A Gardner","year":"1987","unstructured":"Gardner A (1987) An artificial intelligence approach to legal reasoning. MIT Press, New York"},{"issue":"2\u20133","key":"9167_CR13","doi-asserted-by":"crossref","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(2\u20133):181\u2013216","journal-title":"Int J Coop Inf Syst"},{"key":"9167_CR14","doi-asserted-by":"crossref","unstructured":"Governatori G, Hulstijn Joris, Riveret R, Rotolo A (2007) Characterising deadlines in temporal modal defeasible logic. In: Proceedings of AI-2007, vol 4830 of Lecture Notes in Artificial Intelligence, pp 486\u2013496","DOI":"10.1007\/978-3-540-76928-6_50"},{"key":"9167_CR15","unstructured":"Governatori G, Rotolo A (2004) Modelling contracts using RuleML. In: Proceedings of Jurix 2004. IOS Press, New York, pp 141\u2013150"},{"key":"9167_CR16","unstructured":"Grossi D (2007) Designing invisible handcufffs. PhD thesis, Utrecht University, SIKS"},{"key":"9167_CR18","unstructured":"Jakob M, Pchouek M, Chabera J, Miles S, Luck M, Oren N, Kollingbaum M, Holt C, Vazquez J, Storms P, Dehn M (2008) Case studies for contract-based systems. In: Proceedings of the 7th international joint conference on autonomous agents and multiagent systems (AAMAS), pp 55\u201362"},{"key":"9167_CR19","unstructured":"Jones AJI, Sergot M (1993) On the characterisation of law and computer systems: the normative systems perspective. In: Deontic logic in computer science: normative system specification. Wiley, New Jersey, pp 275\u2013307"},{"key":"9167_CR20","unstructured":"Kollingbaum M (2005) Norm-governed Practical Reasoning Agents. PhD thesis, University of Aberdeen"},{"issue":"2\u20133","key":"9167_CR21","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/s10588-006-9545-7","volume":"12","author":"F Lopez","year":"2006","unstructured":"Lopez F, Lopez Y, Luck M, d\u2019Inverno M (2006) A normative framework for agent-based systems. Comput Math Organ Theory 12(2\u20133):227\u2013250","journal-title":"Comput Math Organ Theory"},{"key":"9167_CR22","unstructured":"Meneguzzi F, Modgil S, Oren N, Miles S, Luck M, Faci N, Holt C, Smith M (2009) Monitoring and explanation of contract execution: A case study in the aerospace domain. In: Proceedings of the 8th international conference on Autonomous Agents and Multiagent Systems (AAMAS), pp 77\u201384"},{"key":"9167_CR23","unstructured":"Meneguzzi FR, Miles S, Luck M, Holt C, Smith M, Oren N, Faci N, Kollingbaum M, Modgil S (2008) Electronic contracting in aircraft aftercare: a case study. In: Proceedings of the 7th international joint conference on Autonomous Agents and Multiagent Systems, Industry and Applications Track"},{"issue":"7","key":"9167_CR24","doi-asserted-by":"crossref","first-page":"1471","DOI":"10.1016\/j.engappai.2012.06.004","volume":"25","author":"FR Meneguzzi","year":"2012","unstructured":"Meneguzzi FR, Modgil S, Oren N, Miles S, Luck M, Faci N (2012) Applying electronic contracting to the aerospace aftercare domain. Eng Appl Artif Intell 25(7):1471\u20131487","journal-title":"Eng Appl Artif Intell"},{"key":"9167_CR17","unstructured":"Miles S, Groth P, Luck M (2008) Handling mitigating circumstances for electronic contracts. In: Proceedings of the AISB 2008 symposium on behaviour regulation in multi-agent systems, pp 37\u201342. The Society for the Study of Artificial Intelligence and Simulation of Behaviour"},{"key":"9167_CR25","unstructured":"Modgil S, Faci N, Meneguzzi FR, Oren N, Miles S, Luck M (2009) A framework for monitoring agent-based normative systems. In: Proceedings of the 8th international conference on Autonomous Agents and Multiagent Systems (AAMAS), pp 153\u2013160"},{"issue":"2","key":"9167_CR26","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1016\/j.elerap.2004.02.003","volume":"3","author":"C Molina-Jimenez","year":"2004","unstructured":"Molina-Jimenez C, Shrivastava S, Solaiman E, Warne J (2004) Run-time monitoring and enforcement of electronic contracts. Electron Commer Res Appl 3(2):108\u2013125","journal-title":"Electron Commer Res Appl"},{"key":"9167_CR27","doi-asserted-by":"crossref","unstructured":"Neal S, Cole J, Linington PF, Milosevic Z, Gibson S, Kulkarni S (2003) Identifying requirements for business contract language: a monitoring perspective. In: Proceedings of the 7th IEEE international enterprise distributed object computing conference, pp 50\u201361. IEEE Comput. Soc","DOI":"10.1109\/EDOC.2003.1233837"},{"issue":"2","key":"9167_CR28","doi-asserted-by":"crossref","first-page":"863","DOI":"10.1016\/j.engappai.2012.12.006","volume":"26","author":"J Oh","year":"2013","unstructured":"Oh J, Meneguzzi F, Sycara K, Norman TJ (2013) Prognostic normative reasoning. Eng Appl Artif Intell 26(2):863\u2013872","journal-title":"Eng Appl Artif Intell"},{"key":"9167_CR29","unstructured":"Oren N, Panagiotidi S, Vazquez-Salceda J, Modgil S, Luck M, Miles S (2008) Towards a formalisation of electronic contracting environments. In: Proceedings of the Coordination, Organization, Institutions and Norms in Agent Systems (COIN 2008), pp 156\u2013171"},{"key":"9167_CR30","doi-asserted-by":"crossref","unstructured":"Rao AS (1996) AgentSpeak(L): BDI agents speak out in a logical computable language. In: Van de\u00a0Velde W, Perram JW (eds) Proceedings of the 7th European workshop on modelling autonomous agents in a multi-agent World, vol. 1038 of LNCS. Springer, New York, pp 42\u201355","DOI":"10.1007\/BFb0031845"},{"key":"9167_CR31","volume-title":"The construction of social reality","author":"JR Searle","year":"1997","unstructured":"Searle JR (1997) The construction of social reality. Free Press, New York"},{"key":"9167_CR32","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1023\/A:1008359312576","volume":"7","author":"Leendert Torre van der","year":"1999","unstructured":"van der Torre Leendert, Tan Yao-Hua (1999) Diagnosis and decision making in normative reasoning. Artif Intell Law 7:51\u201367","journal-title":"Artif Intell Law"},{"key":"9167_CR33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"GH Wright von","year":"1951","unstructured":"von Wright GH (1951) Deontic logic. Mind 60:1\u201315","journal-title":"Mind"},{"issue":"10","key":"9167_CR34","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1145\/355598.362773","volume":"13","author":"WA Woods","year":"1970","unstructured":"Woods WA (1970) Transition network grammars for natural language analysis. Commun ACM 13(10):591\u2013606","journal-title":"Commun ACM"},{"key":"9167_CR35","doi-asserted-by":"crossref","unstructured":"Xu L, Jeusfeld MA (2003) Pro-active monitoring of electronic contracts. In: Proceedings of the 15th conference on advanced information systems engineering, vol 2681 of Lecture Notes of Computer Science. Springer, New York, pp 584\u2013600","DOI":"10.1007\/3-540-45017-3_39"},{"issue":"3","key":"9167_CR36","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1145\/1120680.1120684","volume":"5","author":"L Xu","year":"2005","unstructured":"Xu L, Jeusfeld MA, Grefen PWPJ (2005) Detection tests for identifying violators of multi-party contracts. ACM SIGecom Exch 5(3):19\u201328","journal-title":"ACM SIGecom Exch"},{"key":"9167_CR37","first-page":"2","volume":"2","author":"H Yoshino","year":"1998","unstructured":"Yoshino H (1998) Logical structure of contract law system for constructing a knowledge base of the united nations convention on contracts for the international sale of goods. Adv Comput Intell 2:2\u201311","journal-title":"Adv Comput Intell"}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-015-9167-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10506-015-9167-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-015-9167-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T18:57:18Z","timestamp":1559156238000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10506-015-9167-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6]]},"references-count":37,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["9167"],"URL":"https:\/\/doi.org\/10.1007\/s10506-015-9167-9","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"value":"0924-8463","type":"print"},{"value":"1572-8382","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,6]]}}}