{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:22Z","timestamp":1725664282951},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540601128"},{"type":"electronic","value":"9783540494386"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"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":[[1995]]},"DOI":"10.1007\/3-540-60112-0_38","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:41:30Z","timestamp":1330278090000},"page":"328-335","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Revision in extended propositional calculus"],"prefix":"10.1007","author":[{"given":"Odile","family":"Papini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antoine","family":"Rauzy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"38_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourron","year":"1985","unstructured":"C. Alchourron, P. G\u00e4rdenfors, and D. Makinson. On the Logic of Theory Change: Partial Meet Functions for Contraction and Revision. Journal of Symbolic Logic, 50:510\u2013530, 1985.","journal-title":"Journal of Symbolic Logic"},{"key":"38_CR2","doi-asserted-by":"crossref","unstructured":"A. Bordiga. Language Features for Flexible Handling of Exceptions in Information Systems. ACM Transactions on DataBase System, 10, 1985.","DOI":"10.1145\/4879.4995"},{"key":"38_CR3","unstructured":"M. Dalal. Investigations into Theory of Knowledge Base Revision. In Proceedings of the 7th National Conference on Artificial Intelligence, pages 475\u2013164, 1988."},{"key":"38_CR4","volume-title":"Knowledge in Flux: Modeling the Dynamics of Epistemic States","author":"G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. Bradford Books. MIT Press, Cambridge, 1988."},{"key":"38_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.Y. Girard","year":"1987","unstructured":"J.Y. Girard. Linear Logic. Theoretical Computer Science, 50:1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"38_CR6","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. Mendelzon. Propositional Knowledge Base Revision and Minimal Change. Journal of Artificial Intelligence, 52:263\u2013294, 1991.","journal-title":"Journal of Artificial Intelligence"},{"key":"38_CR7","doi-asserted-by":"crossref","unstructured":"O. Papini and A. Rauzy. A Mixed Approach of Revision in Propositional Calculus. In R. Kruse M. Clarke and S. Moral, editors, Proceedings of ECSQARU'93, volume 747, pages 296\u2013303. LNCS, 1993.","DOI":"10.1007\/BFb0028213"},{"key":"38_CR8","first-page":"297","volume":"18","author":"G. H. Wright von","year":"1965","unstructured":"G. H. von Wright. And Next. Acta Philos. Fenn. Fasc., 18:297\u2013304, 1965.","journal-title":"Acta Philos. Fenn. Fasc."},{"key":"38_CR9","unstructured":"M. Winslett. Reasoning about action using a possible models approach. In Proc. of the 7th National Conf. on Artificial intelligence, pages 89\u201393, 1988."}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning and Uncertainty"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60112-0_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:33:22Z","timestamp":1558269202000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60112-0_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601128","9783540494386"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-60112-0_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"2 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}