{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:44:02Z","timestamp":1742913842801,"version":"3.40.3"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319426907"},{"type":"electronic","value":"9783319426914"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-42691-4_6","type":"book-chapter","created":{"date-parts":[[2016,7,12]],"date-time":"2016-07-12T04:59:54Z","timestamp":1468299594000},"page":"98-118","source":"Crossref","is-referenced-by-count":1,"title":["SIMPLE: A Language for the Specification of Protocols, Similar to Natural Language"],"prefix":"10.1007","author":[{"given":"Dave","family":"de Jonge","sequence":"first","affiliation":[]},{"given":"Carles","family":"Sierra","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,7,13]]},"reference":[{"issue":"2\u20134","key":"6_CR1","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1080\/08839510500479546","volume":"20","author":"M Alberti","year":"2006","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Chesani, F., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based software tool. Appl. Artif. Intell. 20(2\u20134), 133\u2013157 (2006)","journal-title":"Appl. Artif. Intell."},{"key":"6_CR2","unstructured":"Argente, E., Criado, N., Botti, V., Julian, V.: Norms for agent service controlling. In: EUMAS-08, pp. 1\u201315 (2008)"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/11493402_13","volume-title":"Declarative Agent Languages and Technologies II","author":"A Artikis","year":"2005","unstructured":"Artikis, A., Kamara, L., Pitt, J., Sergot, M.: A protocol for resource sharing in norm-governed ad hoc networks. In: Leite, J., Omicini, A., Torroni, P., Yolum, P. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 221\u2013238. Springer, Heidelberg (2005). http:\/\/dx.doi.org\/10.1007\/11493402_13"},{"key":"6_CR4","series-title":"Studies in Cognitive Systems","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-94-009-0553-5_7","volume-title":"Knowledge Representation and Defeasible Reasoning","author":"N Belnap","year":"1990","unstructured":"Belnap, N., Perloff, M.: Seeing to it that: a canonical form for agentives. In: Kyburg Jr., H.E., Loui, R.P., Carlson, G.N. (eds.) Knowledge Representation and Defeasible Reasoning. Studies in Cognitive Systems, vol. 5, pp. 167\u2013190. Springer, Netherlands (1990). http:\/\/dx.doi.org\/10.1007\/978-94-009-0553-5_7"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Bonatti, P.A., Olmedilla, D.: Driving and monitoring provisional trust negotiation with metapolicies. In: 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), 6\u20138 June 2005, Stockholm, Sweden, pp. 14\u201323 (2005). http:\/\/dx.doi.org\/10.1109\/POLICY.2005.13","DOI":"10.1109\/POLICY.2005.13"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-3-540-25927-5_5","volume-title":"Deontic Logic in Computer Science","author":"J Broersen","year":"2004","unstructured":"Broersen, J., Dignum, F., Dignum, V., Meyer, J.-J.C.: Designing a deontic logic of deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 43\u201356. Springer, Heidelberg (2004)"},{"key":"6_CR7","series-title":"Law, Governance and Technology Series","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1007\/978-94-007-5583-3_32","volume-title":"Agreement Technologies","author":"HL Cardoso","year":"2013","unstructured":"Cardoso, H.L., Urbano, J., Rocha, A.P., Castro, A.J., Oliveira, E.: Ante: agreement negotiation in normative and trust-enabled environments. In: Ossowski, S. (ed.) Agreement Technologies. Law, Governance and Technology Series, vol. 8, pp. 549\u2013564. Springer, Netherlands (2013). http:\/\/dx.doi.org\/10.1007\/978-94-007-5583-3_32"},{"key":"6_CR8","unstructured":"Coi, J.L.D., K\u00e4rger, P., Olmedilla, D., Zerr, S.: Using natural language policies for privacy control in social platforms (2009). http:\/\/CEUR-WS.org\/Vol-447\/paper4.pdf"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1007\/11775331_17","volume-title":"Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems","author":"S Cranefield","year":"2006","unstructured":"Cranefield, S.: A rule language for modelling and monitoring social expectations in multi-agent systems. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J.S., V\u00e1zquez-Salceda, J. (eds.) ANIREM and OOOP 2005. LNCS (LNAI), vol. 3913, pp. 246\u2013258. Springer, Heidelberg (2006)"},{"issue":"6","key":"6_CR10","doi-asserted-by":"crossref","first-page":"1217","DOI":"10.1093\/logcom\/exq055","volume":"21","author":"S Cranefield","year":"2011","unstructured":"Cranefield, S., Winikoff, M.: Verifying social expectations by model checking truncated paths. J. Logic Comput. 21(6), 1217\u20131256 (2011). http:\/\/logcom.oxfordjournals.org\/content\/21\/6\/1217.abstract","journal-title":"J. Logic Comput."},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Dastani, M., Tinnemeier, N.A., Meyer, J.J.C.: A programming language for normative multi-agent systems (2009)","DOI":"10.4018\/978-1-60566-256-5.ch016"},{"key":"6_CR12","unstructured":"De Coi, J.: Notes for a possible ACE $$\\rightarrow $$ Protune mapping. Technical report, Forschungszentrum L3S, Appelstr. 9a, 30167 Hannover, July 2008"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/978-3-642-03754-2_2","volume-title":"Reasoning Web","author":"T Eiter","year":"2009","unstructured":"Eiter, T., Ianni, G., Krennwallner, T.: Answer set programming: a primer. In: Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M.-C., Schmidt, R.A. (eds.) Reasoning Web. LNCS, vol. 5689, pp. 40\u2013110. Springer, Heidelberg (2009). http:\/\/dx.doi.org\/10.1007\/978-3-642-03754-2_2"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Esteva, M., de la Cruz, D., Sierra, C.: Islander: en electronic institutions editor. In: Bologna, Italy, vol. 3, pp. 1045\u20131052. ACM Press, 15\u201319 July 2002","DOI":"10.1145\/545056.545069"},{"key":"6_CR15","unstructured":"Esteva, M., Rodr\u00edguez-Aguilar, J.A., Arcos, J.L., Sierra, C., Noriega, P., Rosell, B., de la Cruz, D.: Electronic institutions development environment. In: AAMAS (Demos), pp. 1657\u20131658 (2008). http:\/\/www.iiia.csic.es\/files\/pdfs\/eide.pdf"},{"key":"6_CR16","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/978-94-007-5583-3_18","volume-title":"Agreement Technologies, Chap. 18","author":"N Fornara","year":"2013","unstructured":"Fornara, N., Cardoso, H.L., Noriega, P., Oliveira, E., Tampitsikas, C., Schumacher, M.I.: Modelling agent institutions. In: Ossowski, S. (ed.) Agreement Technologies, Chap. 18, vol. 8, pp. 277\u2013307. Springer-Verlag GmdH, Netherlands (2013)"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/978-3-540-85658-0_3","volume-title":"Reasoning Web","author":"NE Fuchs","year":"2008","unstructured":"Fuchs, N.E., Kaljurand, K., Kuhn, T.: Attempto controlled English for knowledge representation. In: Baroglio, C., Bonatti, P.A., Ma\u0142uszy\u0144ski, J., Marchiori, M., Polleres, A., Schaffert, S. (eds.) Reasoning Web. LNCS, vol. 5224, pp. 104\u2013124. Springer, Heidelberg (2008). http:\/\/dx.doi.org\/10.1007\/978-3-540-85658-0_3"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/978-3-540-79003-7_2","volume-title":"Coordination, Organizations, Institutions, and Norms in Agent Systems III","author":"A Garc\u00eda-Camino","year":"2008","unstructured":"Garc\u00eda-Camino, A.: Ignoring, forcing and expecting simultaneous events in electronic institutions. In: Sichman, J.S., Padget, J., Ossowski, S., Noriega, P. (eds.) COIN 2007. LNCS (LNAI), vol. 4870, pp. 15\u201326. Springer, Heidelberg (2008). http:\/\/dl.acm.org\/citation.cfm?id=1791649.1791652"},{"issue":"2","key":"6_CR19","first-page":"62","volume":"26","author":"M Genesereth","year":"2005","unstructured":"Genesereth, M., Love, N., Pell, B.: General game playing: overview of the aaai competition. AI Mag. 26(2), 62\u201372 (2005)","journal-title":"AI Mag."},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: Procedings of the 10th International Conference on Artificial Intelligence and Law, pp. 25\u201334. ACM Press (2005)","DOI":"10.1145\/1165485.1165490"},{"issue":"1","key":"6_CR21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11229-006-9072-6","volume":"156","author":"W Hoek van der","year":"2007","unstructured":"van der Hoek, W., Roberts, M., Wooldridge, M.: Social laws in alternating time: effectiveness, feasibility, and synthesis. Synthese 156(1), 1\u201319 (2007). http:\/\/dx.doi.org\/10.1007\/s11229-006-9072-6","journal-title":"Synthese"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1007\/11775331_5","volume-title":"Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems","author":"JF H\u00fcbner","year":"2006","unstructured":"H\u00fcbner, J.F., Sichman, J.S., Boissier, O.: $$S-Moise^+$$ : a middleware for developing organised multi-agent systems. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J.S., V\u00e1zquez-Salceda, J. (eds.) ANIREM and OOOP 2005. LNCS (LNAI), vol. 3913, pp. 64\u201378. Springer, Heidelberg (2006). http:\/\/dx.doi.org\/10.1007\/11775331_5"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/978-3-642-39860-5_7","volume-title":"Agreement Technologies","author":"D Jonge de","year":"2013","unstructured":"de Jonge, D., Rosell, B., Sierra, C.: Human interactions in electronic institutions. In: Ches\u00f1evar, C.I., Onaindia, E., Ossowski, S., Vouros, G. (eds.) AT 2013. LNCS, vol. 8068, pp. 75\u201389. Springer, Heidelberg (2013)"},{"key":"6_CR24","unstructured":"Kollingbaum, M.J.: Norm-governed practical reasoning agents. Ph.D. thesis, University of Aberdeen (2005)"},{"key":"6_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-71549-5","volume-title":"Temporal Logic of Programs","author":"F Kr\u00f6ger","year":"1987","unstructured":"Kr\u00f6ger, F.: Temporal Logic of Programs. Springer-Verlag New York, Inc., New York (1987)"},{"key":"6_CR26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-94-010-2191-3_1","volume-title":"Logical Theory and Semantic Analysis: Essays Dedicated to Stig Kanger on His Fiftieth Birthday","author":"D Lewis","year":"1974","unstructured":"Lewis, D.: Semantic analyses for dyadic deontic logic. In: Stenlund, S. (ed.) Logical Theory and Semantic Analysis: Essays Dedicated to Stig Kanger on His Fiftieth Birthday, pp. 1\u201314. Reidel, Dordrecht (1974)"},{"key":"6_CR27","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/978-3-540-25867-4_16","volume-title":"Regulated Agent-Based Social Systems","author":"F L\u00f3pez y L\u00f3pez","year":"2004","unstructured":"L\u00f3pez y L\u00f3pez, F., Luck, M.: A model of normative multi-agent systems and dynamic relationships. In: Lindemann, G., Moldt, D., Paolucci, M. (eds.) RASTA 2002. LNCS (LNAI), vol. 2934, pp. 259\u2013280. Springer, Heidelberg (2004)"},{"issue":"4","key":"6_CR28","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1023\/A:1004748624537","volume":"29","author":"D Makinson","year":"2000","unstructured":"Makinson, D., Van Der Torre, L.: Input\/output logics. J. Philos. Logic 29(4), 383\u2013408 (2000)","journal-title":"J. Philos. Logic"},{"issue":"1","key":"6_CR29","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","volume":"29","author":"JJC Meyer","year":"1987","unstructured":"Meyer, J.J.C.: A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic. Notre Dame J. Formal Logic 29(1), 109\u2013136 (1987). http:\/\/dx.doi.org\/10.1305\/ndjfl\/1093637776","journal-title":"Notre Dame J. Formal Logic"},{"key":"6_CR30","unstructured":"Nelson, G.: Natural language, semantic analysis and interactive fiction (2014). http:\/\/inform7.com\/learn\/documents\/WhitePaper.pdf"},{"key":"6_CR31","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-8851-5","volume-title":"Defeasible Deontic Logic","author":"D Nute","year":"1997","unstructured":"Nute, D.: Defeasible Deontic Logic. Springer, The Netherlands (1997)"},{"key":"6_CR32","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1007\/11786849_19","volume-title":"Deontic Logic and Artificial Normative Systems","author":"MJ Sergot","year":"2006","unstructured":"Sergot, M.J., Craven, R.: The Deontic Component of Action Language nC+. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol. 4048, pp. 222\u2013237. Springer, Heidelberg (2006). http:\/\/dx.doi.org\/10.1007\/11786849_19"},{"key":"6_CR33","unstructured":"Shi, L.L., Chadwick, D.W.: A controlled natural language interface for authoring access control policies. In: Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, 21\u201324 March 2011, pp. 1524\u20131530 (2011). http:\/\/doi.acm.org\/10.1145\/1982185.1982510"},{"key":"6_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/978-3-642-35545-5_5","volume-title":"Coordination, Organizations, Institutions, and Norms in Agent System VII","author":"C Tampitsikas","year":"2012","unstructured":"Tampitsikas, C., Bromuri, S., Schumacher, M.I.: MANET: a model for first-class electronic institutions. In: Cranefield, S., van Riemsdijk, M.B., V\u00e1zquez-Salceda, J., Noriega, P. (eds.) COIN 2011. LNCS, vol. 7254, pp. 75\u201392. Springer, Heidelberg (2012). http:\/\/link.springer.com\/chapter\/10.1007\/978-3-642-35545-5_5"},{"key":"6_CR35","doi-asserted-by":"crossref","unstructured":"Uszok, A., Bradshaw, J.M., Lott, J., Breedy, M., Bunch, L., Feltovich, P., Johnson, M., Jung, H.: New developments in ontology-based policy management: increasing the practicality and comprehensiveness of KAoS. In: IEEE International Workshop on Policies for Distributed Systems and Networks, pp. 145\u2013152 (2008)","DOI":"10.1109\/POLICY.2008.47"},{"key":"6_CR36","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/978-3-540-30082-3_23","volume-title":"Multiagent System Technologies","author":"J V\u00e1zquez-Salceda","year":"2004","unstructured":"V\u00e1zquez-Salceda, J., Aldewereld, H., Dignum, F.: Implementing norms in multiagent systems. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds.) MATES 2004. LNCS (LNAI), vol. 3187, pp. 313\u2013327. Springer, Heidelberg (2004)"},{"key":"6_CR37","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, G.H.: Deontic logic. Mind 60, 1\u201315 (1951)","journal-title":"Mind"}],"container-title":["Lecture Notes in Computer Science","Coordination, Organizations, Institutions, and Norms in Agent Systems XI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-42691-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,10]],"date-time":"2019-09-10T21:29:03Z","timestamp":1568150943000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-42691-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319426907","9783319426914"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-42691-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}