{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:51:01Z","timestamp":1725583861484},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642212673"},{"type":"electronic","value":"9783642212680"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21268-0_18","type":"book-chapter","created":{"date-parts":[[2011,5,27]],"date-time":"2011-05-27T09:18:28Z","timestamp":1306487908000},"page":"321-336","source":"Crossref","is-referenced-by-count":14,"title":["Normative Monitoring: Semantics and Implementation"],"prefix":"10.1007","author":[{"given":"Sergio","family":"Alvarez-Napagao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huib","family":"Aldewereld","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"V\u00e1zquez-Salceda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Dignum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Cirstea, H., Kirchner, C., Moossen, M., Moreau, P.E.: Production Systems and Rete Algorithm Formalisation. Tech. Rep. ILOG, INRIA Lorraine, INRIA Rocquencourt, Manifico (2004)"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Davis, R., King, J.: An overview of production systems. Tech. rep., Stanford Artificial Intelligence Laboratory, Report No. STAN-CS-75-524 (1975)","DOI":"10.21236\/ADA019702"},{"key":"18_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-540-30960-4_3","volume-title":"Formal Approaches to Agent-Based Systems","author":"F. Dignum","year":"2004","unstructured":"Dignum, F., Broersen, J., Dignum, V., Meyer, J.J.: Meeting the Deadline: Why, When and How. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) FAABS 2004. LNCS (LNAI), vol.\u00a03228, pp. 30\u201340. Springer, Heidelberg (2004)"},{"issue":"1","key":"18_CR4","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C.L. Forgy","year":"1982","unstructured":"Forgy, C.L.: Rete: A fast algorithm for the many pattern\/many object pattern match problem. Artificial Intelligence\u00a019(1), 17\u201337 (1982)","journal-title":"Artificial Intelligence"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Garc\u00eda-Camino, A., Noriega, P., Rodr\u00edguez-Aguilar, J.A.: Implementing norms in electronic institutions. In: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, Utrecht, Netherlands, pp. 667\u2013673 (2005)","DOI":"10.1145\/1082473.1082575"},{"issue":"1","key":"18_CR6","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/s10458-008-9059-4","volume":"18","author":"A. Garc\u00eda-Camino","year":"2009","unstructured":"Garc\u00eda-Camino, A., Rodr\u00edguez-Aguilar, J.A., Sierra, C., Vasconcelos, W.: Constraint rulebased programming of norms for electronic institutions. Autonomous Agents and Multi-Agent Systems\u00a018(1), 186\u2013217 (2009)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"2-3","key":"18_CR7","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1142\/S0218843005001092","volume":"14","author":"G. Governatori","year":"2005","unstructured":"Governatori, G.: Representing business contracts in RuleML. International Journal of Cooperative Information Systems\u00a014(2-3), 181\u2013216 (2005)","journal-title":"International Journal of Cooperative Information Systems"},{"key":"18_CR8","unstructured":"Grossi, D.: Designing invisible handcuffs: Formal investigations in institutions and organizations for multi-agent systems. Thesis, Universiteit Utrecht (2007)"},{"key":"18_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-642-14962-7_8","volume-title":"Coordination, Organizations, Institutions and Norms in Agent Systems V","author":"J.F. H\u00fcbner","year":"2010","unstructured":"H\u00fcbner, J.F., Boissier, O., Bordini, R.H.: A normative organisation programming language for organisation management infrastructures. In: Padget, J., Artikis, A., Vasconcelos, W., Stathis, K., da Silva, V.T., Matson, E., Polleres, A. (eds.) COIN@AAMAS 2009. LNCS, vol.\u00a06069, pp. 114\u2013129. Springer, Heidelberg (2010)"},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/978-3-540-88387-6_34","volume-title":"Automated Technology for Verification and Analysis","author":"M. Kyas","year":"2008","unstructured":"Kyas, M., Prisacariu, C., Schneider, G.: Run-time monitoring of electronic contracts. In: Cha, S(S.), Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol.\u00a05311, pp. 397\u2013407. Springer, Heidelberg (2008)"},{"key":"18_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-642-00443-8_11","volume-title":"Coordination, Organizations, Institutions and Norms in Agent Systems IV","author":"N. Oren","year":"2009","unstructured":"Oren, N., Panagiotidi, S., V\u00e1zquez-Salceda, J., Modgil, S., Luck, M., Miles, S.: Towards a formalisation of electronic contracting environments. In: H\u00fcbner, J.F., Matson, E., Boissier, O., Dignum, V. (eds.) COIN@AAMAS 2008. LNCS, vol.\u00a05428, pp. 156\u2013171. Springer, Heidelberg (2009)"},{"key":"18_CR12","unstructured":"Panagiotidi, S., V\u00e1zquez-Salceda, J., Alvarez-Napagao, S., Ortega-Martorell, S., Willmott, S., Confalonieri, R., Storms, P.: Intelligent Contracting Agents Language. In: Proceedings of the Symposium on Behaviour Regulation in Multi-Agent Systems (BRMAS 2008) at AISB 2008, Aberdeen, Scotland, vol.\u00a01, p. 49 (2008)"},{"key":"18_CR13","unstructured":"Paschke, A., Dietrich, J., Kuhla, K.: A Logic Based SLA Management Framework. In: Proceedings of the 4th Semantic Web Conference (ISWC 2005), Galway, Ireland, pp. 68\u201383 (2005)"},{"key":"18_CR14","unstructured":"Proctor, M., Neale, M., Frandsen, M., Griffith Jr., S., Tirelli, E., Meyer, F., Verlaenen, K.: Drools documentation. JBoss (2008)"},{"key":"18_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-540-88808-6_11","volume-title":"Rule Representation, Interchange and Reasoning on the Web","author":"M. Strano","year":"2008","unstructured":"Strano, M., Molina-Jimenez, C., Shrivastava, S.: A rule-based notation to specify executable electronic contracts. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2008. LNCS, vol.\u00a05321, pp. 81\u201388. Springer, Heidelberg (2008)"},{"key":"18_CR16","unstructured":"Tinnemeier, N., Dastani, M., Meyer, J.J.: Roles and norms for programming agent organizations. In: Proc. of 8th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, vol.\u00a01, pp. 121\u2013128 (2009)"},{"key":"18_CR17","unstructured":"Zimmermann, M.: OWL2Java (2009), http:\/\/www.incunabulum.de\/projects\/it\/owl2java"}],"container-title":["Lecture Notes in Computer Science","Coordination, Organizations, Institutions, and Norms in Agent Systems VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21268-0_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T03:32:12Z","timestamp":1560223932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21268-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642212673","9783642212680"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21268-0_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}