{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,28]],"date-time":"2022-03-28T21:40:37Z","timestamp":1648503637610},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2011,2,1]],"date-time":"2011-02-01T00:00:00Z","timestamp":1296518400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2011,2]]},"DOI":"10.1007\/s11432-010-4172-9","type":"journal-article","created":{"date-parts":[[2011,2,3]],"date-time":"2011-02-03T21:16:00Z","timestamp":1296767760000},"page":"244-257","source":"Crossref","is-referenced-by-count":9,"title":["An algorithm to compute maximal contractions for Horn clauses"],"prefix":"10.1007","volume":"54","author":[{"given":"Jie","family":"Luo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,2,4]]},"reference":[{"key":"4172_CR1","first-page":"394","volume-title":"programming languages and systems\u2014ESOP\u201994. LNCS 788","author":"W. Li","year":"1994","unstructured":"Li W. A logical framework for evolution of specifications. In: programming languages and systems\u2014ESOP\u201994. LNCS 788, Berlin: Springer-Verlag, 1994. 394\u2013408"},{"key":"4172_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. Comput J, 2007, 50: 378\u2013390","journal-title":"Comput J"},{"key":"4172_CR3","volume-title":"Mathematical Logic \u2014 Foundations For Information Science","author":"W. Li","year":"2010","unstructured":"Li W. Mathematical Logic \u2014 Foundations For Information Science. Basel: Birkh\u00e4user Verlag, 2010"},{"key":"4172_CR4","volume-title":"Logic for Computer Science: Foundations of Automatic Theorem Proving","author":"J. H. Gallier","year":"1986","unstructured":"Gallier J H. Logic for Computer Science: Foundations of Automatic Theorem Proving. New York: Harper & Row, 1986"},{"key":"4172_CR5","first-page":"156","volume-title":"Proc KR 2008","author":"J. P. Delgrande","year":"2008","unstructured":"Delgrande J P. Horn Clause Belief Change: Contraction Functions. In: Proc KR 2008. Menlo Park: AAAI Press, 2008. 156\u2013165"},{"key":"4172_CR6","first-page":"702","volume-title":"Proc IJCAI 2009","author":"R. Booth","year":"2009","unstructured":"Booth R, Meyer T, Varzinczak I J. Next steps in propositional Horn contraction. In: Proc IJCAI 2009. Menlo Park: AAAI Press, 2009. 702\u2013707"},{"key":"4172_CR7","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 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":"4172_CR8","volume-title":"Knowledge in Flux. Modeling the Dynamics of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors P. Knowledge in Flux. Modeling the Dynamics of Epistemic States. Cambridge: The MIT Press, 1988"},{"key":"4172_CR9","first-page":"83","volume-title":"Second Conference on Theoretical Aspects of Reasoning about Knowledge","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors P, Makinson D. Revisions of Knowledge Systems Using Epistemic Entrenchment. In: Second Conference on Theoretical Aspects of Reasoning about Knowledge, San Francisco: Morgan Kaufmann Publishers Inc., 1988. 83\u201395"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-010-4172-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-010-4172-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-010-4172-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T15:36:09Z","timestamp":1559403369000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-010-4172-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,2]]},"references-count":9,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,2]]}},"alternative-id":["4172"],"URL":"https:\/\/doi.org\/10.1007\/s11432-010-4172-9","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,2]]}}}