{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T09:12:41Z","timestamp":1773133961593,"version":"3.50.1"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2016,10,22]],"date-time":"2016-10-22T00:00:00Z","timestamp":1477094400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1007\/s10849-016-9244-9","type":"journal-article","created":{"date-parts":[[2016,10,22]],"date-time":"2016-10-22T10:18:27Z","timestamp":1477131507000},"page":"273-297","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["AGM Contraction and Revision of Rules"],"prefix":"10.1007","volume":"25","author":[{"given":"Guido","family":"Boella","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriella","family":"Pigozzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leendert","family":"van der Torre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,22]]},"reference":[{"key":"9244_CR1","unstructured":"Alchourr\u00f3n, C. E., & Makinson, D. (1981). Hierarchies of regulations and their logic in Hilpinen, pp. 125\u2013148."},{"key":"9244_CR2","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1111\/j.1755-2567.1982.tb00480.x","volume":"48","author":"CE Alchourr\u00f3n","year":"1982","unstructured":"Alchourr\u00f3n, C. E., & Makinson, D. (1982). On the logic of theory change: Contraction functions and their associated revision functions. Theoria, 48, 14\u201337.","journal-title":"Theoria"},{"issue":"2","key":"9244_CR3","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"CE Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C. E., G\u00e4rdenfors, P., & Makinson, D. (1985). On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50(2), 510\u2013530.","journal-title":"Journal of Symbolic Logic"},{"key":"9244_CR4","doi-asserted-by":"crossref","unstructured":"Billington, D., Antoniou, G., Governatori, G., & Maher, M. (1999). Revising non-monotonic belief sets: The case of defeasible logic. In: KI-99: Advances in artificial intelligence, Berlin: Springer, pp. 101\u2013112.","DOI":"10.1007\/3-540-48238-5_8"},{"key":"9244_CR5","unstructured":"Boella, G., Pigozzi, G., & van\u00a0der Torre, L. (2009). Normative framework for normative system change. In: 8th International joint conference on autonomous agents and multiagent systems (AAMAS 2009), Budapest, Hungary, May 10\u201315, vol. 1, pp. 169\u2013176."},{"key":"9244_CR6","doi-asserted-by":"crossref","unstructured":"Corapi, D., De Vos, M., Padget, J., Russo, A., & Satoh, K. (2011). Norm refinement and design through inductive learning. In M. De Vos, N. Fornara, J. Pitt, & G. Vouros (Eds.), Coordination, organizations, institutions, and norms in agent systems VI (vol. 6541, pp. 77\u201394). Lecture Notes in Computer Science Berlin Heidelberg: Springer.","DOI":"10.1007\/978-3-642-21268-0_5"},{"key":"9244_CR7","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1017\/S1471068410000281","volume":"10","author":"J Delgrande","year":"2010","unstructured":"Delgrande, J. (2010). A program-level approach to revising logic programs under the answer set semantics. Theroy and Practice of Logic Programming, 10, 565\u2013580.","journal-title":"Theroy and Practice of Logic Programming"},{"key":"9244_CR8","unstructured":"Delgrande, J., Schaub, T., Tompits, H., & Woltran, S. (2008). Belief revision of logic programs under answer set semantics. In G. Brewka, J. Lang (Eds.), (pp. 411\u2013421). KR: AAAI Press."},{"issue":"1","key":"9244_CR9","first-page":"381","volume":"30","author":"P G\u00e4rdenfors","year":"1978","unstructured":"G\u00e4rdenfors, P. (1978). Conditionals and changes of belief. Acta Philosophica Fennica, 30(1), 381\u2013404.","journal-title":"Acta Philosophica Fennica"},{"key":"9244_CR10","doi-asserted-by":"crossref","unstructured":"G\u00e4rdenfors, P., & Rott, H. (1995). Belief revision. In: D. M.\u00a0Gabbay, C. J. Hogger, & J. Robinson (Eds.) Handbook of logic in artificial intelligence and logic programming. vol. IV: Epistemic and temporal reasoning. Oxford: Oxford University Press, pp. 35\u2013132.","DOI":"10.1093\/oso\/9780198537915.003.0002"},{"key":"9244_CR11","unstructured":"Governatori, G., & DiGiusto, P. (1999). Modifying is better than deleting: A new approach to base revision. In: E. Lamma, & P. Mello (Eds.) AI*IA 99, Pitagora, pp. 145\u2013154."},{"key":"9244_CR12","doi-asserted-by":"crossref","unstructured":"Governatori, G., & Rotolo, A. (2010). Changing legal systems: Legal abrogations and annulments in defeasible logic. Logic Journal of IGPL 18(1):157\u2013194, http:\/\/jigpal.oxfordjournals.org\/cgi\/content\/abstract\/jzp075v1","DOI":"10.1093\/jigpal\/jzp075"},{"key":"9244_CR13","doi-asserted-by":"crossref","unstructured":"Governatori, G., Rotolo, A., Olivieri, F., & Scannapieco, S. (2013). Legal contractions: a logical analysis. In E. Francesconi & B. Verheij (Eds.) (pp. 63\u201372). ACM: ICAIL.","DOI":"10.1145\/2514601.2514609"},{"key":"9244_CR14","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A Grove","year":"1988","unstructured":"Grove, A. (1988). Two modellings for theory change. Journal of Philosophical Logic, 17, 157\u2013170.","journal-title":"Journal of Philosophical Logic"},{"key":"9244_CR15","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1007\/BF01054039","volume":"22","author":"S Hansson","year":"1993","unstructured":"Hansson, S. (1993). Reversing the Levi identity. Journal of Philosophical Logic, 22, 637\u2013669.","journal-title":"Journal of Philosophical Logic"},{"key":"9244_CR16","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. (2000). Input\u2013output logics. Journal of Philosophical Logic, 29, 383\u2013408.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"9244_CR17","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1023\/A:1017599526096","volume":"30","author":"D Makinson","year":"2001","unstructured":"Makinson, D., & van der Torre, L. (2001). Constraints for input\u2013output logics. Journal of Philosophical Logic, 30(2), 155\u2013185.","journal-title":"Journal of Philosophical Logic"},{"issue":"4","key":"9244_CR18","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1023\/A:1024806529939","volume":"32","author":"D Makinson","year":"2003","unstructured":"Makinson, D., & van der Torre, L. (2003). Permissions from an input\u2013output perspective. Journal of Philosophical Logic, 32(4), 391\u2013416.","journal-title":"Journal of Philosophical Logic"},{"key":"9244_CR19","doi-asserted-by":"crossref","unstructured":"Nute, D. (1984). Conditional logic. In: Handbook of philosophical logic, synthese library, vol. 165, Berlin: Springer, pp. 387\u2013439.","DOI":"10.1007\/978-94-009-6259-0_8"},{"key":"9244_CR20","first-page":"499","volume-title":"Handbook of deontic logic and normative systems","author":"X Parent","year":"2013","unstructured":"Parent, X., & van der Torre, L. (2013). Input\/output logics. In D. Gabbay, J. Horty, X. Parent, R. van der Meyden, & L. van der Torre (Eds.), Handbook of deontic logic and normative systems (pp. 499\u2013544). London: College Publications."},{"key":"9244_CR21","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/s10506-010-9097-5","volume":"18","author":"A Stolpe","year":"2010","unstructured":"Stolpe, A. (2010). Norm-system revision: Theory and application. Artificial Intelligence and Law, 18, 247\u2013283.","journal-title":"Artificial Intelligence and Law"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-016-9244-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-016-9244-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-016-9244-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,20]],"date-time":"2024-06-20T03:50:41Z","timestamp":1718855441000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-016-9244-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,22]]},"references-count":21,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2016,12]]}},"alternative-id":["9244"],"URL":"https:\/\/doi.org\/10.1007\/s10849-016-9244-9","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,10,22]]}}}