{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:41Z","timestamp":1725664301144},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540612865"},{"type":"electronic","value":"9783540684404"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61286-6_134","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:25:02Z","timestamp":1330291502000},"page":"88-97","source":"Crossref","is-referenced-by-count":1,"title":["Semantical considerations for knowledge base updates"],"prefix":"10.1007","author":[{"given":"Yan","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"8_CR1","unstructured":"Dalal, M.: Investigations into a theory of knowledge base revision: Preliminary report. In Proceedings of Seventh National Conference on Artificial Intelligence (AAAI'88). Morgan Kaufmann Publisher, Inc. (1988) 475\u2013479"},{"key":"8_CR2","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"Doyle, J.: A truth maintenance system. Artificial Intelligence\n12 (1979) 231\u2013272","journal-title":"Artificial Intelligence"},{"key":"8_CR3","unstructured":"Gardenfors, P.: Knowledge in Flux. MIT Press. (1988)"},{"key":"8_CR4","unstructured":"Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge database and revising it. In Proceedings of Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Morgan Kaufmann, Inc. (1991) 387\u2013394"},{"key":"8_CR5","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1991","unstructured":"Katsuno, H., Mendelzon, A.O.: Prepositional knowledge base revision and minimal change. Artificial Intelligence\n52 (1991) 263\u2013294","journal-title":"Artificial Intelligence"},{"key":"8_CR6","unstructured":"Winslett, M.: Reasoning about action using a possible models approach. In Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI'88). Morgan Kaufmann Publisher, Inc. (1988) 89\u201393"},{"key":"8_CR7","unstructured":"Zhang, Y., Foo, N.Y.: Reasoning about persistence: a theory of actions. In Proceedings of Thirteenth International Joint Conference on Artificial Intelligence (IJCAI'93). Morgan Kaufmann Publishers, Inc. (1993) 718\u2013723"},{"key":"8_CR8","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BF01530894","volume":"14","author":"Y. Zhang","year":"1995","unstructured":"Zhang, Y., Foo, N.Y.: Applying the persistent set approach in temporal reasoning. Annals of Mathematics and Artificial Intelligence\n14 (1995) 75\u201398","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"8_CR9","unstructured":"Zhang, Y.: Compiling causality into action theories. In Proceedings of The Third Symposium on Logical Formalizations of Common-sense Reasoning (CommonSense'96), Stanford (1996) 263\u2013270"}],"container-title":["Lecture Notes in Computer Science","Foundations of Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61286-6_134.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:30:37Z","timestamp":1619573437000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61286-6_134"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540612865","9783540684404"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-61286-6_134","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}