{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,3,27]],"date-time":"2023-03-27T21:30:56Z","timestamp":1679952656269},"reference-count":5,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,1,23]],"date-time":"2014-01-23T00:00:00Z","timestamp":1390435200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1007\/s11704-014-3102-1","type":"journal-article","created":{"date-parts":[[2014,1,23]],"date-time":"2014-01-23T03:54:14Z","timestamp":1390449254000},"page":"184-191","source":"Crossref","is-referenced-by-count":2,"title":["A sound and complete R-calculi with respect to contraction and minimal change"],"prefix":"10.1007","volume":"8","author":[{"given":"Wei","family":"Li","sequence":"first","affiliation":[]},{"given":"Yuefei","family":"Sui","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,1,23]]},"reference":[{"key":"3102_CR1","first-page":"602","volume-title":"Journal of Symbolic Logic","author":"S O Hansson","year":"1993","unstructured":"Hansson S O. Theory contraction and base contraction unified. Journal of Symbolic Logic, 1993, 602\u2013625"},{"issue":"4","key":"3102_CR2","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. The Computer Journal, 2007, 50(4): 378\u2013390","journal-title":"The Computer Journal"},{"key":"3102_CR3","first-page":"510","volume-title":"Journal of Symbolic Logic","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. Journal of Symbolic Logic, 1985, 510\u2013530"},{"issue":"1","key":"3102_CR4","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. Artificial Intelligence, 1999, 115(1): 107\u2013138","journal-title":"Artificial Intelligence"},{"key":"3102_CR5","first-page":"455","volume-title":"Proceedings of the 5th the International Conference on Generation Computer Systems","author":"K Satoh","year":"1988","unstructured":"Satoh K. Nonmonotonic reasoning by minimal belief revision. In: Proceedings of the 5th the International Conference on Generation Computer Systems. 1988, 455\u2013462"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-014-3102-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-014-3102-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-014-3102-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T21:01:19Z","timestamp":1559422879000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-014-3102-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1,23]]},"references-count":5,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,4]]}},"alternative-id":["3102"],"URL":"https:\/\/doi.org\/10.1007\/s11704-014-3102-1","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,1,23]]}}}