{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:44:06Z","timestamp":1725565446640},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156748"},{"type":"electronic","value":"9783642156755"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"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-15675-5_29","type":"book-chapter","created":{"date-parts":[[2010,9,13]],"date-time":"2010-09-13T04:07:17Z","timestamp":1284350837000},"page":"339-351","source":"Crossref","is-referenced-by-count":4,"title":["Horn Contraction via Epistemic Entrenchment"],"prefix":"10.1007","author":[{"given":"Zhi Qiang","family":"Zhuang","sequence":"first","affiliation":[]},{"given":"Maurice","family":"Pagnucco","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"29_CR1","doi-asserted-by":"publisher","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. Logic\u00a050(2), 510\u2013530 (1985)","journal-title":"J. Symb. Logic"},{"key":"29_CR2","unstructured":"Delgrande, J.P.: Horn clause belief change: Contraction functions. In: Proc. KR 2008, pp. 156\u2013165 (2008)"},{"key":"29_CR3","unstructured":"Booth, R., Meyer, T., Varzinczak, I.J.: Next steps in propositional Horn contraction. In: Proc. IJCAI 2009, pp. 702\u2013707 (2009)"},{"key":"29_CR4","unstructured":"Delgrande, J.P., Wassermann, R.: Horn clause contraction function: Belief set and belief base approaches. In: Proc. KR 2010 (2010)"},{"volume-title":"The Description Logic Handbook","year":"2003","key":"29_CR5","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. CUP, Cambridge (2003)"},{"key":"29_CR6","unstructured":"G\u00e4rdenfors, P., Makinson, D.: Revisions of knowledge systems using epistemic entrenchment. In: Proc. TARK 1988, pp. 83\u201395 (1988)"},{"key":"29_CR7","unstructured":"Flouris, G., Plexousakis, D., Antoniou, G.: Generalizing the AGM postulates: preliminary results and applications. In: Proc. NMR 2004, pp. 171\u2013179 (2004)"},{"key":"29_CR8","unstructured":"Langlois, M., Sloan, R.H., Sz\u00f6r\u00e9nyi, B., Tur\u00e1n, G.: Horn complements: Towards Horn-to-Horn belief revision. In: Proc. AAAI 2008, pp. 466\u2013471 (2008)"},{"issue":"2","key":"29_CR9","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/BF00370186","volume":"50","author":"S.O. Hansson","year":"1991","unstructured":"Hansson, S.O.: Belief contraction without recovery. Studia Logica\u00a050(2), 251\u2013260 (1991)","journal-title":"Studia Logica"},{"key":"29_CR10","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)"},{"key":"29_CR11","volume-title":"Knowledge in Flux: Modelling the Dynamics of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P.: Knowledge in Flux: Modelling the Dynamics of Epistemic States. MIT Press, Cambridge (1988)"},{"issue":"2","key":"29_CR12","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A. Grove","year":"1988","unstructured":"Grove, A.: Two modellings for theory change. Journal of Philosophical Logic\u00a017(2), 157\u2013170 (1988)","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"29_CR13","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF00203386","volume":"1","author":"H. Rott","year":"1992","unstructured":"Rott, H.: Preferential belief change using generalized epistemic entrenchment. JoLLI\u00a01(1), 45\u201378 (1992)","journal-title":"JoLLI"},{"issue":"4","key":"29_CR14","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01181682","volume":"2","author":"S.O. Hansson","year":"1993","unstructured":"Hansson, S.O.: Changes of disjunctively closed bases. JoLLI\u00a02(4), 255\u2013284 (1993)","journal-title":"JoLLI"},{"key":"29_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-0814-3","volume-title":"A Textbook of Belief Dynamics Theory Change and Database Updating","author":"S.O. Hansson","year":"1999","unstructured":"Hansson, S.O.: A Textbook of Belief Dynamics Theory Change and Database Updating. Kluwer, Dordrecht (1999)"},{"key":"29_CR16","unstructured":"Booth, R., Meyer, T., Varzinczak, I., Wassermann, R.: A contraction core for Horn belief change: Preliminary report. In: Proc. NMR 2010 (2010)"},{"issue":"2","key":"29_CR17","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"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15675-5_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,20]],"date-time":"2019-03-20T09:39:16Z","timestamp":1553074756000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15675-5_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156748","9783642156755"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15675-5_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}