{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T19:46:33Z","timestamp":1773690393774,"version":"3.50.1"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1999,10,1]],"date-time":"1999-10-01T00:00:00Z","timestamp":938736000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,10,1]],"date-time":"1999-10-01T00:00:00Z","timestamp":938736000000},"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":["Journal of Logic, Language and Information"],"published-print":{"date-parts":[[1999,10]]},"DOI":"10.1023\/a:1008314832430","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T14:41:38Z","timestamp":1040568098000},"page":"401-420","source":"Crossref","is-referenced-by-count":31,"title":["Belief Revision: A Critique"],"prefix":"10.1007","volume":"8","author":[{"given":"Nir","family":"Friedman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph Y.","family":"Halpern","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"194960_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., and Makinson, D., 1985, \u201cOn the logic of theory change: Partial meet functions for contraction and revision,\u201d Journal of Symbolic Logic\n50, 510\u2013530.","journal-title":"Journal of Symbolic Logic"},{"key":"194960_CR2","first-page":"685","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings Third International Conference (KR' 92)","author":"C. Boutilier","year":"1992","unstructured":"Boutilier, C., 1992, \u201cNormative, subjective and autoepistemic defaults: Adopting the Ramsey test,\u201d pp. 685\u2013696 in Principles of Knowledge Representation and Reasoning: Proceedings Third International Conference (KR' 92), B. Nebel, C. Rich, and W. Swartout, eds., San Francisco, CA: Morgan Kaufmann."},{"key":"194960_CR3","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0004-3702(94)90095-7","volume":"68","author":"C. Boutilier","year":"1994","unstructured":"Boutilier, C., 1994, \u201cUnifying default reasoning and belief revision in a modal framework,\u201d Artificial Intelligence\n68, 33\u201385.","journal-title":"Artificial Intelligence"},{"key":"194960_CR4","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/BF00248151","volume":"25","author":"C. Boutilier","year":"1996","unstructured":"Boutilier, C., 1996, \u201cIterated revision and minimal change of conditional beliefs,\u201d Journal of Philosophical Logic\n25, 262\u2013305.","journal-title":"Journal of Philosophical Logic"},{"key":"194960_CR5","first-page":"648","volume-title":"Proceedings, Eleventh National Conference on Artificial Intelligence (AAAI' 93)","author":"C. Boutilier","year":"1993","unstructured":"Boutilier, C. and Goldszmidt, M., 1993, \u201cRevising by conditional beliefs,\u201d pp. 648\u2013654 in Proceedings, Eleventh National Conference on Artificial Intelligence (AAAI' 93), Menlo Park, CA: AAAI Press."},{"key":"194960_CR6","first-page":"127","volume-title":"Proceedings, Fifteenth National Conference on Artificial Intelligence (AAAI' 96)","author":"C. Boutilier","year":"1998","unstructured":"Boutilier, C., Friedman, N., and Halpern, J.Y., 1998, \u201cBelief revision with unreliable observations,\u201d pp. 127\u2013134 in Proceedings, Fifteenth National Conference on Artificial Intelligence (AAAI' 96), Menlo Park, CA: AAAI Press."},{"key":"194960_CR7","first-page":"5","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings Fourth International Conference (KR' 94)","author":"A. Darwiche","year":"1994","unstructured":"Darwiche, A. and Pearl, J., 1994, \u201cOn the logic of iterated belief revision,\u201d pp. 5\u201323 in Principles of Knowledge Representation and Reasoning: Proceedings Fourth International Conference (KR' 94), J. Doyle, E. Sandewall, and P. Torasso, eds., San Francisco, CA: Morgan Kaufmann."},{"key":"194960_CR8","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. and Pearl, J., 1997, \u201cOn the logic of iterated belief revision,\u201d Artificial Intelligence\n89, 1\u201329.","journal-title":"Artificial Intelligence"},{"key":"194960_CR9","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1017\/CBO9780511526664.006","volume-title":"Belief Revision","author":"D. Dubois","year":"1992","unstructured":"Dubois, D. and Prade, H., 1992, \u201cBelief change and possibility theory,\u201d pp. 142\u2013182 in Belief Revision, P. G\u00e4rdenfors, ed., Cambridge: Cambridge University Press."},{"key":"194960_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., and Vardi, M.Y., 1995, Reasoning about Knowledge, Cambridge, MA: MIT Press."},{"key":"194960_CR11","unstructured":"Freund, M. and Lehmann, D., 1994, \u201cBelief revision and rational inference,\u201d Technical Report TR 94-16, Hebrew University."},{"key":"194960_CR12","unstructured":"Friedman, N., 1997, \u201cModeling beliefs in dynamic systems,\u201d Ph.D. Thesis, Stanford."},{"key":"194960_CR13","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1016\/B978-1-4832-1452-8.50114-7","volume-title":"Principles of Knowledge Representation and Reasoning: Proc. Fourth International Conference (KR' 94)","author":"N. Friedman","year":"1994","unstructured":"Friedman, N. and Halpern, J.Y., 1994, \u201cA knowledge-based framework for belief change. Part II: Revision and update,\u201d pp. 190\u2013201 in Principles of Knowledge Representation and Reasoning: Proc. Fourth International Conference (KR' 94), J. Doyle, E. Sandewall, and P. Torasso, eds., San Francisco, CA: Morgan Kaufmann."},{"issue":"2","key":"194960_CR14","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/S0004-3702(97)00040-4","volume":"95","author":"N. Friedman","year":"1997","unstructured":"Friedman, N. and Halpern, J.Y., 1997, \u201cModeling belief in dynamic systems. Part I: Foundations,\u201d Artificial Intelligence\n95(2), 257\u2013316.","journal-title":"Artificial Intelligence"},{"key":"194960_CR15","doi-asserted-by":"crossref","unstructured":"Friedman, N. and Halpern J.Y., 1998, \u201cModeling belief in dynamic systems. Part II: Revision and update,\u201d Journal of A.I. Research (to appear).","DOI":"10.1613\/jair.506"},{"key":"194960_CR16","volume-title":"Knowledge in Flux","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P., 1988, Knowledge in Flux, Cambridge, MA: MIT Press."},{"key":"194960_CR17","first-page":"83","volume-title":"Proceedings Second Conference on Theoretical Aspects of Reasoning about Knowledge","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P. and Makinson, D., 1988, \u201cRevisions of knowledge systems using epistemic entrenchment,\u201d pp. 83\u201395 in Proceedings Second Conference on Theoretical Aspects of Reasoning about Knowledge, M. Vardi, ed., San Francisco, CA: Morgan Kaufmann."},{"key":"194960_CR18","unstructured":"Goldszmidt, M., 1992, \u201cQualitative probabilities: A normative framework for commonsense reasoning,\u201d Ph.D. Thesis, University of California Los Angeles."},{"key":"194960_CR19","first-page":"661","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings Third International Conference (KR' 92)","author":"M. Goldszmidt","year":"1992","unstructured":"Goldszmidt, M. and Pearl, J., 1992, \u201cRank-based systems: A simple approach to belief revision, belief update and reasoning about evidence and actions,\u201d pp. 661\u2013672 in Principles of Knowledge Representation and Reasoning: Proceedings Third International Conference (KR' 92), B. Nebel, C. Rich, and W. Swartout, eds., San Francisco, CA: Morgan Kaufmann."},{"key":"194960_CR20","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A. Grove","year":"1988","unstructured":"Grove, A., 1988, \u201cTwo modelings for theory change,\u201d Journal of Philosophical Logic\n17, 157\u2013170.","journal-title":"Journal of Philosophical Logic"},{"key":"194960_CR21","first-page":"43","volume-title":"Proceedings, 3rd Kurt G\u00f6del Colloquium","author":"J.Y. Halpern","year":"1993","unstructured":"Halpern, J.Y., 1993, \u201cA critical reexamination of default logic, autoepistemic logic, and only knowing,\u201d pp. 43\u201360 in Proceedings, 3rd Kurt G\u00f6del Colloquium, Berlin: Springer-Verlag."},{"issue":"4","key":"194960_CR22","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF01784885","volume":"3","author":"J.Y. Halpern","year":"1989","unstructured":"Halpern, J.Y. and Fagin, R., 1989, \u201cModelling knowledge and action in distributed systems,\u201d Distributed Computing\n3(4), 159\u2013179. A preliminary version appeared in Proceedings 4th ACM Symposium on Principles of Distributed Computing, 1985, with the title \u201cA formal model of knowledge, action, and communication in distributed systems: Preliminary report.\u201d","journal-title":"Distributed Computing"},{"key":"194960_CR23","unstructured":"Hansson, S.O., 1991, \u201cBelief base dynamics,\u201d Ph.D. Thesis, Uppsala University."},{"key":"194960_CR24","unstructured":"Hansson, S.O., 1998a, \u201cBelief revision from an epistemological point of view,\u201d Unpublished manuscript."},{"key":"194960_CR25","unstructured":"Hansson, S.O., 1998b, \u201cA survey of non-prioritized belief revision,\u201d Unpublished manuscript."},{"key":"194960_CR26","first-page":"387","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings Second International Conference (KR' 91)","author":"H. Katsuno","year":"1991","unstructured":"Katsuno, H. and Mendelzon, A., 1991a, \u201cOn the difference between updating a knowledge base and revising it,\u201d pp. 387\u2013394 in Principles of Knowledge Representation and Reasoning: Proceedings Second International Conference (KR' 91), J.A. Allen, R. Fikes, and E. Sandewall, eds., San Francisco, CA: Morgan Kaufmann."},{"issue":"3","key":"194960_CR27","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1991","unstructured":"Katsuno, H. and Mendelzon, A., 1991b, \u201cPropositional knowledge base revision and minimal change,\u201d Artificial Intelligence\n52(3), 263\u2013294.","journal-title":"Artificial Intelligence"},{"key":"194960_CR28","first-page":"1534","volume-title":"Proceedings Fourteenth International Joint Conference on Artificial Intelligence (IJCAI' 95)","author":"D. Lehmann","year":"1995","unstructured":"Lehmann, D., 1995, \u201cBelief revision, revised,\u201d pp. 1534\u20131540 in Proceedings Fourteenth International Joint Conference on Artificial Intelligence (IJCAI' 95), C.S. Mellish, ed., San Francisco, CA: Morgan Kaufmann."},{"key":"194960_CR29","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/BF00869641","volume":"76","author":"I. Levi","year":"1988","unstructured":"Levi, I., 1988, \u201cIteration of conditionals and the Ramsey test,\u201d Synthese\n76, 49\u201381.","journal-title":"Synthese"},{"key":"194960_CR30","unstructured":"Makinson, D., 1998, \u201cScreened revision,\u201d Theoria, in press."},{"key":"194960_CR31","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/BF01130759","volume":"41","author":"A.C. Nayak","year":"1994","unstructured":"Nayak, A.C., 1994, \u201cIterated belief change based on epistemic entrenchment,\u201d Erkenntnis\n41, 353\u2013390.","journal-title":"Erkenntnis"},{"key":"194960_CR32","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/BF00869346","volume":"81","author":"H. Rott","year":"1989","unstructured":"Rott, H., 1989, \u201cConditionals and theory change: Revision, expansions, and additions,\u201d Synthese\n81, 91\u2013113.","journal-title":"Synthese"},{"key":"194960_CR33","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00284973","volume":"20","author":"H. Rott","year":"1991","unstructured":"Rott, H., 1991, \u201cTwo methods of constructing contractions and revisions of knowledge systems,\u201d Journal of Philosophical Logic\n20, 149\u2013173.","journal-title":"Journal of Philosophical Logic"},{"key":"194960_CR34","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214696","volume-title":"A Mathematical Theory of Evidence","author":"G. Shafer","year":"1976","unstructured":"Shafer, G., 1976, A Mathematical Theory of Evidence, Princeton, NJ: Princeton University Press."},{"key":"194960_CR35","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/978-94-009-2865-7_6","volume-title":"Causation in Decision, Belief Change, and Statistics","author":"W. Spohn","year":"1988","unstructured":"Spohn, W., 1988, \u201cOrdinal conditional functions: A dynamic theory of epistemic states,\u201d pp. 105\u2013134 in Causation in Decision, Belief Change, and Statistics, Vol. 2, W. Harper and B. Skyrms, eds., Dordrecht: Reidel."},{"key":"194960_CR36","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1016\/B978-1-4832-1452-8.50152-4","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings Fourth International Conference (KR' 94)","author":"M. Williams","year":"1994","unstructured":"Williams, M., 1994, \u201cTransmutations of knowledge systems,\u201d pp. 619\u2013629 in Principles of Knowledge Representation and Reasoning: Proceedings Fourth International Conference (KR' 94), J. Doyle, E. Sandewall, and P. Torasso, eds., San Francisco, CA: Morgan Kaufmann."},{"issue":"1","key":"194960_CR37","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1305\/ndjfl\/1040308829","volume":"36","author":"W. Wobcke","year":"1995","unstructured":"Wobcke, W., 1995, \u201cBelief revision, conditional logic, and nonmonotonic reasoning,\u201d Notre Dame Journal of Formal Logic\n36(1), 55\u2013102.","journal-title":"Notre Dame Journal of Formal Logic"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008314832430.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008314832430\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008314832430.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:20:01Z","timestamp":1749723601000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008314832430"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,10]]},"references-count":37,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1999,10]]}},"alternative-id":["194960"],"URL":"https:\/\/doi.org\/10.1023\/a:1008314832430","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,10]]}}}