{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T19:56:19Z","timestamp":1725738979355},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642397868"},{"type":"electronic","value":"9783642397875"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39787-5_17","type":"book-chapter","created":{"date-parts":[[2013,7,2]],"date-time":"2013-07-02T08:22:14Z","timestamp":1372753334000},"page":"206-217","source":"Crossref","is-referenced-by-count":2,"title":["Handling Incoming Beliefs"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Besnard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c9ric","family":"Gr\u00e9goire","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/s10992-011-9171-9","volume":"40","author":"E. Ferm\u00e9","year":"2011","unstructured":"Ferm\u00e9, E., Hansson, S.: AGM 25 years. twenty-five years of research in belief change. J. of Philosophical Logic\u00a040, 295\u2013331 (2011)","journal-title":"J. of Philosophical Logic"},{"issue":"2","key":"17_CR2","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. of Symbolic Logic\u00a050(2), 510\u2013530 (1985)","journal-title":"J. of Symbolic Logic"},{"key":"17_CR3","unstructured":"Katsuno, H., Mendelzon, A.: On the difference between updating a knowledge base and revising it. In: Proc. of KR 1991, pp. 387\u2013394 (1991)"},{"key":"17_CR4","unstructured":"G\u00e4rdenfors, P.: Knowledge in Flux: Modeling the Dynamics of Epistemic States, vol.\u00a0103. MIT Press (1988)"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Hansson, S.O.: A Textbook of Belief Dynamics. Theory Change and Database Updating. Kluwer Academic (1999)","DOI":"10.1007\/978-94-007-0814-3"},{"key":"17_CR6","unstructured":"Konieczny, S., Pino P\u00e9rez, R.: On the logic of merging. In: Proc. of KR 1998, pp. 488\u2013498 (1998)"},{"issue":"1","key":"17_CR7","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1016\/j.inffus.2005.07.002","volume":"7","author":"S. Konieczny","year":"2006","unstructured":"Konieczny, S., Gr\u00e9goire, \u00c9.: Logic-based information fusion in artificial intelligence. Information Fusion\u00a07(1), 4\u201318 (2006)","journal-title":"Information Fusion"},{"key":"17_CR8","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"Doyle, J.: A truth maintenance system. Artificial Intelligence\u00a012, 231\u2013272 (1979)","journal-title":"Artificial Intelligence"},{"key":"17_CR9","unstructured":"Dalal, M.: Investigations into a theory of knowledge base revision (preliminary report). In: Proc. of AAAI 1988, vol.\u00a02, pp. 475\u2013479 (1988)"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Revesz, P.Z.: On the semantics of theory change: Arbitration between old and new information. In: Proc. of PODS 1993, pp. 71\u201382 (1993)","DOI":"10.1145\/153850.153857"},{"key":"17_CR11","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1145\/176567.176571","volume":"19","author":"V.S. Subrahmanian","year":"1994","unstructured":"Subrahmanian, V.S.: Amalgamating knowledge bases. ACM Transactions on Database Systems\u00a019, 291\u2013331 (1994)","journal-title":"ACM Transactions on Database Systems"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Fagin, R., Ullman, J.D., Vardi, M.Y.: On the semantics of updates in databases. In: Proc. of PODS 1983, pp. 352\u2013365 (1983)","DOI":"10.1145\/588097.588100"},{"key":"17_CR13","first-page":"587","volume-title":"Proc. of Fusion 2012","author":"P. Besnard","year":"2012","unstructured":"Besnard, P., Gr\u00e9goire, \u00c9., Ramon, S.: Logic-based fusion of legal knowledge. In: Proc. of Fusion 2012, pp. 587\u2013592. IEEE Press, Singapor (2012)"},{"key":"17_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-642-25975-3_5","volume-title":"Knowledge Science, Engineering and Management","author":"P. Besnard","year":"2011","unstructured":"Besnard, P., Gr\u00e9goire, \u00c9., Ramon, S.: Enforcing Logically Weaker Knowledge in Classical Logic. In: Xiong, H., Lee, W.B. (eds.) KSEM 2011. LNCS, vol.\u00a07091, pp. 44\u201355. Springer, Heidelberg (2011)"},{"key":"17_CR15","unstructured":"Besnard, P., Gr\u00e9goire, \u00c9., Ramon, S.: Preemption operators. In: Proc. of ECAI 2012, pp. 893\u2013894 (2012)"},{"key":"17_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"532","DOI":"10.1007\/978-3-642-22152-1_45","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"P. Besnard","year":"2011","unstructured":"Besnard, P., Gr\u00e9goire, \u00c9., Ramon, S.: Overriding subsuming rules. In: Liu, W. (ed.) ECSQARU 2011. LNCS, vol.\u00a06717, pp. 532\u2013544. Springer, Heidelberg (2011)"},{"key":"17_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"Theory and Applications of Satisfiability Testing - SAT 2011","year":"2011","unstructured":"Sakallah, K.A., Simon, L. (eds.): SAT 2011. LNCS, vol.\u00a06695. Springer, Heidelberg (2011)"},{"key":"17_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/978-3-540-76928-6_52","volume-title":"AI 2007: Advances in Artificial Intelligence","author":"Z.Q. Zhuang","year":"2007","unstructured":"Zhuang, Z.Q., Pagnucco, M., Meyer, T.: Implementing iterated belief change via prime implicates. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol.\u00a04830, pp. 507\u2013518. Springer, Heidelberg (2007)"},{"key":"17_CR19","unstructured":"Bienvenu, M., Herzig, A., Qi, G.: Prime implicate-based belief revision operators. In: 20th European Conference on Artificial Intelligence (ECAI 2012), pp. 741\u2013742 (2008)"},{"key":"17_CR20","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1613\/jair.989","volume":"17","author":"A. Darwiche","year":"2002","unstructured":"Darwiche, A., Marquis, P.: A knowledge compilation map. J. Artif. Intell. Res. (JAIR)\u00a017, 229\u2013264 (2002)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"17_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-540-45220-1_18","volume-title":"Computer Science Logic","author":"T. Eiter","year":"2003","unstructured":"Eiter, T., Makino, K.: Generating all abductive explanations for queries on propositional horn theories. In: Baaz, M., Makowsky, J.A. (eds.) CSL 2003. LNCS, vol.\u00a02803, pp. 197\u2013211. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Knowledge Science, Engineering and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39787-5_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T09:03:47Z","timestamp":1557911027000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39787-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642397868","9783642397875"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39787-5_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}