{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:58Z","timestamp":1725663958744},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584674"},{"type":"electronic","value":"9783540489795"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58467-6_21","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:13:16Z","timestamp":1330272796000},"page":"237-247","source":"Crossref","is-referenced-by-count":3,"title":["A conditional logic for updating in the possible models approach"],"prefix":"10.1007","author":[{"given":"Luis Fari\u00f1as","family":"Cerro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Herzig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF00693270","volume":"4","author":"B.F. Chellas","year":"1975","unstructured":"B.F. Chellas (1975), Basic conditional logic. J. of Philos. Logic, 4, pp 133\u201353.","journal-title":"J. of Philos. Logic"},{"key":"21_CR2","unstructured":"T.S. Chou & M. Winslett (1991), Immortal: A model-based belief revision system. Proc. KR'91."},{"key":"21_CR3","unstructured":"A. Del Val (1992), Computing knowledge base updates. Proc. KR'92."},{"key":"21_CR4","first-page":"227","volume":"57","author":"T. Eiter","year":"1992","unstructured":"Th. Eiter & G. Gottlob (1992), On the complexity of propositional knowledge base revision, updates, and counterfactuals. Journal of AI 57, pp. 227\u2013270.","journal-title":"Journal of AI"},{"key":"21_CR5","unstructured":"L. Farinas del Cerro & A. Herzig (1988), An automated modal logic for elementary changes. Non-Standard Logics for Automated Reasoning (ed. P Smets, A, Mandani, D. Dubois & H. Prade). Academic Press, pp 63\u201379."},{"key":"21_CR6","unstructured":"G. Grahne (1991), Updates and Contrafactuals. Proc. KR'91."},{"key":"21_CR7","unstructured":"H. Katsuno & A.O. Mendelzon (1989), A unified view of propositional knowledge base updates. Proc. IJCAI'89."},{"key":"21_CR8","first-page":"263","volume":"52","author":"H. Katsuno","year":"1991","unstructured":"H. Katsuno & A.O. Mendelzon (1991), Propositional knowledge base revision and minimal change. Journal of AI 52, 263\u2013294.","journal-title":"Journal of AI"},{"key":"21_CR9","unstructured":"H. Katsuno & A.O. Mendelzon (1991), On the Difference between Updating a Knowledge Base and Revising it. Proc. KR'91."},{"key":"21_CR10","unstructured":"H. Katsuno & K. Satoh (1991), A unified view of consequence relation, belief revision and conditional logic. Proc. IJCAI'91."},{"key":"21_CR11","volume-title":"Counterfactuals","author":"D. K. Lewis","year":"1973","unstructured":"D. K. Lewis (1973), Counterfactuals. Blackwell, Oxford."},{"key":"21_CR12","unstructured":"M. Winslett (1988), Reasoning about actions. Proc. AAAI'88, pp 89\u201393."},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"M. Winslett (1990), Updating Logical Databases. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press.","DOI":"10.1017\/CBO9780511663109"},{"key":"21_CR14","unstructured":"M. Winslett (1994), Updating Logical Databases. Handbook of Logic in AI (ed. D. Gabbay, A. Galton, C. Hogger), Oxford University Press, to appear."}],"container-title":["Lecture Notes in Computer Science","KI-94: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58467-6_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:16:25Z","timestamp":1619572585000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58467-6_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584674","9783540489795"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-58467-6_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}