{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:08:34Z","timestamp":1725664114150},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540575306"},{"type":"electronic","value":"9783540482123"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57530-8_29","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T08:08:04Z","timestamp":1330243684000},"page":"444-458","source":"Crossref","is-referenced-by-count":0,"title":["Knowledge base revision using circumscription"],"prefix":"10.1007","author":[{"given":"Li Yan","family":"Yuan","sequence":"first","affiliation":[]},{"given":"Jia-Huai","family":"You","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"29_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourron","year":"1985","unstructured":"C. Alchourron, A. Gardenfors, and D. Makinson. On the logic of theory change: Partial meet contradiction and revision functions. The Journal of Symbolic Logic, 50:510\u2013531, 1985.","journal-title":"The Journal of Symbolic Logic"},{"key":"29_CR2","unstructured":"C. Boutilier A logic for revision and subjunctive queries. In Proc. AAAI-92, 609\u2013615, 1992."},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"R. Fagin, J. Ullman, and M. Vardi. On the semantics of updates in databases. In Proceedings of the 2nd ACM PODS, pages 352\u2013365, 1983.","DOI":"10.1145\/588058.588100"},{"key":"29_CR4","unstructured":"G. Grahne, A. Mendelzon, and R. Reiter On the semantics of belief revision systems. In Proceedings of TARK'92, pages 132\u2013142, 1992."},{"key":"29_CR5","unstructured":"A. Gardenfors and D. Makinson. Revision of knowledge systems using epistemic entrenchment. In Proceedings of the 2nd Workshop on Theoretical Aspects of Reasoning about Knowledge. Morgan Kaufmann, 1988."},{"key":"29_CR6","unstructured":"Hadley, Fagin, and Halpern. On logical omniscience: A critique with an alternative. In Proceedings of the 6th Canadian Conf. on AI, pages 49\u201356, 1986."},{"key":"29_CR7","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1991","unstructured":"H. Katsuno and A.O. Mendelzon. Propositional knowledge base revision and minimal change. Artificial Intelligence, 52:263\u2013294, 1991.","journal-title":"Artificial Intelligence"},{"key":"29_CR8","unstructured":"V. Lifschitz. Computing circumscription. In Proceedings of the 9th Int. Joint Conference on AI, 1986."},{"key":"29_CR9","first-page":"27","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"J. McCarthy. Circumscription \u2014 a form of non-monotonic reasoning. AI, 13:27\u201339, 1980.","journal-title":"AI"},{"key":"29_CR10","first-page":"89","volume":"28","author":"J. McCarthy","year":"1986","unstructured":"J. McCarthy. Applications of circumscription to formalizing common sense knowledge. AI, 28:89\u2013116, 1986.","journal-title":"AI"},{"key":"29_CR11","first-page":"75","volume":"25","author":"R. C. Moore","year":"1985","unstructured":"R.C. Moore. Semantic considerations on non-monotonic logic. AI, 25:75\u201394, 1985.","journal-title":"AI"},{"key":"29_CR12","unstructured":"B. Nebel. A knowledge level analysis of belief revision. KR'89, pages 301\u2013311, 1989."},{"key":"29_CR13","unstructured":"B. Nebel. Belief revision and default reasoning: Syntax-based approaches. KR'91, pages 417\u2013428, 1991."},{"key":"29_CR14","first-page":"47","volume":"38","author":"T. Przyrnusinski","year":"1989","unstructured":"T. Przyrnusinski. An Algorithm to Compute Circumscription. In Artificial Intelligence, vol 38, pages 47\u201373, 1989.","journal-title":"Artificial Intelligence"},{"key":"29_CR15","doi-asserted-by":"crossref","unstructured":"L. Willard and L. Yuan. The revised gardenfors postulates and update semantics. In Proceedings of 1990 International Conference on Database Theory, pages 409\u2013421, 1990.","DOI":"10.1007\/3-540-53507-1_92"},{"key":"29_CR16","unstructured":"L.Y. Yuan and J.H. You. Semantics of First Order Belief Revision Based on Circumscription. Technical Report TR92-17, Department of Computing Science, University of Alberta, 1992."}],"container-title":["Lecture Notes in Computer Science","Deductive and Object-Oriented Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57530-8_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:06:11Z","timestamp":1619557571000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57530-8_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540575306","9783540482123"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-57530-8_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}