{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:58Z","timestamp":1761611278576},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,3,11]],"date-time":"2011-03-11T00:00:00Z","timestamp":1299801600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Minds & Machines"],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1007\/s11023-011-9243-1","type":"journal-article","created":{"date-parts":[[2011,3,10]],"date-time":"2011-03-10T13:36:36Z","timestamp":1299764196000},"page":"411-430","source":"Crossref","is-referenced-by-count":12,"title":["NO Revision and NO Contraction"],"prefix":"10.1007","volume":"21","author":[{"given":"Gregory","family":"Wheeler","sequence":"first","affiliation":[]},{"given":"Marco","family":"Alberti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,3,11]]},"reference":[{"issue":"2","key":"9243_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C., G\u00e4rdenfors P., & Makinson D. C. (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":"9243_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal logic. New York: Cambridge University Press."},{"key":"9243_CR3","unstructured":"Boella, G., Pigozzi, G., van der Torre, L. (2009). Normative framework for normative system change. In D. Sichman, C. Sierra, & C. Castelfranchi (Eds.), Proceedings of the 8th international conference on autonomous agents and multiagent systems (AAMAS 2009), (pp. 169\u2013176)."},{"key":"9243_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Model logic","author":"B. Chellas","year":"1980","unstructured":"Chellas, B. (1980). Model logic. Cambridge: Cambridge University Press."},{"key":"9243_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(96)00038-0","volume":"89","author":"A. Darwiche","year":"1997","unstructured":"Darwiche, A., & Pearl, J. (1997). On the logic of iterated belief revision. Artificial Intelligence 89, 1\u201329.","journal-title":"Artificial Intelligence"},{"key":"9243_CR6","doi-asserted-by":"crossref","unstructured":"Dixon, S., & Wobcke, W. (1993). The implementation of a first-order logic AGM belief revision system. In Proceedings of the fifth IEEE international conference on tools in artificial intelligence, (pp. 40\u201347). IEEE Computer Society Press.","DOI":"10.1109\/TAI.1993.633934"},{"issue":"3","key":"9243_CR7","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1017\/S1755020308080246","volume":"1","author":"D. Gabbay","year":"2008","unstructured":"Gabbay, D., Rodrigues, O., & Russo, A. (2008). Belief revision in non-classical logics. The Review of Symbolic Logic 1(3), 267\u2013304.","journal-title":"The Review of Symbolic Logic"},{"key":"9243_CR8","unstructured":"G\u00e4rdenfors, P., & Makinson, D. C. (1988). Revisions of knowledge systems using epistemic entrenchment. In The 2nd conference on theoretical aspects of reasoning about knowledge (TARK) (pp. 83\u201396)."},{"key":"9243_CR9","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","volume":"2","author":"V. Goranko","year":"1992","unstructured":"Goranko, V., & Passy, S. (1992). Using the universal modality: Gains and questions. Journal of Logic and Computation 2, 5\u201330.","journal-title":"Journal of Logic and Computation"},{"key":"9243_CR10","doi-asserted-by":"crossref","unstructured":"Governatori, G., & Rotolo, A. (2010). Changing legal systems: Legal abrogations and annulments in defeasible logic. Logic Journal of the IGPL.","DOI":"10.1093\/jigpal\/jzp075"},{"key":"9243_CR11","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":"9243_CR12","volume-title":"Probabilistic logic and probabilistic networks synthese library","author":"R. Haenni","year":"2010","unstructured":"Haenni, R., Romeyn, J. -W., Wheeler, & G., Williamson, J. (2010). Probabilistic logic and probabilistic networks. Synthese library. Dordrecht: Springer."},{"key":"9243_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-007-0814-3","volume-title":"A textbook of belief dynamics: Theory change and database updating","author":"S. O. Hansson","year":"1999","unstructured":"Hansson, S. O. (1999). A textbook of belief dynamics: Theory change and database updating. Berlin: Kluwer Academic Publishers."},{"issue":"1","key":"9243_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.artint.2006.11.002","volume":"171","author":"Y. Jin","year":"2007","unstructured":"Jin, Y., & Thielscher, M. (2007). Iterated belief revision, revised. Artificial Intelligence 171(1), 1\u201318.","journal-title":"Artificial Intelligence"},{"key":"9243_CR15","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1007\/BF00666538","volume":"7","author":"J. Jorgensen","year":"1937","unstructured":"Jorgensen, J. (1937). Imperatives and logic. Erkenntnis 7, 288\u2013296.","journal-title":"Erkenntnis"},{"key":"9243_CR16","unstructured":"Katsuno, H., & Mendelzon, A. (1991). On the difference between updating a knowledge base and revising it. In The 2nd international conference on the principles of knowledge representation and reasoning (KR 1991) (pp. 387\u2013394)."},{"issue":"4","key":"9243_CR17","doi-asserted-by":"crossref","first-page":"638","DOI":"10.1016\/j.jal.2006.03.014","volume":"5","author":"H. E. Kyburg Jr.","year":"2007","unstructured":"Kyburg, H. E. Jr., Teng, C. M., & Wheeler, G. (2007). Conditionals and consequences. Journal of Applied Logic 5(4), 638\u2013650.","journal-title":"Journal of Applied Logic"},{"key":"9243_CR18","doi-asserted-by":"crossref","DOI":"10.1093\/0199270708.001.0001","volume-title":"Mild contraction","author":"I. Levi","year":"2004","unstructured":"Levi, I. (2004). Mild contraction. Oxford: Clarendon Press."},{"issue":"2","key":"9243_CR19","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1023\/A:1017599526096","volume":"30","author":"D. C. Makinson","year":"2000","unstructured":"Makinson, D. C., & van der Torre, L. (2000). Input-output logics. Journal of Philosophical Logic 30(2), 155\u2013185.","journal-title":"Journal of Philosophical Logic"},{"key":"9243_CR20","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1023\/A:1017599526096","volume":"30","author":"D. C. Makinson","year":"2001","unstructured":"Makinson, D. C., & van der Torre, L. (2001). Constraints for input\/output logics. Journal of Philosophical Logic 30, 155\u2013185.","journal-title":"Journal of Philosophical Logic"},{"key":"9243_CR21","unstructured":"Makinson, D. C., & van der Torre, L. (2007). What is input\/output logic? input\/output logic, constraints, permissions. In G. Boella, L. van der Torre, & H. Verhagen, (Eds.), Normative multi-agent systems, number 07122 in Dagstuhl seminar proceedings, Dagstuhl, Germany, 2007. Internationales Begegnungs und Forschungszentrum f\u00fcr Informatik (IBFI)."},{"key":"9243_CR22","volume-title":"Handbook of logic in artificial intelligence and logic programming (Vol. 3","author":"D. Nute","year":"1994","unstructured":"Nute, D. (1994). Defeasible logic. In G. Dov, C. Hogger, J. Robinson (Eds.), Handbook of logic in artificial intelligence and logic programming (Vol. 3). New York: Oxford University Press."},{"key":"9243_CR23","unstructured":"Pagnucco, M., & Rott, H. (1999). Severe withdrawal\u2014and recovery. Journal of Philosophical Logic 28, 501\u2013547. (Re-printed with corrections to publisher\u2019s errors in February 2000)."},{"key":"9243_CR24","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"Poole, D. (1988). A logical framework for default reasoning. Artificial Intelligence 36, 27\u201347.","journal-title":"Artificial Intelligence"},{"key":"9243_CR25","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R. (1980). A logic for default reasoning. Artificial Intelligence 13, 81\u2013132.","journal-title":"Artificial Intelligence"},{"key":"9243_CR26","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198503064.001.0001","volume-title":"Change choice and inference","author":"H. Rott","year":"2001","unstructured":"Rott, H. (2001). Change choice and inference. Oxford: Oxford University Press."},{"key":"9243_CR27","first-page":"105","volume-title":"Causation in decision, belief change and statistics (Vol. 2)","author":"W. Spohn","year":"1987","unstructured":"Spohn, W. (1987). Ordinal conditional functions: A dynamic theory of epistemic states. In W. L. Harper, & B. Skyrms, (Eds.), Causation in decision, belief change and statistics (Vol. 2, pp. 105\u2013134.). Dordrecht: Reidel."},{"key":"9243_CR28","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/j.jal.2010.01.001","volume":"8","author":"A. Stolpe","year":"2010","unstructured":"Stolpe, A. (2010). A theory of permission based on the notion of derogation. Journal of Applied Logic 8, 97\u2013113.","journal-title":"Journal of Applied Logic"},{"key":"9243_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic epistemic logic","author":"H. Ditmarsch van","year":"2008","unstructured":"van Ditmarsch, H., van der Hoek, W., B., & Kooi, B. (2008). Dynamic Epistemic Logic. Berlin: Synthese Library, Springer."},{"key":"9243_CR30","unstructured":"Wheeler, G. (2010). AGM belief revision in monotone modal logics. In: E. D. Clarke, & A. Voronkov, (Eds.), International conference on logic for programming, artificial intelligence, and reasoning (LPAR-16) short paper proceedings, Dakar, Senegal, 2010."}],"container-title":["Minds and Machines"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-011-9243-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11023-011-9243-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-011-9243-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,5]],"date-time":"2024-04-05T03:11:17Z","timestamp":1712286677000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11023-011-9243-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,11]]},"references-count":30,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,8]]}},"alternative-id":["9243"],"URL":"https:\/\/doi.org\/10.1007\/s11023-011-9243-1","relation":{},"ISSN":["0924-6495","1572-8641"],"issn-type":[{"value":"0924-6495","type":"print"},{"value":"1572-8641","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,3,11]]}}}