{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T23:47:46Z","timestamp":1743032866099,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642378898"},{"type":"electronic","value":"9783642378904"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37890-4_1","type":"book-chapter","created":{"date-parts":[[2013,4,15]],"date-time":"2013-04-15T01:53:10Z","timestamp":1365990790000},"page":"1-19","source":"Crossref","is-referenced-by-count":4,"title":["Handling Change in Normative Specifications"],"prefix":"10.1007","author":[{"given":"Duangtida","family":"Athakravi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Domenico","family":"Corapi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Russo","sequence":"additional","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":"Ken","family":"Satoh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-540-74459-7_7","volume-title":"Coordination, Organizations, Institutions, and Norms in Agent Systems II","author":"D. Grossi","year":"2007","unstructured":"Grossi, D., Aldewereld, H., Dignum, F.: Ubi Lex, Ibi Poena: Designing Norm Enforcement in E-Institutions. In: Noriega, P., V\u00e1zquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006 Workshops. LNCS (LNAI), vol.\u00a04386, pp. 101\u2013114. Springer, Heidelberg (2007)"},{"key":"1_CR2","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 VII. LNCS (LNAI), vol.\u00a04371, pp. 60\u201379. Springer, Heidelberg (2007)"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Artikis, A., Sergot, M., Pitt, J.: An executable specification of an argumentation protocol. In: Proceedings of Conference on Artificial Intelligence and Law, ICAIL, pp. 1\u201311. ACM Press (2003)","DOI":"10.1145\/1047788.1047790"},{"issue":"4-5","key":"1_CR4","first-page":"783","volume":"11","author":"D. Corapi","year":"2011","unstructured":"Corapi, D., Russo, A., Vos, M.D., Padget, J.A., Satoh, K.: Normative design using inductive learning. TPLP\u00a011(4-5), 783\u2013799 (2011)","journal-title":"TPLP"},{"key":"1_CR5","unstructured":"Searle, J.R.: A Construction of Social Reality. Allen Lane, The Penguin Press (1955)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Jones, A.J., Sergot, M.: A Formal Characterisation of Institutionalised Power. ACM Computing Surveys 28(4es), 121 (1996) (read November 28, 2004)","DOI":"10.1145\/242224.242380"},{"issue":"3-4","key":"1_CR7","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":"1_CR8","doi-asserted-by":"crossref","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gen. Comput. 4(1), 67\u201395 (1986)","DOI":"10.1007\/BF03037383"},{"key":"1_CR9","first-page":"193","volume":"2","author":"M. Gelfond","year":"1998","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. Electron. Trans. Artif. Intell.\u00a02, 193\u2013210 (1998)","journal-title":"Electron. Trans. Artif. Intell."},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-540-89982-2_23","volume-title":"Logic Programming","author":"M. Gebser","year":"2008","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: Engineering an Incremental ASP Solver. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 190\u2013205. Springer, Heidelberg (2008)"},{"key":"1_CR11","unstructured":"Wrobel, S.: First order theory refinement (1996)"},{"issue":"2","key":"1_CR12","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1145\/1055686.1055687","volume":"6","author":"C. Sakama","year":"2005","unstructured":"Sakama, C.: Induction from answer sets in nonmonotonic logic programs. ACM Trans. Comput. Log.\u00a06(2), 203\u2013231 (2005)","journal-title":"ACM Trans. Comput. Log."},{"key":"1_CR13","unstructured":"Corapi, D.: Nonmonotonic Inductive Logic Programming as Abductive Search. PhD thesis, Imperial College London (2012)"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-642-31951-8_12","volume-title":"Inductive Logic Programming","author":"D. Corapi","year":"2012","unstructured":"Corapi, D., Russo, A., Lupu, E.: Inductive Logic Programming in Answer Set Programming. In: Muggleton, S.H., Tamaddoni-Nezhad, A., Lisi, F.A. (eds.) ILP 2011. LNCS, vol.\u00a07207, pp. 91\u201397. Springer, Heidelberg (2012)"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Mcilraith, S.: Generating tests using abduction. In: Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning, KR 1994, pp. 449\u2013460. Morgan Kaufmann (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50137-8"},{"issue":"6","key":"1_CR16","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A.C. Kakas","year":"1992","unstructured":"Kakas, A.C., Kowalski, R., Toni, F.: Abductive logic programming. Journal of Logic and Computation\u00a02(6), 719\u2013770 (1992)","journal-title":"Journal of Logic and Computation"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/BF00127412","volume":"10","author":"C.E. Alchourr\u00f3n","year":"1991","unstructured":"Alchourr\u00f3n, C.E.: Conflicts of norms and the revision of normative systems. Law and Philosophy\u00a010, 413\u2013425 (1991), doi:10.1007\/BF00127412","journal-title":"Law and Philosophy"},{"issue":"4","key":"1_CR18","doi-asserted-by":"crossref","first-page":"756","DOI":"10.1086\/293232","volume":"100","author":"E. Ullmann-Margalit","year":"1990","unstructured":"Ullmann-Margalit, E.: Revision of norms. Ethics 100(4), 756\u2013767 (1990) Article Stable, \n                      http:\/\/www.jstor.org\/stable\/2381777\n                     (retrieved March 20, 2012)","journal-title":"Ethics"},{"key":"1_CR19","unstructured":"Boella, G., van der Torre, L.W.N.: Regulative and constitutive norms in normative multiagent systems. In: Dubois, D., Welty, C.A., Williams, M.A. (eds.) KR, pp. 255\u2013266. AAAI Press (2004)"},{"issue":"1","key":"1_CR20","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1093\/jigpal\/jzp075","volume":"18","author":"G. Governatori","year":"2010","unstructured":"Governatori, G., Rotolo, A.: Changing legal systems: legal abrogations and annulments in defeasible logic. Logic Journal of the IGPL\u00a018(1), 157\u2013194 (2010)","journal-title":"Logic Journal of the IGPL"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Artikis, A.: Dynamic protocols for open agent systems. In: Sierra, C., Castelfranchi, C., Decker, K.S., Sichman, J.S. (eds.) AAMAS (1), pp. 97\u2013104. IFAAMAS (2009)","DOI":"10.1145\/1568234.1568243"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-642-00443-8_9","volume-title":"Coordination, Organizations, Institutions and Norms in Agent Systems IV","author":"J. Campos","year":"2009","unstructured":"Campos, J., L\u00f3pez-S\u00e1nchez, M., Rodr\u00edguez-Aguilar, J.A., Esteva, M.: Formalising Situatedness and Adaptation in Electronic Institutions. In: H\u00fcbner, J.F., Matson, E., Boissier, O., Dignum, V. (eds.) COIN 2008. LNCS, vol.\u00a05428, pp. 126\u2013139. Springer, Heidelberg (2009)"},{"key":"1_CR23","unstructured":"Tinnemeier, N.A.M., Dastani, M., Meyer, J.J.C.: Programming norm change. In: van der Hoek, W., Kaminka, G.A., Lesp\u00e9rance, Y., Luck, M., Sen, S. (eds.) AAMAS, pp. 957\u2013964. IFAAMAS (2010)"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Gabbay, D.M., Rodrigues, O., Russo, A.: Revision, Acceptability and Context - Theoretical and Algorithmic Aspects. Cognitive Technologies. Springer (2010)","DOI":"10.1007\/978-3-642-14159-1"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies X"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37890-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T11:45:11Z","timestamp":1676807111000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-37890-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642378898","9783642378904"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37890-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}