{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T10:59:05Z","timestamp":1776941945672,"version":"3.51.4"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,5,31]],"date-time":"2011-05-31T00:00:00Z","timestamp":1306800000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2012,2]]},"DOI":"10.1007\/s10992-011-9200-8","type":"journal-article","created":{"date-parts":[[2011,5,30]],"date-time":"2011-05-30T12:41:17Z","timestamp":1306759277000},"page":"77-113","source":"Crossref","is-referenced-by-count":34,"title":["Prioritized and Non-prioritized Multiple Change on Belief Bases"],"prefix":"10.1007","volume":"41","author":[{"given":"Marcelo A.","family":"Falappa","sequence":"first","affiliation":[]},{"given":"Gabriele","family":"Kern-Isberner","sequence":"additional","affiliation":[]},{"given":"Maur\u00edcio D. L.","family":"Reis","sequence":"additional","affiliation":[]},{"given":"Guillermo R.","family":"Simari","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,5,31]]},"reference":[{"key":"9200_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. (1985). On the logic of theory change: Partial meet contraction and revision functions. The Journal of Symbolic Logic, 50, 510\u2013530.","journal-title":"The Journal of Symbolic Logic"},{"key":"9200_CR2","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BF00373274","volume":"45","author":"C Alchourr\u00f3n","year":"1986","unstructured":"Alchourr\u00f3n, C., & Makinson, D. (1986). Maps between different kinds of contraction function: The finite case. Studia Logica, 45, 187\u2013198.","journal-title":"Studia Logica"},{"key":"9200_CR3","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1613\/jair.2754","volume":"36","author":"M Bienvenu","year":"2009","unstructured":"Bienvenu, M. (2009). Prime implicates and prime implicants: From propositional to modal logic. Journal Artificial Intelligence Research (JAIR), 36, 71\u2013128.","journal-title":"Journal Artificial Intelligence Research (JAIR)"},{"key":"9200_CR4","doi-asserted-by":"crossref","unstructured":"Bienvenu, M., Herzig, A., & Qi, G. (2008). Prime implicate-based belief revision operators. In 18th European conference on artificial intelligence, ECAI\u20192008 (pp.\u00a0741\u2013742).","DOI":"10.3233\/978-1-58603-891-5-741"},{"key":"9200_CR5","unstructured":"Bittencourt, G., Perrussel, L., & Marchi, J. (2004). A syntactical approach to revision. In 16th Eureopean conference on artificial intelligence, ECAI\u20192004 (pp. 788\u2013792)."},{"key":"9200_CR6","unstructured":"Darwiche, A., & Marquis, P. (2001). A perspective on knowledge compilation. In Seventeenth international joint conference on artificial intelligence, IJCAI 2001 (pp. 175\u2013182)."},{"key":"9200_CR7","unstructured":"Delgrande, J.\u00a0P., Schaub, T., Tompits, H., & Woltran, S. (2008). Belief revision of logic programs under answer set semantics. In G. Brewka, & Lang, J. (Eds.), Proceedings of the eleventh international conference, KR 2008 (pp. 411\u2013421). AAAI Press."},{"key":"9200_CR8","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J Doyle","year":"1979","unstructured":"Doyle, J. (1979). A truth maintenance system. Artificial Intelligence, 12, 231\u2013272.","journal-title":"Artificial Intelligence"},{"key":"9200_CR9","doi-asserted-by":"crossref","unstructured":"Doyle, J. (1992). Reason maintenance and belief revision: Foundations versus coherence theories. In P. G\u00e4rdenfors (Ed.), Belief revision (pp. 29\u201351). Cambridge University Press.","DOI":"10.1017\/CBO9780511526664.002"},{"key":"9200_CR10","unstructured":"Falappa, M.\u00a0A., Ferm\u00e9, E.\u00a0L., & Kern-Isberner, G. (2006). On the logic of theory change: Relations between incision and selection functions. In Proceedings of ECAI 2006 (pp. 402\u2013406)."},{"key":"9200_CR11","unstructured":"Falappa, M.\u00a0A., Garc\u00eda, A.\u00a0J., & Simari, G.\u00a0R. (2004). Belief dynamics and defeasible argumentation in rational agents. In Proceedings of NMR 2004 (pp. 164\u2013170)."},{"key":"9200_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(02)00258-8","volume":"141","author":"MA Falappa","year":"2002","unstructured":"Falappa, M.\u00a0A., Kern-Isberner, G., & Simari, G.\u00a0R. (2002). Belief Revision, Explanations and Defeasible Reasoning. Artificial Intelligence Journal, 141, 1\u201328.","journal-title":"Artificial Intelligence Journal"},{"key":"9200_CR13","first-page":"341","volume-title":"Belief revision and argumentation theory","author":"MA Falappa","year":"2009","unstructured":"Falappa, M.\u00a0A., Kern-Isberner, G., & Simari, G.\u00a0R. (2009). Argumentation in artificial intelligence. In I. Rahwan, G.\u00a0R. Simari (Eds.), Belief revision and argumentation theory (pp. 341\u2013360). New York: Springer."},{"key":"9200_CR14","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1023\/A:1005294718935","volume":"63","author":"EL Ferm\u00e9","year":"1998","unstructured":"Ferm\u00e9, E.\u00a0L., & Hansson, S.\u00a0O. (1998). Selective revision. Studia Logica, 63, 331\u2013342.","journal-title":"Studia Logica"},{"issue":"2","key":"9200_CR15","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1023\/A:1022927828817","volume":"73","author":"EL Ferm\u00e9","year":"2003","unstructured":"Ferm\u00e9, E.\u00a0L., Saez, K., & Sanz, P. (2003). Multiple kernel contraction. Studia Logica, 73(2), 183\u2013195.","journal-title":"Studia Logica"},{"issue":"4","key":"9200_CR16","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1023\/A:1008314832430","volume":"8","author":"N Friedman","year":"1999","unstructured":"Friedman, N., & Halpern, J. (1999). Belief revision: A critique. Journal of Logic, Language and Information, 8(4), 401\u2013420.","journal-title":"Journal of Logic, Language and Information"},{"key":"9200_CR17","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BF00284974","volume":"20","author":"A Fuhrmann","year":"1991","unstructured":"Fuhrmann, A. (1991). Theory contraction through base contraction. The Journal of Philosophical Logic, 20, 175\u2013203.","journal-title":"The Journal of Philosophical Logic"},{"key":"9200_CR18","volume-title":"An essay on contraction. Studies in logic, language and information","author":"A Fuhrmann","year":"1997","unstructured":"Fuhrmann, A. (1997). An essay on contraction. Studies in logic, language and information. Stanford, California: CSLI Publications."},{"key":"9200_CR19","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF01066356","volume":"3","author":"A Fuhrmann","year":"1994","unstructured":"Fuhrmann, A., & Hansson, S.\u00a0O. (1994). A survey of multiple contractions. The Journal of Logic, Language and Information, 3, 39\u201376.","journal-title":"The Journal of Logic, Language and Information"},{"issue":"1","key":"9200_CR20","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1017\/S1471068403001674","volume":"4","author":"AJ Garc\u00eda","year":"2004","unstructured":"Garc\u00eda, A.\u00a0J., & Simari, G.\u00a0R. (2004). Defeasible logic programming: An argumentative approach. Theory and Practice of Logic Programming, 4(1), 95\u2013138.","journal-title":"Theory and Practice of Logic Programming"},{"key":"9200_CR21","unstructured":"G\u00e4rdenfors, P. (1982). Rules for rational changes of belief. In Philosophical essays dedicated to L. \u00c5qvist (pp. 88\u2013101)."},{"key":"9200_CR22","volume-title":"Knowledge in Flux: Modelling the Dynamics of Epistemic States","author":"P G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P. (1988). Knowledge in Flux: Modelling the Dynamics of Epistemic States. Cambridge, Massachusetts: The MIT Press, Bradford Books."},{"key":"9200_CR23","unstructured":"G\u00e4rdenfors, P., & Makinson, D. (1988). Revisions of knowledge systems using epistemic entrenchment. In Second conference on theoretical aspects of reasoning about knowledge (pp. 83\u201395)."},{"key":"9200_CR24","unstructured":"Hansson, S.\u00a0O. (1991). Belief base dynamics. Ph.D. thesis, Uppsala University, Department of Philosophy, Uppsala, Sweden."},{"key":"9200_CR25","doi-asserted-by":"crossref","unstructured":"Hansson, S.\u00a0O. (1992). A dyadic representation of belief. In P. G\u00e4rdenfors (Ed.), Belief revision (pp. 89\u2013121). Cambridge University Press.","DOI":"10.1017\/CBO9780511526664.004"},{"key":"9200_CR26","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1007\/BF01054039","volume":"22","author":"SO Hansson","year":"1993","unstructured":"Hansson, S.\u00a0O. (1993). Reversing the Levi identity. The Journal of Philosophical Logic, 22, 637\u2013669.","journal-title":"The Journal of Philosophical Logic"},{"key":"9200_CR27","doi-asserted-by":"crossref","first-page":"845","DOI":"10.2307\/2275912","volume":"59","author":"SO Hansson","year":"1994","unstructured":"Hansson, S.\u00a0O. (1994). Kernel contraction. The Journal of Symbolic Logic, 59, 845\u2013859.","journal-title":"The Journal of Symbolic Logic"},{"key":"9200_CR28","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1080\/11663081.1997.10510904","volume":"7","author":"SO Hansson","year":"1997","unstructured":"Hansson, S.\u00a0O. (1997). Semi-revision. Journal of Applied Non-Classical Logic, 7, 151\u2013175.","journal-title":"Journal of Applied Non-Classical Logic"},{"key":"9200_CR29","doi-asserted-by":"crossref","unstructured":"Hansson, S.\u00a0O. (1998). Revision of belief sets and belief bases. Handbook of Defeasible Reasoning and Uncertainty Management Systems, 3, 17\u201375.","DOI":"10.1007\/978-94-011-5054-5_2"},{"key":"9200_CR30","unstructured":"Hansson, S.\u00a0O. (1999). A textbook of belief dymanics: Theory change and database updating. Kluwer Academic Publishers."},{"issue":"4","key":"9200_CR31","doi-asserted-by":"crossref","first-page":"1581","DOI":"10.2307\/2694963","volume":"66","author":"SO Hansson","year":"2001","unstructured":"Hansson, S.\u00a0O., Ferm\u00e9, E., Cantwell, J., & Falappa, M. (2001). Credibility limited revision. The Journal of Symbolic Logic, 66(4), 1581\u20131596.","journal-title":"The Journal of Symbolic Logic"},{"key":"9200_CR32","unstructured":"Konieczny, S., & Pino\u00a0P\u00e9rez, R. (1998). On the logic of merging. In Proceedings of the sixth international conference on principles of knowledge representation and reasoning, KR 1998 (pp.\u00a0488\u2013498)."},{"issue":"5","key":"9200_CR33","doi-asserted-by":"crossref","first-page":"773","DOI":"10.1093\/logcom\/12.5.773","volume":"12","author":"S Konieczny","year":"2002","unstructured":"Konieczny, S., & Pino\u00a0P\u00e9rez, R. (2002). Merging information under constraints: A logical framework. Journal of Logic and Computation, 12(5), 773\u2013808.","journal-title":"Journal of Logic and Computation"},{"key":"9200_CR34","unstructured":"Liberatore, P., & Schaerf, M. (1995). Arbitration: A commutative operator for belief revision. In WOCFAI (pp. 217\u2013228)."},{"issue":"1","key":"9200_CR35","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1109\/69.667090","volume":"10","author":"P Liberatore","year":"1998","unstructured":"Liberatore, P., & Schaerf, M. (1998). Arbitration (or how to merge knowledge bases). IEEE Transactions on Knowledge and Data Engineering, 10(1), 76\u201390.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"9200_CR36","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1111\/j.1755-2567.1997.tb00737.x","volume":"63","author":"D Makinson","year":"1997","unstructured":"Makinson, D. (1997). Screened revision. Theoria: Special Issue on Non-Prioritized Belief Revision, 63, 14\u201323.","journal-title":"Theoria: Special Issue on Non-Prioritized Belief Revision"},{"key":"9200_CR37","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(82)90012-1","volume":"18","author":"A Newell","year":"1982","unstructured":"Newell, A. (1982). The knowledge level. Artificial Intelligence, 18, 87\u2013127.","journal-title":"Artificial Intelligence"},{"key":"9200_CR38","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1007\/BFb0018427","volume":"465","author":"R Nieder\u00e9e","year":"1991","unstructured":"Nieder\u00e9e, R. (1991). Multiple contraction: A further case against G\u00e4rdenfors\u2019 principle of recovery. Lecture Notes in Computer Science, 465, 322\u2013334.","journal-title":"Lecture Notes in Computer Science"},{"key":"9200_CR39","unstructured":"Papadimitriou, C.\u00a0H. (1994). Computational complexity. Addison-Wesley."},{"issue":"3","key":"9200_CR40","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1093\/logcom\/14.3.355","volume":"14","author":"P Peppas","year":"2004","unstructured":"Peppas, P. (2004). The limit assumption and multiple revision. Journal of Logic and Computation, 14(3), 355\u2013371.","journal-title":"Journal of Logic and Computation"},{"key":"9200_CR41","doi-asserted-by":"crossref","first-page":"755","DOI":"10.2307\/2310460","volume":"66","author":"WVO Quine","year":"1959","unstructured":"Quine, W.\u00a0V.\u00a0O. (1959). On cores and prime implicants of truth functions. American Mathematics Monthly, 66, 755\u2013760.","journal-title":"American Mathematics Monthly"},{"key":"9200_CR42","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0004-3702(92)90069-A","volume":"53","author":"GR Simari","year":"1992","unstructured":"Simari, G.\u00a0R., & Loui, R.\u00a0P. (1992). A mathematical treatment of defeasible reasoning and its implementation. Artificial Intelligence, 53, 125\u2013157.","journal-title":"Artificial Intelligence"},{"key":"9200_CR43","first-page":"106","volume":"2","author":"W Hoek van der","year":"1999","unstructured":"van\u00a0der Hoek, W., & de\u00a0Rijke, M. (1999). Interleaved contractions. Logic, Language and Computation, 2, 106\u2013127.","journal-title":"Logic, Language and Computation"},{"key":"9200_CR44","volume-title":"Multiagent systems: A modern approach to distributed artificial intelligence","year":"1999","unstructured":"Weiss, G. (Ed.) (1999). Multiagent systems: A modern approach to distributed artificial intelligence. Cambridge, Massachussetts: The MIT Press."},{"issue":"6","key":"9200_CR45","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1023\/A:1013356315540","volume":"30","author":"D Zhang","year":"2001","unstructured":"Zhang, D., & Foo, N. (2001). Infinitary belief revision. Journal of Philosophical Logic, 30(6), 525\u2013570.","journal-title":"Journal of Philosophical Logic"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-011-9200-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-011-9200-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-011-9200-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,5]],"date-time":"2025-03-05T22:13:35Z","timestamp":1741212815000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-011-9200-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,31]]},"references-count":45,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,2]]}},"alternative-id":["9200"],"URL":"https:\/\/doi.org\/10.1007\/s10992-011-9200-8","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,5,31]]}}}