{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:51:02Z","timestamp":1725583862285},"publisher-location":"Berlin, Heidelberg","reference-count":44,"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_5","type":"book-chapter","created":{"date-parts":[[2011,5,27]],"date-time":"2011-05-27T09:18:28Z","timestamp":1306487908000},"page":"77-94","source":"Crossref","is-referenced-by-count":3,"title":["Norm Refinement and Design through Inductive Learning"],"prefix":"10.1007","author":[{"given":"Domenico","family":"Corapi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marina","family":"De Vos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julian","family":"Padget","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Russo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ken","family":"Satoh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Artikis, A.: Dynamic protocols for open agent systems. In: Sierra, C., et al. (eds.) [42], pp. 97\u2013104"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-36540-0_1","volume-title":"Agent-Oriented Software Engineering III","author":"A. Artikis","year":"2003","unstructured":"Artikis, A., Sergot, M., Pitt, J.: Specifying electronic societies with the Causal Calculator. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol.\u00a02585, pp. 1\u201315. Springer, Heidelberg (2003)"},{"key":"5_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge Press, Cambridge (2003)"},{"key":"5_CR4","unstructured":"Boella, G., Pigozzi, G., van der Torre, L.: Normative Systems in Computer Science \u2013 Ten Guidelines for Normative Multiagent Systems. In: Normative Mult-Agent Systems (2009)"},{"key":"5_CR5","series-title":"Dagstuhl Seminar Proceedings","volume-title":"Normative Mult-Agent Systems","year":"2009","unstructured":"Boella, G., Noriega, P., Pigozzi, G., Verhagen, H. (eds.): Normative Mult-Agent Systems. Dagstuhl Seminar Proceedings, vol.\u00a009121. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2009)"},{"key":"5_CR6","unstructured":"Boella, G., Pigozzi, G., van der Torre, L.: Normative framework for normative system change. In: Sierra, C., et al. (eds.) [42], pp. 169\u2013176"},{"key":"5_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/11750734_17","volume-title":"Computational Logic in Multi-Agent Systems","author":"G. Boella","year":"2006","unstructured":"Boella, G., van der Torre, L.: Constitutive Norms in the Design of Normative Multiagent Systems. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol.\u00a03900, pp. 303\u2013319. Springer, Heidelberg (2006)"},{"key":"5_CR8","series-title":"Frontiers in Artificial Intelligence and Applications","first-page":"468","volume-title":"ECAI","author":"H.L. Cardoso","year":"2008","unstructured":"Cardoso, H.L., Oliveira, E.C.: Norm defeasibility in an institutional normative framework. In: Ghallab, M., Spyropoulos, C.D., Fakotakis, N., Avouris, N.M. (eds.) ECAI. Frontiers in Artificial Intelligence and Applications, vol.\u00a0178, pp. 468\u2013472. IOS Press, Amsterdam (2008)"},{"key":"5_CR9","unstructured":"Christelis, G., Rovatsos, M.: Automated norm synthesis in an agent-based planning environment. In: Sierra, C., et al. (eds.) [42], pp. 161\u2013168"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Cliffe, O.: Specifying and Analysing Institutions in Multi-Agent Systems using Answer Set Programming. PhD thesis, University of Bath (2007)","DOI":"10.1007\/11775331_7"},{"key":"5_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-540-69619-3_4","volume-title":"Computational Logic in Multi-Agent Systems","author":"O. Cliffe","year":"2007","unstructured":"Cliffe, O., De Vos, M., Padget, J.: Answer set programming for representing and reasoning about virtual institutions. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol.\u00a04371, pp. 60\u201379. Springer, Heidelberg (2007)"},{"key":"5_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-540-79003-7_4","volume-title":"Coordination, Organizations, Institutions, and Norms in Agent Systems III","author":"O. Cliffe","year":"2008","unstructured":"Cliffe, O., De Vos, M., Padget, J.A.: Embedding landmarks and scenes in a computational model of institutions. In: Sichman, J.S., Padget, J., Ossowski, S., Noriega, P. (eds.) COIN 2007. LNCS (LNAI), vol.\u00a04870, pp. 41\u201357. Springer, Heidelberg (2008)"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Corapi, D., Ray, O., Russo, A., Bandara, A.K., Lupu, E.C.: Learning rules from user behaviour. In: 5th Aritificial Intelligence Applications and Innovations (AIAI 2009) (April 2009)","DOI":"10.1007\/978-1-4419-0221-4_54"},{"key":"5_CR14","unstructured":"Corapi, D., Russo, A., Lupu, E.: Inductive logic programming as abductive search. In: 26th International Conference on Logic Programming, Leibniz International Proceedings in Informatics. Schloss Dagstuhl Research Online Publication Server (2010)"},{"key":"5_CR15","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1109\/ICSE.2009.5070527","volume-title":"Proceedings of the 31st International Conference on Software Engineering (ICSE 2009)","author":"D. Alrajeh","year":"2009","unstructured":"Alrajeh, D., Kramer, J., Russo, A., Uchitel, S.: Learning operational requirements from goal models. In: Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), pp. 265\u2013275. IEEE Computer Society, Los Alamitos (2009)"},{"key":"5_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-73847-3_14","volume-title":"Inductive Logic Programming","author":"D. Alrajeh","year":"2007","unstructured":"Alrajeh, D., Ray, O., Russo, A., Uchitel, S.: Extracting requirements from Scenarios using ILP. In: Muggleton, S.H., Otero, R., Tamaddoni-Nezhad, A. (eds.) ILP 2006. LNCS (LNAI), vol.\u00a04455, pp. 64\u201378. Springer, Heidelberg (2007)"},{"issue":"2","key":"5_CR17","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0743-1066(97)00074-5","volume":"34","author":"M. Denecker","year":"1998","unstructured":"Denecker, M., De Schreye, D.: SLDNFA: An Abductive Procedure for Abductive Logic Programs. J. Log. Program.\u00a034(2), 111\u2013167 (1998)","journal-title":"J. Log. Program."},{"key":"5_CR18","unstructured":"Dignum, V.: A model for organizational interaction: based on agents, founded in logic. PhD thesis, University of Utrecht (2004)"},{"key":"5_CR19","series-title":"Relational data mining applications: an overview","first-page":"339","volume-title":"Relational Data Mining","year":"2000","unstructured":"D\u017eroski, S., Lavra\u010d, N. (eds.): Relational Data Mining. Relational data mining applications: an overview, vol.\u00a0ch. 14, pp. 339\u2013360. Springer Verlag, New York, Inc., New York (2000)"},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"1045","DOI":"10.1145\/545056.545069","volume-title":"AAMAS","author":"M. Esteva","year":"2002","unstructured":"Esteva, M., de la Cruz, D., Sierra, C.: Islander: an electronic institutions editor. In: AAMAS, pp. 1045\u20131052. ACM, New York (2002)"},{"issue":"1","key":"5_CR21","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10506-007-9055-z","volume":"16","author":"N. Fornara","year":"2008","unstructured":"Fornara, N., Vigan\u00f2, F., Verdicchio, M., Colombetti, M.: Artificial institutions: a model of institutional reality for open multiagent systems. Artif. Intell. Law\u00a016(1), 89\u2013105 (2008)","journal-title":"Artif. Intell. Law"},{"issue":"1","key":"5_CR22","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.W.: Constraint rule-based 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"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-79488-2_1","volume-title":"Agent-Oriented Software Engineering VIII","author":"J.C. Garcia-Ojeda","year":"2008","unstructured":"Garcia-Ojeda, J.C., DeLoach, S.A., Robby, Oyenan, W.H., Valenzuela, J.L.: O-maSE: A customizable approach to developing multiagent development processes. In: Luck, M., Padgham, L. (eds.) Agent-Oriented Software Engineering VIII. LNCS, vol.\u00a04951, pp. 1\u201315. Springer, Heidelberg (2008)"},{"key":"5_CR24","unstructured":"Garion, C., Roussel, S., Cholvy, L.: A modal logic for reasoning on consistency and completeness of regulations. In: Boella, G., et al. (eds.) [5]"},{"key":"5_CR25","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-Driven Answer Set Solving. In: Proceeding of IJCAI 2007, pp. 386\u2013392 (2007)"},{"issue":"3-4","key":"5_CR26","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a09(3-4), 365\u2013386 (1991)","journal-title":"New Generation Computing"},{"key":"5_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/978-3-642-16867-3_6","volume-title":"Computational Logic in Multi-Agent Systems","author":"L. Hopton","year":"2010","unstructured":"Hopton, L., Cliffe, O., De Vos, M., Padget, J.: Instql: A query language for virtual institutions using answer set programming. In: Dix, J., Fisher, M., Nov\u00e1k, P. (eds.) CLIMA X. LNCS, vol.\u00a06214, pp. 102\u2013121. Springer, Heidelberg (2010)"},{"issue":"3\/4","key":"5_CR28","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1504\/IJAOSE.2007.016266","volume":"1","author":"J.F. H\u00fcbner","year":"2007","unstructured":"H\u00fcbner, J.F., Sichman, J.S., Boissier, O.: Developing organised multiagent systems using the moise. IJAOSE\u00a01(3\/4), 370\u2013395 (2007)","journal-title":"IJAOSE"},{"key":"5_CR29","unstructured":"Searle, J.R.: The Construction of Social Reality. Allen Lane, The Penguin Press (1995)"},{"issue":"4es","key":"5_CR30","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1145\/242224.242380","volume":"28","author":"A.J.I. Jones","year":"1996","unstructured":"Jones, A.J.I., Sergot, M.: A Formal Characterisation of Institutionalised Power. ACM Computing Surveys\u00a028(4es), 121 (1996) (read 28\/11\/2004)","journal-title":"ACM Computing Surveys"},{"key":"5_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-642-04238-6_16","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Kimber","year":"2009","unstructured":"Kimber, T., Broda, K., Russo, A.: Induction on failure: Learning connected horn theories. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 169\u2013181. Springer, Heidelberg (2009)"},{"key":"5_CR32","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-540-74459-7_16","volume-title":"Coordination, Organizations, Institutions, and Norms in Agent Systems II","author":"M. Kollingbaum","year":"2007","unstructured":"Kollingbaum, M., Norman, T., Preece, A., Sleeman, D.: Norm conflicts and inconsistencies in virtual organisations. In: Noriega, P., V\u00e1zquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006. LNCS (LNAI), vol.\u00a04386, pp. 245\u2013258. Springer, Heidelberg (2007)"},{"key":"5_CR33","unstructured":"Lavra\u010d, N., D\u017eeroski, S.: Inductive Logic Programming: Techniques and Applications. Ellis Horwood (1994)"},{"issue":"3&4","key":"5_CR34","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S. Muggleton","year":"1995","unstructured":"Muggleton, S.: Inverse entailment and progol. New Gen. Comp.\u00a013(3&4), 245\u2013286 (1995)","journal-title":"New Gen. Comp."},{"key":"5_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/3-540-63255-7_32","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"I. Niemel\u00e4","year":"1997","unstructured":"Niemel\u00e4, I., Simons, P.: Smodels: An implementation of the stable model and well-founded semantics for normal LP. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 420\u2013429. Springer, Heidelberg (1997)"},{"key":"5_CR36","unstructured":"Okouya, D., Dignum, V.: Operetta: a prototype tool for the design, analysis and development of multi-agent organizations. In: AAMAS (Demos), pp. 1677\u20131678. IFAAMAS (2008)"},{"key":"5_CR37","unstructured":"Rodriguez-Aguilar, J.A.: On the Design and Construction of Agent-mediated Institutions. PhD thesis, Universitat Autonom\u00e1 de Barcelona (2001)"},{"key":"5_CR38","series-title":"Lecture Notes in Artificial Intelligence","first-page":"62","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C. Sakama","year":"2001","unstructured":"Sakama, C.: Nonmonotonic inductive logic programming. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, p. 62. Springer, Heidelberg (2001)"},{"key":"5_CR39","unstructured":"Savarimuthu, B.T.R., Cranefield, S.: A categorization of simulation works on norms. In: Boella, G., et al. (eds.) [5]"},{"key":"5_CR40","unstructured":"Sergot, M.: (C+)++: An Action Language For Representing Norms and Institutions. Technical report, Imperial College, London (August 2004)"},{"key":"5_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/978-3-642-14962-7_20","volume-title":"Coordination, Organizations, Institutions and Norms in Agent Systems V","author":"J.M. Serrano","year":"2010","unstructured":"Serrano, J.M., Saugar, S.: Dealing with incomplete normative states. 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. 304\u2013319. Springer, Heidelberg (2010)"},{"key":"5_CR42","unstructured":"Sierra, C., Castelfranchi, C., Decker, K.S., Sichman, J.S. (eds.): AAMAS. IFAAMAS (2009)"},{"key":"5_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/10722777_3","volume-title":"Issues in Agent Communication","author":"M.P. Singh","year":"2000","unstructured":"Singh, M.P.: A social semantics for agent communication languages. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol.\u00a01916, pp. 31\u201345. Springer, Heidelberg (2000)"},{"key":"5_CR44","doi-asserted-by":"crossref","unstructured":"Vasconcelos, W., Kollingbaum, M., Norman, T.: Resolving conflict and inconsistency in norm-regulated virtual organizations. In: Durfee, E.H., Yokoo, M., Huhns, M.N., Shehory, O. (eds.) AAMAS, p. 91. IFAAMAS (2007)","DOI":"10.1145\/1329125.1329236"}],"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_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T03:32:29Z","timestamp":1560223949000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21268-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642212673","9783642212680"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21268-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}