{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:28:31Z","timestamp":1725467311299},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540613138"},{"type":"electronic","value":"9783540684541"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61313-7_73","type":"book-chapter","created":{"date-parts":[[2006,7,12]],"date-time":"2006-07-12T10:19:20Z","timestamp":1152699560000},"page":"193-207","source":"Crossref","is-referenced-by-count":5,"title":["A methodology for iterated theory change"],"prefix":"10.1007","author":[{"given":"Dov","family":"Gabbay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Odinaldo","family":"Rodrigues","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,8,6]]},"reference":[{"issue":"5","key":"15_CR1","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1093\/logcom\/3.5.517","volume":"3","author":"G. Brewka","year":"1993","unstructured":"Gerhard Brewka and Joachim Hertzberg. How to do things with worlds: on formalizing actions and plans. Journal of Logic and Computation, 3(5):517\u2013532, 1993.","journal-title":"Journal of Logic and Computation"},{"key":"15_CR2","unstructured":"M. Dalal. Investigations into a theory of knowledge base revision: Preliminary report. Proceedings of the 7th National Conference on Artificial Intelligence, pages 475\u2013479, 1988."},{"issue":"5","key":"15_CR3","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1093\/logcom\/4.5.797","volume":"4","author":"A. Val del","year":"1994","unstructured":"A. del Val and Y. Shoham. A unified view of belief revision and update. Journal of Logic and Computation, 4(5):797\u2013810, 1994.","journal-title":"Journal of Logic and Computation"},{"key":"15_CR4","volume-title":"A Mathematical Introduction to Logic","author":"H. B. Enderton","year":"1972","unstructured":"H. B. Enderton. A Mathematical Introduction to Logic. Academic Press, New York, 1972."},{"key":"15_CR5","volume-title":"Knowledge in Flux: Modeling the Dynamics of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"Peter G\u00e4rdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. A Bradford Book-The MIT Press, Cambridge, Massachusetts-London, England, 1988."},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1991","unstructured":"Hirofumi Katsuno and Alberto O. Mendelzon. Propositional knowledge base revision and minimal change. Artificial Intelligence, 52:263\u2013294, 1991.","journal-title":"Artificial Intelligence"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Hirofumi Katsuno and Alberto O. Mendelzon. On the difference between updating a knowledge base and revising it. Belief Revision, pages 183\u2013203, 1992.","DOI":"10.1017\/CBO9780511526664.007"},{"key":"15_CR8","unstructured":"David K. Lewis. Counterfactuals. Harvard University Press, 1973."},{"key":"15_CR9","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/BF01057652","volume":"52","author":"D. Makinson","year":"1993","unstructured":"David Makinson. Five faces of minimality. Studia Logica, 52:339\u2013379, 1993.","journal-title":"Studia Logica"},{"key":"15_CR10","unstructured":"Odinaldo Rodrigues. Transfer report: Mphil\/phd. Imperial College of Science, Technology and Medicine, February 1996. Department of Computing."},{"key":"15_CR11","volume-title":"PhD thesis","author":"M. Ryan","year":"1992","unstructured":"Mark Ryan. Ordered Presentation of Theories \u2014 Default Reasoning and Belief Revision. PhD thesis, Department of Computing, Imperial College, U.K., 1992."},{"key":"15_CR12","first-page":"740","volume-title":"Computing knowledge base updates","author":"A. Val Del","year":"1992","unstructured":"Alvaro Del Val. Computing knowledge base updates. In B. Nebel, C. Rich, and W. Swartout, editors, Proc. Third International Conference on Principles of Knowledge Representation and Reasoning (KR '92), pages 740\u2013750. Morgan Kaufmann, San Francisco, CA, 1992."},{"key":"15_CR13","first-page":"89","volume-title":"Proceedings of AAAI-88, St Pauls, MS","author":"M. Winslett","year":"1988","unstructured":"Marianne Winslett. Reasoning about action using a possible models approach. In Proceedings of AAAI-88, St Pauls, MS, pages 89\u201393, San Mateo, CA, 1988. Morgan Kaufmann."}],"container-title":["Lecture Notes in Computer Science","Practical Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61313-7_73","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T20:19:05Z","timestamp":1555705145000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61313-7_73"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540613138","9783540684541"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-61313-7_73","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}