{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:40:22Z","timestamp":1742593222969,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540535072"},{"type":"electronic","value":"9783540466826"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53507-1_92","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:09:51Z","timestamp":1330207791000},"page":"407-421","source":"Crossref","is-referenced-by-count":4,"title":["The Revised G\u00e4rdenfors postulates and update semantics"],"prefix":"10.1007","author":[{"given":"Leigh","family":"Willard","sequence":"first","affiliation":[]},{"given":"Li Yan","family":"Yuan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"Abiteboul, S. Updates a New Frontier, Intl. Conf. on Database Theory, pp. 1\u201318, 1988.","DOI":"10.1007\/3-540-50171-1_1"},{"issue":"2","key":"26_CR2","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. E. Alchourron","year":"1985","unstructured":"Alchourron, C. E., G\u00e4rdenfors, P., Makinson, D., On the Logic of Theory Change: Partial Meet Contraction and Revision Functions, The Journal of Symbolic Logic, 50:2, pp.510\u2013531, June 1985.","journal-title":"The Journal of Symbolic Logic"},{"key":"26_CR3","unstructured":"Dalal, M., Updates in Propositional Databases, DCS-TR-222, Dept. of Computer Science, Rutgers University, Feb 1988."},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Fagin, R., Ullman, J. D., Vardi, M. Y. On the Semantics of Updates in Databases, ACM PODS, pp. 352\u2013365, March 1983.","DOI":"10.1145\/588058.588100"},{"key":"26_CR5","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1080\/00048408412341331","volume":"62","author":"P. G\u00e4rdenfors","year":"1984","unstructured":"G\u00e4rdenfors, P., Epistemic Importance and Minimal Changes of Belief, Australasian Journal of Philosophy, 62, pp. 137\u2013157, 1984.","journal-title":"Australasian Journal of Philosophy"},{"key":"26_CR6","unstructured":"Hadley, R. F., Fagin and Halpern on Logical Omniscience: A Critique with an Alternative, Proc. of the 6th Canadian Conf. on Artificial Intelligence, pp. 49\u201356, 1986."},{"key":"26_CR7","unstructured":"Katsuno, H., Mendelzon, A. O., A Unified View of Propositional Knowledge Base Updates, 11th Intl. Joint Conf. on Artificial Intelligence, 1989, pp. 1413\u20131419."},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Kuper, G. M., Ullman, J. D., Vardi, M. Y., On the Equivalence of Logical Databases, Proc. of the 3rd ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, pp. 221\u2013228, April 1984.","DOI":"10.1145\/588011.588044"},{"key":"26_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"Lloyd, J. W., Foundations of Logic Programming, Springer-Verlag Berlin Heidelberg New York, second edition 1987.","edition":"second edition"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"Winslett, M., A Model-Theoretic Approach to Updating Logical Databases (Extended Abstract), Proc. of the 5th ACM PODS, Cambridge, pp. 224\u2013234, March 1986.","DOI":"10.1145\/6012.15416"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"Winslett, M., A Framework for Comparison of Update Semantics (Extended Abstract), Proc. of the 7th ACM PODS, pp. 315\u2013325, 1988.","DOI":"10.1145\/308386.308465"},{"key":"26_CR12","unstructured":"Winslett, M., Reasoning About Action using a Possible Models Approach, Proc. of the 7th National (USA) Conf. on Artificial Intelligence, pp. 89\u201393, 1988."}],"container-title":["Lecture Notes in Computer Science","ICDT '90"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53507-1_92.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:09:34Z","timestamp":1742591374000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53507-1_92"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540535072","9783540466826"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-53507-1_92","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}