{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:16Z","timestamp":1725663856967},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540545637"},{"type":"electronic","value":"9783540384663"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54563-8_91","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:02:07Z","timestamp":1330210927000},"page":"276-285","source":"Crossref","is-referenced-by-count":1,"title":["Updates with equality: Beyond the Herbrand universe assumption"],"prefix":"10.1007","author":[{"given":"Marianne","family":"Winslett","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Timothy S. -C.","family":"Chou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"28_CR1","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference","author":"T. S. Chou","year":"1991","unstructured":"T. S-C Chou and M. Winslett, \u201cImmortal: a Model-based Belief Revision System,\u201d in J. A. Allen, R. Fikes, and E. Sandewall (eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference, San Mateo, CA, Morgan Kaufmann, 1991."},{"key":"28_CR2","volume-title":"Knowledge in Flux: Modeling the Dynamics of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"P. G\u00e4rdenfors, Knowledge in Flux: Modeling the Dynamics of Epistemic States, Bradford Books, MIT Press, 1988."},{"key":"28_CR3","first-page":"24","volume":"44","author":"P. G\u00e4rdenfors","year":"1990","unstructured":"P. G\u00e4rdenfors, \u201cThe Dynamics of Belief Systems: Foundations vs. Coherence Theories,\u201d Revue Internationale de Philosophie, Vol 44, pp. 24\u201346, January 1990.","journal-title":"Revue Internationale de Philosophie"},{"key":"28_CR4","unstructured":"H. Katsuno and A. O. Mendelzon, \u201cA Unified View of Propositional Knowledge Base Updates,\u201d IJCAI-89, August 1989; full version to appear in Artificial Intelligence."},{"key":"28_CR5","unstructured":"K. Myers and D. E. Smith, \u201cOn the Persistence of Derived Information,\u201d AAAI-88, August 1988."},{"key":"28_CR6","unstructured":"A. S. Rao and N. Y. Foo, \u201cMinimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions,\u201d IJCAI-89, August 1989."},{"key":"28_CR7","unstructured":"P. K. Rathmann and M. Winslett, \u201cCircumscribing Equality,\u201d IJCAI-89, August 1989; full version submitted for journal publication."},{"key":"28_CR8","unstructured":"M. Winslett, \u201cReasoning About Action Using a Possible Models Approach,\u201d AAAI-88, August 1988."},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"M. Winslett, \u201cCircumscriptive Semantics for Updating Knowledge Bases,\u201d Annals of Mathematics and Artificial Intelligence, J. C. Baltzer AG Scientific Publishing Company, 1991.","DOI":"10.1007\/BF01530932"}],"container-title":["Lecture Notes in Computer Science","Methodologies for Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54563-8_91.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:55:49Z","timestamp":1605646549000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54563-8_91"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540545637","9783540384663"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-54563-8_91","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}