{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:18:24Z","timestamp":1725459504453},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630951"},{"type":"electronic","value":"9783540691297"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0035652","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T10:29:25Z","timestamp":1138184965000},"page":"600-613","source":"Crossref","is-referenced-by-count":0,"title":["Disjunctive update, minimal change, and default reasoning"],"prefix":"10.1007","author":[{"given":"Yan","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"45_CR1","unstructured":"P. Gardenfors, Knowledge in Flux. MIT Press, 1988."},{"issue":"5","key":"45_CR2","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1093\/logcom\/3.5.517","volume":"3","author":"G. Brewka","year":"1993","unstructured":"G. Brewka and J. Hertzberg, How do things with worlds: On formalizing actions and plans. Journal of Logic and Computation, 3(5) (1993) 517\u2013532.","journal-title":"Journal of Logic and Computation"},{"key":"45_CR3","unstructured":"T. Eiter, G. Gottlob and Y. Gurevich, Curb your theory! A circumscriptive approach for inclusive interpretation of disjunctive information. In Proceedings of 13th International Joint Conference on Artificial Intelligence (IJCAI'93), Morgan Kaufmann, Inc. (1993) 634\u2013639."},{"key":"45_CR4","unstructured":"M. Gelfond, V. Lifschitz, H. Przymusinska and M. Truszczynski, Disjunctive defaults. In Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91), Morgan Kaufmann, Inc. (1991) 230\u2013237."},{"key":"45_CR5","doi-asserted-by":"crossref","unstructured":"G.N. Kartha and V. Lifschitz, Actions with indirect effects. in Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Morgan Kaufmann, Inc. (1994) 341\u2013350.","DOI":"10.1016\/B978-1-4832-1452-8.50127-5"},{"key":"45_CR6","unstructured":"H. Katsuno and A.O. Mendelzon, On the difference between updating a knowledge database and revising it. In Proceedings of KR'91. Morgan Kaufmann, Inc. (1991) 387\u2013394."},{"key":"45_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, Prepositional knowledge base revision and minimal change. In Artificial Intelligence\n52 (1991) 263\u2013294.","journal-title":"Artificial Intelligence"},{"key":"45_CR8","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter, A logic for default reasoning. Artificial Intelligence\n13 (1980) 81\u2013132.","journal-title":"Artificial Intelligence"},{"key":"45_CR9","unstructured":"M. Winslett, 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":"45_CR10","unstructured":"Y. Zhang and N.Y. Foo, Reasoning about persistence: A theory of actions. In Proceedings of 13th International Joint Conference on Artificial Intelligence (IJCAI'93), Morgan Kaufmann, Inc. (1993) 718\u2013723."},{"key":"45_CR11","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BF01530894","volume":"14","author":"Y. Zhang","year":"1995","unstructured":"Y. Zhang and N.Y. Foo, Applying the persistent set approach in temporal reasoning. Annals of Mathematics and Artificial Intelligence\n14 pp 75\u201398, 1995.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"45_CR12","doi-asserted-by":"crossref","unstructured":"Y. Zhang, Semantical considerations for knowledge base updates. In Proceedings of the Ninth International Symposium on Methodologies for Intelligent Systems (ISMIS'96). Also in Lecture Notes in Artificial Intelligence, pp. 88\u201397, Vol. 1079, Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61286-6_134"},{"key":"45_CR13","unstructured":"Y. Zhang and N.Y. Foo, Updating knowledge bases with disjunctive information. In Proceedings of the 14th National Conference on Artificial Intelligence (AAAI'96), pp 562\u2013568. AAAI\/MIT Press, 1996."}],"container-title":["Lecture Notes in Computer Science","Qualitative and Quantitative Practical Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035652","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,8]],"date-time":"2019-02-08T23:45:19Z","timestamp":1549669519000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035652"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630951","9783540691297"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0035652","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}