{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T13:22:30Z","timestamp":1648560150765},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,9,29]],"date-time":"2014-09-29T00:00:00Z","timestamp":1411948800000},"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,1]]},"DOI":"10.1007\/s11432-014-5149-x","type":"journal-article","created":{"date-parts":[[2014,9,29]],"date-time":"2014-09-29T16:05:33Z","timestamp":1412006733000},"page":"1-11","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Decidable subsets of open logic and an algorithm for R-calculus"],"prefix":"10.1007","volume":"58","author":[{"given":"Wei","family":"Zhang","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,9,29]]},"reference":[{"key":"5149_CR1","first-page":"362","volume":"36","author":"W Li","year":"1992","unstructured":"Li W. An open logic system. Sci China Ser A, 1992, 36: 362\u2013375","journal-title":"Sci China Ser A"},{"key":"5149_CR2","first-page":"45","volume-title":"Mathematical Logic-Foundations for Information Science","author":"W Li","year":"2010","unstructured":"Li W. Mathematical Logic-Foundations for Information Science. Basel: Birkhauser Verlag, 2010. 45\u2013185"},{"key":"5149_CR3","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C E Alchourron","year":"1985","unstructured":"Alchourron C E, Gardenfors R, Makinson D. On the logic of theory change: partial meet contraction and revision functions. J Symbolic Logic, 1985, 50: 510\u2013530","journal-title":"J Symbolic Logic"},{"key":"5149_CR4","doi-asserted-by":"crossref","first-page":"129","DOI":"10.3166\/jancl.17.129-155","volume":"17","author":"J Benthem","year":"2007","unstructured":"Benthem J. Dynamic logic for belief revision. J Appl Non-Classical Logics, 2007, 17: 129\u2013155","journal-title":"J Appl Non-Classical Logics"},{"key":"5149_CR5","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/s11432-010-4172-9","volume":"54","author":"J Luo","year":"2011","unstructured":"Luo J, Li W. An algorithm to compute maximal contractions for Horn clauses. Sci China Inf Sci, 2011, 54: 244\u2013257","journal-title":"Sci China Inf Sci"},{"key":"5149_CR6","doi-asserted-by":"crossref","first-page":"2530","DOI":"10.1007\/s11432-011-4492-4","volume":"54","author":"J Luo","year":"2011","unstructured":"Luo J, Li W. R-calculus without the cut rule. Sci China Inf Sci, 2011, 54: 2530\u20132543","journal-title":"Sci China Inf Sci"},{"key":"5149_CR7","doi-asserted-by":"crossref","first-page":"681","DOI":"10.1360\/03yf0327","volume":"48","author":"S M Luan","year":"2005","unstructured":"Luan S M, Dai G Z, Li W. A programmable approach to revising knowledge base. Sci China Ser F-Inf Sci, 2005, 48: 681\u2013692","journal-title":"Sci China Ser F-Inf Sci"},{"key":"5149_CR8","first-page":"519","volume-title":"Proceedings of 13th International Joint Conference on Artificial Intelligence, San Francisco","author":"C Boutilier","year":"1993","unstructured":"Boutilier C. Revision sequences and nested conditionals. In: Proceedings of 13th International Joint Conference on Artificial Intelligence, San Francisco, 1993. 519\u2013525"},{"key":"5149_CR9","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":"5149_CR10","first-page":"2568","volume-title":"Proceedings of 20th International Joint Conference on Artificial Intelligence, San Francisco","author":"A Nayak","year":"2007","unstructured":"Nayak A, Goebel R, Orgun M. Iterated belief contraction from first principles. In: Proceedings of 20th International Joint Conference on Artificial Intelligence, San Francisco, 2007. 2568\u20132573"},{"key":"5149_CR11","first-page":"467","volume-title":"Proceedings of 18th International Conference on Logic Programming, Denmark","author":"S Ma","year":"2002","unstructured":"Ma S, Sui Y, Xu K. The limits of Horn logic programs. In: Proceedings of 18th International Conference on Logic Programming, Denmark, 2002. 467\u2013478"},{"key":"5149_CR12","doi-asserted-by":"crossref","first-page":"79","DOI":"10.3233\/FI-1999-40105","volume":"40","author":"K Su","year":"1999","unstructured":"Su K, Li W. Computation of extensions of seminormal default theories. Fund Inform, 1999, 40: 79\u2013102","journal-title":"Fund Inform"},{"key":"5149_CR13","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":"5149_CR14","first-page":"168","volume":"26","author":"W Li","year":"1996","unstructured":"Li W, Zhang Y. An abstract logic for epistemic processes description (in Chinese). Sci China Ser E, 1996, 26: 168\u2013178","journal-title":"Sci China Ser E"},{"key":"5149_CR15","doi-asserted-by":"crossref","first-page":"1283","DOI":"10.1007\/s11432-009-0138-1","volume":"52","author":"W Zhang","year":"2009","unstructured":"Zhang W. On the decidability of open logic. Sci China Ser F-Inf Sci, 2009, 52: 1283\u20131291","journal-title":"Sci China Ser F-Inf Sci"},{"key":"5149_CR16","first-page":"59","volume":"13","author":"W Li","year":"2002","unstructured":"Li W, Luan S. A complete and operational approach to belief revision (in Chinese). J Software, 2002, 13: 59\u201364","journal-title":"J Software"},{"key":"5149_CR17","volume-title":"The Classical Decision Problem","author":"E B\u00f6rger","year":"2001","unstructured":"B\u00f6rger E, Gr\u00e4del E, Gurevich Y. The Classical Decision Problem. Berlin: Springer-Verlag, 2001"},{"key":"5149_CR18","volume-title":"Popular Lectures on Mathematical Logic","author":"H Wang","year":"1993","unstructured":"Wang H. Popular Lectures on Mathematical Logic. New York: Dover Publications Inc., 1993"},{"key":"5149_CR19","first-page":"365","volume-title":"Proceedings of the National Academy of Sciences of the United States of America, Washington","author":"A Kahr","year":"1962","unstructured":"Kahr A, Moore E, Wang H. Entscheidungsproblem reduced to AEA case. In: Proceedings of the National Academy of Sciences of the United States of America, Washington, 1962. 365\u2013377"},{"key":"5149_CR20","series-title":"Lecture Notes in Pure and Applied Mathematics","first-page":"331","volume-title":"Complexity, Logic, and Recursion Theory","author":"P Boas","year":"1997","unstructured":"Boas P. The Convenience of Tilings. In: Sorbi A, eds. Complexity, Logic, and Recursion Theory, Volume 187 of Lecture Notes in Pure and Applied Mathematics. New York: Marcel Dekker Inc, 1997. 331\u2013363"},{"key":"5149_CR21","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/BF01470748","volume":"148","author":"R Buchi","year":"1962","unstructured":"Buchi R. Turing-machines and the entscheidungsproblem. Math Annalen, 1962, 148: 201\u2013213","journal-title":"Math Annalen"},{"key":"5149_CR22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(89)90023-7","volume":"43","author":"E Gradel","year":"1989","unstructured":"Gradel E. Dominoes and the complexity of subclasses of logical theories. Ann Pure Appl Logic, 1989, 43: 1\u201330","journal-title":"Ann Pure Appl Logic"},{"key":"5149_CR23","first-page":"87","volume-title":"Introduction to Set Theory (in Chinese)","author":"W Zhu","year":"1991","unstructured":"Zhu W, Xiao X. Introduction to Set Theory (in Chinese). Nanjing: Nanjing University Press, 1991. 87\u2013126"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-014-5149-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-014-5149-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-014-5149-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,25]],"date-time":"2020-08-25T03:26:02Z","timestamp":1598325962000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-014-5149-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,29]]},"references-count":23,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,1]]}},"alternative-id":["5149"],"URL":"https:\/\/doi.org\/10.1007\/s11432-014-5149-x","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9,29]]}}}