{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T04:10:23Z","timestamp":1717992623850},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"9","license":[{"start":{"date-parts":[[2015,7,22]],"date-time":"2015-07-22T00:00:00Z","timestamp":1437523200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1007\/s11432-014-5188-3","type":"journal-article","created":{"date-parts":[[2015,7,22]],"date-time":"2015-07-22T09:45:12Z","timestamp":1437558312000},"page":"1-12","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["The sound and complete R-calculus for revising propositional theories","\u7528\u4e8e\u4fee\u6b63\u547d\u9898\u7406\u8bba\u7684\u53ef\u9760\u548c\u5b8c\u5907\u7684R\u6f14\u7b97"],"prefix":"10.1007","volume":"58","author":[{"given":"Wei","family":"Li","sequence":"first","affiliation":[]},{"given":"YueFei","family":"Sui","sequence":"additional","affiliation":[]},{"given":"MeiYing","family":"Sun","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,22]]},"reference":[{"key":"5188_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, Makinson D. On the logic of theory change: partial meet contraction and revision functions. J Symb Log, 1985, 50: 510\u2013530","journal-title":"J Symb Log"},{"key":"5188_CR2","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/s10992-011-9171-9","volume":"40","author":"E Ferm\u00e9","year":"2011","unstructured":"Ferm\u00e9 E, Hansson SO. AGM 25 years, twenty-five years of research in belief change. J Phil Log, 2011, 40: 295\u2013331","journal-title":"J Phil Log"},{"key":"5188_CR3","first-page":"421","volume-title":"Cambridge","author":"N Friedman","year":"1996","unstructured":"Friedman N, Halpern J Y. Belief revision: a critique. In: Proceedings of 5th International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, 1996. 421\u2013431"},{"key":"5188_CR4","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1093\/oso\/9780198537915.003.0002","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming, Epistemic and Temporal Reasoning","author":"P G\u00e4rdenfors","year":"1995","unstructured":"G\u00e4rdenfors P, Rott H. Belief revision. In: Gabbay D M, Hogger C J, Robinson J A, eds. Handbook of Logic in Artificial Intelligence and Logic Programming, Epistemic and Temporal Reasoning. Oxford: Oxford University Press, 1995. 35\u2013132"},{"key":"5188_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. On the logic of iterated belief revision. Artif Intell, 1997, 89: 1\u201329","journal-title":"Artif Intell"},{"key":"5188_CR6","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/S0004-3702(98)00112-X","volume":"108","author":"A Bochman","year":"1999","unstructured":"Bochman A. A foundational theory of belief and belief change. Artif Intell, 1999, 108: 309\u2013352","journal-title":"Artif Intell"},{"key":"5188_CR7","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1145\/4879.4995","volume":"10","author":"A Borgida","year":"1985","unstructured":"Borgida A. Language features for flexible handling of exceptions in information systems. ACM Trans Database Syst, 1985, 10: 563\u2013603","journal-title":"ACM Trans Database Syst"},{"key":"5188_CR8","first-page":"475","volume-title":"Saint Paul","author":"M Dalal","year":"1988","unstructured":"Dalal M. Investigations into a theory of knowledge base revision: preliminary report. In: Proceedings of the 7th National Conference on Artificial Intelligence, Saint Paul, 1988. 475\u2013479"},{"key":"5188_CR9","doi-asserted-by":"crossref","first-page":"2223","DOI":"10.1016\/j.artint.2011.10.001","volume":"176","author":"J Delgrande","year":"2012","unstructured":"Delgrande J, Jin Y. Parallel belief revision: revising by sets of formulas. Artif Intell, 2012, 176: 2223\u20132245","journal-title":"Artif Intell"},{"key":"5188_CR10","first-page":"44","volume-title":"Pacific Grove","author":"N Friedman","year":"1994","unstructured":"Friedman N, Halpern J Y. A knowledge-based framework for belief change, part I: foundations. In: Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, 1994. 44\u201364"},{"key":"5188_CR11","doi-asserted-by":"crossref","first-page":"602","DOI":"10.2307\/2275221","volume":"58","author":"S O Hansson","year":"1993","unstructured":"Hansson S O. Theory contraction and base contraction unified. J Symb Logic, 1993, 58: 602\u2013626","journal-title":"J Symb Logic"},{"key":"5188_CR12","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. Iterated belief revision, revised. Artif Intell, 2007, 171: 1\u201318","journal-title":"revised. Artif Intell"},{"key":"5188_CR13","first-page":"487","volume-title":"Charleston","author":"A Weber","year":"1986","unstructured":"Weber A. Updating propositional formulas. In: Proceedings of the 1st Conference on Expert Database Systems, Charleston, 1986. 487\u2013500"},{"key":"5188_CR14","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1093\/comjnl\/bxl069","volume":"50","author":"W Li","year":"2007","unstructured":"Li W. R-calculus: an inference system for belief revision. Comput J, 2007, 50: 378\u2013390","journal-title":"Comput J"},{"key":"5188_CR15","volume-title":"A New Introduction to Modal Logic","author":"M J Cresswell","year":"1996","unstructured":"Cresswell M J, Hughes G E. A New Introduction to Modal Logic. London Routledge, 1996"},{"key":"5188_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2355-7","volume-title":"Mathematical Logic","author":"H D Ebbinghaus","year":"1994","unstructured":"Ebbinghaus H D, Flum J, Thomas W. Mathematical Logic. Berlin Springer-Verlag, 1994"},{"key":"5188_CR17","volume-title":"Logic for Mathematicians","author":"A G Hamilton","year":"1988","unstructured":"Hamilton A G. Logic for Mathematicians. Cambridge Cambridge University Press, 1988"},{"key":"5188_CR18","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/S0004-3702(99)00072-7","volume":"115","author":"A Herzig","year":"1999","unstructured":"Herzig A, Rifi O. Propositional belief base update and minimal change. Artif Intell, 1999, 115: 107\u2013138","journal-title":"Artif Intell"},{"key":"5188_CR19","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, Mendelzon A O. Propositional knowledge base revision and minimal change. Artif Intell, 1991, 52: 263\u2013294","journal-title":"Artif Intell"},{"key":"5188_CR20","first-page":"455","volume-title":"Proceedings of the International Conference on Fifth Generation Computer Systems","author":"K Satoh","year":"1988","unstructured":"Satoh K. Nonmonotonic reasoning by minimal belief revision. In: Proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, 1988. 455\u2013462"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-014-5188-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-014-5188-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-014-5188-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T03:48:48Z","timestamp":1717991328000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-014-5188-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,22]]},"references-count":20,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2015,9]]}},"alternative-id":["5188"],"URL":"https:\/\/doi.org\/10.1007\/s11432-014-5188-3","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,7,22]]}}}