{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:09:27Z","timestamp":1725458967130},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540543053"},{"type":"electronic","value":"9783540475507"}],"license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bfb0037035","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T15:39:32Z","timestamp":1138203572000},"page":"155-177","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Semantic accounts of belief revision"],"prefix":"10.1007","author":[{"given":"Peter","family":"Jackson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Pais","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,21]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/0004-3702(90)90048-5","volume":"41","author":"J. Bell","year":"1990","unstructured":"Bell, J. (1990). The logic of nonmonotonicity. Artificial Intelligence, 41, 365\u2013374.","journal-title":"Artificial Intelligence"},{"key":"10_CR2","unstructured":"Dalal, M. (1988). Investigations into a theory of knowledge base revision: Preliminary report. 7th National Conference on Artificial Intelligence, 475\u2013479."},{"key":"10_CR3","unstructured":"de Kleer, J. (1984). Choices without backtracking. 5th National Conference on Artificial Intelligence, 79\u201385."},{"key":"10_CR4","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"de Kleer, J. (1986). An assumption-based TMS. Artificial Intelligence, 28, 127\u2013162.","journal-title":"Artificial Intelligence"},{"key":"10_CR5","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1980","unstructured":"Doyle, J. (1980). A truth maintenance system. Artificial Intelligence, 12, 231\u2013272.","journal-title":"Artificial Intelligence"},{"key":"10_CR6","first-page":"63","volume-title":"Non-Standard Logics for Automated Reasoning","author":"L. Fari\u00f1as del Cerro","year":"1988","unstructured":"Fari\u00f1as del Cerro, L. & Herzig, A. (1988). An automated modal logic of elementary changes. In Smets, P., Mamdani, E. H., Dubois, D. & Prade, H. (eds.) Non-Standard Logics for Automated Reasoning, pp. 63\u201379, London: Academic Press."},{"key":"10_CR7","volume-title":"Knowledge in Flux","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P. (1988). Knowledge in Flux. Boston, MA: MIT Press."},{"key":"10_CR8","unstructured":"G\u00e4rdenfors, P. & Makinson, D. (1988). Revisions of knowledge systems using epistemic entrenchment. 2nd Conference on Theoretical Aspects of Reasoning About Knowledge, 83\u201395."},{"key":"10_CR9","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0004-3702(86)90067-6","volume":"30","author":"M. L. Ginsberg","year":"1986","unstructured":"Ginsberg, M. L. (1986). Counterfactuals. Artificial Intelligence, 30, 35\u201379.","journal-title":"Artificial Intelligence"},{"key":"10_CR10","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-94-010-1853-1_6","volume-title":"Foundations of Probability Theory, Statistical Inference, and Statistical Theories of Science","author":"W. L. Harper","year":"1976","unstructured":"Harper, W. L. (1976). Ramsey Test conditionals and iterated belief change. In Foundations of Probability Theory, Statistical Inference, and Statistical Theories of Science, W.L. Harper & C. Hooker, Eds. Dordrecht: Reidel, vol. 1, 117\u2013135."},{"key":"10_CR11","unstructured":"Jackson, P. (1989). On the semantics of counterfactuals. In Proceedings of the 11th International Joint Conference on Artificial Intelligence, 1382\u20131387."},{"key":"10_CR12","unstructured":"Jackson, P. (1990). Abduction and counterfactuals. In Working Notes of AAAI Spring Symposium Series: Automated Abduction, pp. 77\u201381."},{"key":"10_CR13","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1007\/3-540-52885-7_113","volume-title":"10th International Conference on Automated Deduction","author":"P. Jackson","year":"1990","unstructured":"Jackson, P. & Pais, J. (1990). Computing prime implicants. 10th International Conference on Automated Deduction, pp.543\u2013557, Berlin: Springer-Verlag."},{"key":"10_CR14","unstructured":"Katsuno, H. & Mendelzon, A. O. (1989). A unified view of propositional knowledge base updates. Proceedings of the 11th International Joint Conference on Artificial Intelligence, 1413\u20131419."},{"key":"10_CR15","volume-title":"Counterfactuals","author":"D. K. Lewis","year":"1973","unstructured":"Lewis, D. K. (1973). Counterfactuals. Cambridge, MA: Harvard University Press."},{"key":"10_CR16","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0004-3702(88)90031-8","volume":"35","author":"J. P. Martins","year":"1988","unstructured":"Martins, J. P. & Shapiro, S. C. (1988). A model for belief revision. Artificial Intelligence, 35, 25\u201379.","journal-title":"Artificial Intelligence"},{"key":"10_CR17","unstructured":"McAllester, D. (1980). An outlook on truth maintenance. Report No. AIM-551, AI Laboratory, MIT."},{"key":"10_CR18","unstructured":"Pais, J. & Jackson, P. (1990). Partial monotonicity and a new version of the Ramsey Test. Submitted for publication."},{"key":"10_CR19","unstructured":"Rao, A. S. & Foo, N. Y. (1989). Formal theories of belief revision. 1st International Conference on Principles of Knowledge Representation and Reasoning, 369\u2013280."},{"key":"10_CR20","unstructured":"Satoh, K. (1988). Nonmonotonic reasoning by minimal belief revision. Proceedings of the International Conference on Fifth Generation Computer Systems, 455\u2013462."},{"key":"10_CR21","unstructured":"Winslett, M. (1988). Reasoning about action using a possible models approach. 7th National Conference on Artificial Intelligence, 89\u201393."}],"container-title":["Lecture Notes in Computer Science","Truth Maintenance Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0037035","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:07:23Z","timestamp":1558271243000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0037035"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540543053","9783540475507"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0037035","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]},"assertion":[{"value":"21 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}