{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T20:41:30Z","timestamp":1742935290507,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642174315"},{"type":"electronic","value":"9783642174322"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-17432-2_8","type":"book-chapter","created":{"date-parts":[[2010,11,29]],"date-time":"2010-11-29T08:05:03Z","timestamp":1291017903000},"page":"72-81","source":"Crossref","is-referenced-by-count":1,"title":["Two Methods for Constructing Horn Contractions"],"prefix":"10.1007","author":[{"given":"Zhi Qiang","family":"Zhuang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurice","family":"Pagnucco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"8_CR1","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00284973","volume":"20","author":"H. Rott","year":"1991","unstructured":"Rott, H.: Two methods of constructing contractions and revisions of knowledge systems. Journal of Philosophical Logic\u00a020(2), 149\u2013173 (1991)","journal-title":"Journal of Philosophical Logic"},{"key":"8_CR2","unstructured":"Delgrande, J.P., Wassermann, R.: Horn clause contraction function: Belief set and belief base approaches. In: Proc. KR 2010 (2010)"},{"key":"8_CR3","unstructured":"Delgrande, J.P.: Horn clause belief change: Contraction functions. In: Proc. KR 2008, pp. 156\u2013165 (2008)"},{"key":"8_CR4","unstructured":"Booth, R., Meyer, T., Varzinczak, I.J.: Next steps in propositional Horn contraction. In: Proc. IJCAI 2009, pp. 702\u2013707 (2009)"},{"key":"8_CR5","unstructured":"Booth, R., Meyer, T., Varzinczak, I., Wassermann, R.: A contraction core for horn belief change: Preliminary report. In: Proc. NMR 2010 (2010)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Zhuang, Z.Q., Pagnucco, M.: Horn contraction via epistemic entrenchment. In: Proc. JELIA 2010 (2010)","DOI":"10.1007\/978-3-642-15675-5_29"},{"issue":"2","key":"8_CR7","first-page":"510","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. JSL\u00a050(2), 510\u2013530 (1985)","journal-title":"JSL"},{"key":"8_CR8","unstructured":"G\u00e4rdenfors, P., Makinson, D.: Revisions of knowledge systems using epistemic entrenchment. In: Proc. TARK 1988, pp. 83\u201395 (1988)"},{"key":"8_CR9","unstructured":"Flouris, G., Plexousakis, D., Antoniou, G.: Generalizing the AGM postulates: preliminary results and applications. In: Proc. NMR 2004, pp. 171\u2013179 (2004)"},{"issue":"2","key":"8_CR10","first-page":"61","volume":"8","author":"J.C.C. McKinsey","year":"1943","unstructured":"McKinsey, J.C.C.: The decision problem for some classes of sentences without quantifiers. JSL\u00a08(2), 61\u201376 (1943)","journal-title":"JSL"},{"issue":"1-3","key":"8_CR11","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/0004-3702(92)90009-M","volume":"58","author":"R. Dechter","year":"1992","unstructured":"Dechter, R., Pearl, J.: Structure identification in relational data. Artif. Intell.\u00a058(1-3), 237\u2013270 (1992)","journal-title":"Artif. Intell."},{"key":"8_CR12","first-page":"904","volume-title":"Proc. AAAI 1991","author":"B. Selman","year":"1991","unstructured":"Selman, B., Kautz, H.: Knowledge compilation using Horn approximations. In: Proc. AAAI 1991, pp. 904\u2013909. MIT Press, Cambridge (1991)"}],"container-title":["Lecture Notes in Computer Science","AI 2010: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17432-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T12:51:50Z","timestamp":1559825510000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/link.springer.com\/10.1007\/978-3-642-17432-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642174315","9783642174322"],"references-count":12,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1007\/978-3-642-17432-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}