{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,13]],"date-time":"2025-11-13T12:05:59Z","timestamp":1763035559569,"version":"3.44.0"},"reference-count":63,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1997,9,1]],"date-time":"1997-09-01T00:00:00Z","timestamp":873072000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1997,9,1]],"date-time":"1997-09-01T00:00:00Z","timestamp":873072000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[1998,5,19]],"date-time":"1998-05-19T00:00:00Z","timestamp":895536000000},"content-version":"vor","delay-in-days":260,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1997,9]]},"DOI":"10.1016\/s0004-3702(97)00040-4","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T19:37:38Z","timestamp":1027625858000},"page":"257-316","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":38,"title":["Modeling belief in dynamic systems, part I: Foundations"],"prefix":"10.1016","volume":"95","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":"78","reference":[{"key":"10.1016\/S0004-3702(97)00040-4_BIB1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","article-title":"On the logic of theory change: partial meet functions for contraction and revision","volume":"50","author":"Alchourr\u00f3n","year":"1985","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB2","doi-asserted-by":"crossref","DOI":"10.1017\/S0266267100004296","article-title":"The logic of belief persistency","author":"Battigalli","year":"1997","journal-title":"Economics and Philosophy"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB3","series-title":"Proceedings 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92)","first-page":"685","article-title":"Normative, subjective and autoepistemic defaults: adopting the Ramsey test","author":"Boutilier","year":"1992"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB4","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(94)90096-5","article-title":"Conditional logics of normality: a modal approach","volume":"68","author":"Boutilier","year":"1994","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB5","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0004-3702(94)90095-7","article-title":"Unifying default reasoning and belief revision in a modal framework","volume":"68","author":"Boutilier","year":"1994","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB6","doi-asserted-by":"crossref","DOI":"10.1145\/265910.265912","article-title":"Applications of a logic of knowledge to motion planning under uncertainty","author":"Brafman","year":"1997","journal-title":"J. ACM"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB7","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1305\/ndjfl\/1093883341","article-title":"Quick completeness proofs for some logics of conditionals","volume":"22","author":"Burgess","year":"1981","journal-title":"Notre Dame J. Formal Logic"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB8","series-title":"Exploring AI","first-page":"297","article-title":"Model-based reasoning: troubleshooting","author":"Davis","year":"1988"},{"year":"1972","series-title":"Probability, Induction and Statistics","author":"De Finetti","key":"10.1016\/S0004-3702(97)00040-4_BIB9"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB10","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/0004-3702(90)90012-O","article-title":"Using crude probability estimates to guide diagnosis","volume":"45","author":"de Kleer","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB11","doi-asserted-by":"crossref","first-page":"822","DOI":"10.1080\/01621459.1982.10477893","article-title":"Updating subjective probability","volume":"77","author":"Diaconis","year":"1982","journal-title":"J. Amer. Statist. Soc."},{"key":"10.1016\/S0004-3702(97)00040-4_BIB12","series-title":"Readings in Uncertain Reasoning","first-page":"742","article-title":"An introduction to possibilistic and fuzzy logics","author":"Dubois","year":"1990"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB13","series-title":"Proceedings UCAI-91","first-page":"419","article-title":"Possibilistic logic, preferential models, non-monotonicity and related issues","author":"Dubois","year":"1991"},{"issue":"2","key":"10.1016\/S0004-3702(97)00040-4_BIB14","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1145\/174652.174658","article-title":"Reasoning about knowledge and probability","volume":"41","author":"Fagin","year":"1994","journal-title":"J. ACM"},{"year":"1995","series-title":"Reasoning about Knowledge","author":"Fagin","key":"10.1016\/S0004-3702(97)00040-4_BIB15"},{"issue":"2","key":"10.1016\/S0004-3702(97)00040-4_BIB16","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","article-title":"Propositional dynamic logic of regular programs","volume":"18","author":"Fischer","year":"1979","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/S0004-3702(97)00040-4_BIB17","article-title":"Modeling beliefs in dynamic systems","author":"Friedman","year":"1997","journal-title":"Ph.D. Thesis"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB18","series-title":"Proceedings AAAI-94","first-page":"915","article-title":"Conditional logics of belief change","author":"Friedman","year":"1994"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB19","series-title":"Theoretical Aspects of Reasoning about Knowledge: Proceedings 5th Conference","first-page":"44","article-title":"A knowledge-based framework for belief change, Part I: Foundations","author":"Friedman","year":"1994"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB20","series-title":"Proceedings 11th Conference on Uncertainty in Artificial Intelligence (UAI'95)","first-page":"175","author":"Friedman","year":"1995"},{"year":"1996","series-title":"On the axiomatization and complexity of conditional logics","author":"Friedman","key":"10.1016\/S0004-3702(97)00040-4_BIB21_1"},{"year":"1994","series-title":"Principles of Knowledge Representation and Reasoning: Proceedings 4th International Conference (KR'94)","author":"Friedman","key":"10.1016\/S0004-3702(97)00040-4_BIB21_2"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB22","series-title":"Proceedings 12th Conference on Uncertainty in Artificial Intelligence (UAI'96)","first-page":"263","article-title":"A qualitative Markov assumption and its implications for belief change","author":"Friedman","year":"1996"},{"year":"1997","series-title":"Modeling belief in dynamic systems, Part II: Revision and update","author":"Friedman","key":"10.1016\/S0004-3702(97)00040-4_BIB23_1"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB23_2","series-title":"Principles of Knowledge Representation and Reasoning: Proceedings 4th International Conference (KR'94)","first-page":"190","article-title":"A knowledge-based framework for belief change, Part II: Revision and update","author":"Friedman","year":"1994"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB24_1","article-title":"Plausibility measures and default reasoning","author":"Friedman","year":"1997","journal-title":"J. ACM"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB24_2","series-title":"Proceedings AAAI-96","first-page":"1297","author":"Friedman","year":"1996"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB25","series-title":"Proceedings AAAI-96","first-page":"1305","article-title":"Conditional first-order logic revisited","author":"Friedman","year":"1996"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB26","series-title":"Proceedings 7th ACM Symposium on Principles of Programming Languages","first-page":"163","article-title":"On the temporal analysis of fairness","author":"Gabbay","year":"1980"},{"year":"1988","series-title":"Knowledge in Flux","author":"G\u00e4rdenfors","key":"10.1016\/S0004-3702(97)00040-4_BIB27"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB28","series-title":"Proceedings 2nd Conference on Theoretical Aspects of Reasoning about Knowledge","first-page":"83","article-title":"Revisions of knowledge systems using epistemic entrenchment","author":"G\u00e4rdenfors","year":"1988"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB29","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0004-3702(86)90067-6","article-title":"Counterfactuals","volume":"30","author":"Ginsberg","year":"1986","journal-title":"Artificial Intelligence"},{"issue":"3","key":"10.1016\/S0004-3702(97)00040-4_BIB30","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1109\/34.204904","article-title":"A maximum entropy approach to nonmonotonic reasoning","volume":"15","author":"Goldszmidt","year":"1993","journal-title":"IEEE Trans. Pattern Analysis Machine Intell."},{"key":"10.1016\/S0004-3702(97)00040-4_BIB31","series-title":"Proceedings 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92)","first-page":"661","article-title":"Rank-based systems: A simple approach to belief revision, belief update and reasoning about evidence and actions","author":"Goldszmidt","year":"1992"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB32","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00247909","article-title":"Two modelings for theory change","volume":"17","author":"Grove","year":"1988","journal-title":"J. Philos. Logic"},{"issue":"4","key":"10.1016\/S0004-3702(97)00040-4_BIB33_1","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF01784885","article-title":"Modelling knowledge and action in distributed systems","volume":"3","author":"Halpern","year":"1989","journal-title":"Distributed Comput."},{"key":"10.1016\/S0004-3702(97)00040-4_BIB33_2","series-title":"Proceedings 4th ACM Symposium on Principles of Distributed Computing","article-title":"A formal model of knowledge, action and communication in distributed systems: preliminary report","author":"Halpern","year":"1985"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB34","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","article-title":"A guide to completeness and complexity for modal logics of knowledge and belief","volume":"54","author":"Halpern","year":"1992","journal-title":"Artificial Intelligence"},{"issue":"4","key":"10.1016\/S0004-3702(97)00040-4_BIB35","doi-asserted-by":"crossref","first-page":"917","DOI":"10.1145\/153724.153770","article-title":"Knowledge, probability and adversaries","volume":"40","author":"Halpern","year":"1993","journal-title":"J. ACM"},{"issue":"1","key":"10.1016\/S0004-3702(97)00040-4_BIB36","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0022-0000(89)90039-1","article-title":"The complexity of reasoning about knowledge and time, I: Lower bounds","volume":"38","author":"Halpern","year":"1989","journal-title":"J. Comput. System Sci."},{"year":"1962","series-title":"Knowledge and Belief","author":"Hintikka","key":"10.1016\/S0004-3702(97)00040-4_BIB37"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB38","series-title":"Proceedings 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91)","first-page":"387","article-title":"On the difference between updating a knowledge base and revising it","author":"Katsuno","year":"1991"},{"issue":"3","key":"10.1016\/S0004-3702(97)00040-4_BIB39","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","article-title":"Propositional knowledge base revision and minimal change","volume":"52","author":"Katsuno","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB40","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0304-3975(88)90024-2","article-title":"Knowledge, belief and time","volume":"58","author":"Kraus","year":"1988","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0004-3702(97)00040-4_BIB41","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","article-title":"Nonmonotonic reasoning, preferential models and cumulative logics","volume":"44","author":"Kraus","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB42","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1214\/aoms\/1177729694","article-title":"On information and sufficiency","volume":"22","author":"Kullback","year":"1951","journal-title":"Ann. Math. Statist."},{"key":"10.1016\/S0004-3702(97)00040-4_BIB43","series-title":"Principles of Knowledge Representation and Reasoning: Proceedings 4th International Conference (KR'94)","first-page":"415","article-title":"Knowledge, certainty, belief and conditionalisation","author":"Lamarre","year":"1994"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB44","series-title":"Proceedings AAAI-84","first-page":"198","article-title":"A logic of implicit and explicit belief","author":"Levesque","year":"1984"},{"year":"1973","series-title":"Counterfactuals","author":"Lewis","key":"10.1016\/S0004-3702(97)00040-4_BIB45"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB46","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1002\/malq.19660120131","article-title":"On some completeness theorems in modal logic","volume":"12","author":"Makinson","year":"1966","journal-title":"Z. Math. Logik Grundlag. Math."},{"key":"10.1016\/S0004-3702(97)00040-4_BIB47","series-title":"Principles of Knowledge Representation and Reasoning: Proceedings 4th International Conference (KR'94)","first-page":"595","article-title":"Mutual belief revision (preliminary report)","author":"van der Meyden","year":"1994"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB48","unstructured":"R. van der Meyden, Personal communication, 1994."},{"issue":"2","key":"10.1016\/S0004-3702(97)00040-4_BIB49","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/0004-3702(93)90107-M","article-title":"Belief as defeasible knowledge","volume":"64","author":"Moses","year":"1993","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB50","series-title":"Proceedings 1st International Conference on Principles of Knowledge Representation and Reasoning (KR '89)","first-page":"505","article-title":"Probabilistic semantics for nonmonotonic reasoning: a survey","author":"Pearl","year":"1989"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB51","doi-asserted-by":"crossref","DOI":"10.1006\/game.1997.0536","article-title":"On the interpretation of decision problems with imperfect recall","author":"Piccione","year":"1997","journal-title":"Games and Economic Behavior"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB52","series-title":"Proceedings 20th IEEE Symposium on Foundations of Computer Science","first-page":"115","article-title":"Models of program logics","author":"Pratt","year":"1979"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB53","series-title":"The Foundations of Mathematics and Other Logical Essays","first-page":"156","article-title":"Truth and probability","author":"Ramsey","year":"1931"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB54","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","article-title":"A theory of diagnosis from first principles","volume":"32","author":"Reiter","year":"1987","journal-title":"Artificial Intelligence"},{"year":"1976","series-title":"A Mathematical Theory of Evidence","author":"Shafer","key":"10.1016\/S0004-3702(97)00040-4_BIB55"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB56","series-title":"Proceedings 2nd IEEE Symposium on Logic in Computer Science","first-page":"275","article-title":"A semantical approach to nonmonotonic logics","author":"Shoham","year":"1987"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB57","first-page":"105","article-title":"Ordinal conditional functions: a dynamic theory of epistemic states","volume":"Vol. 2","author":"Spohn","year":"1988"},{"key":"10.1016\/S0004-3702(97)00040-4_BIB58","series-title":"Theoretical Aspects of Reasoning about Knowledge: Proceedings 4th Conference","first-page":"214","article-title":"Generalized Kripke models for epistemic logic","author":"Voorbraak","year":"1992"},{"year":"1992","series-title":"Fuzzy Measure Theory","author":"Wang","key":"10.1016\/S0004-3702(97)00040-4_BIB59"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370297000404?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370297000404?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T07:17:48Z","timestamp":1757747868000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370297000404"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,9]]},"references-count":63,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1997,9]]}},"alternative-id":["S0004370297000404"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(97)00040-4","relation":{},"ISSN":["0004-3702"],"issn-type":[{"type":"print","value":"0004-3702"}],"subject":[],"published":{"date-parts":[[1997,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Modeling belief in dynamic systems, part I: Foundations","name":"articletitle","label":"Article Title"},{"value":"Artificial Intelligence","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S0004-3702(97)00040-4","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1997 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}