{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T05:03:59Z","timestamp":1725771839221},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319049380"},{"type":"electronic","value":"9783319049397"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-04939-7_19","type":"book-chapter","created":{"date-parts":[[2014,2,20]],"date-time":"2014-02-20T04:22:51Z","timestamp":1392870171000},"page":"381-398","source":"Crossref","is-referenced-by-count":5,"title":["Belief Merging in Dynamic Logic of Propositional Assignments"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Herzig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pilar","family":"Pozos-Parra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Schwarzentruber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Balbiani, P., Herzig, A., Troquard, N.: Dynamic logic of propositional assignments: A well-behaved variant of PDL. In: Kupferman, O. (ed.) Logic in Computer Science (LICS), New Orleans, June 25-28, IEEE (2013), \n                    \n                      http:\/\/www.ieee.org\/","DOI":"10.1109\/LICS.2013.20"},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1111\/j.1467-8640.1992.tb00337.x","volume":"8","author":"C. Baral","year":"1992","unstructured":"Baral, C., Kraus, S., Minker, J., Subrahmanian, V.S.: Combining knowledge bases consisting of first-order theories. Computational Intelligence\u00a08, 45\u201371 (1992)","journal-title":"Computational Intelligence"},{"issue":"1","key":"19_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(96)00038-0","volume":"89","author":"A. Darwiche","year":"1997","unstructured":"Darwiche, A., Pearl, J.: On the logic of iterated belief revision. Artificial Intelligence\u00a089(1), 1\u201329 (1997)","journal-title":"Artificial Intelligence"},{"issue":"6","key":"19_CR4","doi-asserted-by":"publisher","first-page":"801","DOI":"10.1093\/logcom\/14.6.801","volume":"14","author":"J.P. Delgrande","year":"2004","unstructured":"Delgrande, J.P., Schaub, T., Tompits, H., Woltran, S.: On computing belief change operations using quantified boolean formulas. Journal of Logic and Computation\u00a014(6), 801\u2013826 (2004)","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"19_CR5","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1016\/j.ijar.2008.03.008","volume":"49","author":"N. Gorogiannis","year":"2008","unstructured":"Gorogiannis, N., Hunter, A.: Implementing semantic merging operators using binary decision diagrams. International Journal of Approximate Reasoning\u00a049(1), 234\u2013251 (2008)","journal-title":"International Journal of Approximate Reasoning"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-77684-0_11","volume-title":"Foundations of Information and Knowledge Systems","author":"N. Gorogiannis","year":"2008","unstructured":"Gorogiannis, N., Hunter, A.: Merging first-order knowledge using dilation operators. In: Hartmann, S., Kern-Isberner, G. (eds.) FoIKS 2008. LNCS, vol.\u00a04932, pp. 132\u2013150. Springer, Heidelberg (2008)"},{"key":"19_CR7","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/978-94-009-6259-0_10","volume-title":"Handbook of Philosophical Logic","author":"D. Harel","year":"1984","unstructured":"Harel, D.: Dynamic logic. In: Gabbay, D.M., G\u00fcnthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a0II, pp. 497\u2013604. D. Reidel, Dordrecht (1984)"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press (2000)","DOI":"10.7551\/mitpress\/2516.001.0001"},{"key":"19_CR9","unstructured":"Herzig, A., Lorini, E., Moisan, F., Troquard, N.: A dynamic logic of normative systems. In: Walsh, T. (ed.) International Joint Conference on Artificial Intelligence (IJCAI), IJCAI\/AAAI, Barcelona, pp. 228\u2013233 (2011), Erratum at \n                    \n                      http:\/\/www.irit.fr\/~Andreas.Herzig\/P\/Ijcai11.html"},{"key":"19_CR10","first-page":"437","volume":"37","author":"W. Hoek van der","year":"2010","unstructured":"van der Hoek, W., Walther, D., Wooldridge, M.: On the logic of cooperation and the transfer of control. J. of AI Research (JAIR)\u00a037, 437\u2013477 (2010)","journal-title":"J. of AI Research (JAIR)"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"van der Hoek, W., Wooldridge, M.: On the dynamics of delegation, cooperation and control: A logical account. In: Proc. AAMAS 2005 (2005)","DOI":"10.1145\/1082473.1082580"},{"issue":"1-2","key":"19_CR12","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/j.artint.2005.01.003","volume":"164","author":"W. Hoek van der","year":"2005","unstructured":"van der Hoek, W., Wooldridge, M.: On the logic of cooperation and propositional control. Artif. Intell.\u00a0164(1-2), 81\u2013119 (2005)","journal-title":"Artif. Intell."},{"key":"19_CR13","unstructured":"Konieczny, S.: On the difference between merging knowledge bases and combining them. In: KR, pp. 135\u2013144 (2000)"},{"issue":"2","key":"19_CR14","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s10992-011-9175-5","volume":"40","author":"S. Konieczny","year":"2011","unstructured":"Konieczny, S., P\u00e9rez, R.P.: Logic based merging. Journal of Philosophical Logic\u00a040(2), 239\u2013270 (2011)","journal-title":"Journal of Philosophical Logic"},{"key":"19_CR15","unstructured":"Konieczny, S., P\u00e9rez, R.P.: On the logic of merging. In: Proc. 6th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 1998), pp. 488\u2013498. Morgan Kaufmann (1998)"},{"key":"19_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/3-540-48747-6_22","volume-title":"Symbolic and Quantitative Approaches to Reasoning and Uncertainty","author":"S. Konieczny","year":"1999","unstructured":"Konieczny, S., Pino P\u00e9rez, R.: Merging with integrity constraints. In: Hunter, A., Parsons, S. (eds.) ECSQARU 1999. LNCS (LNAI), vol.\u00a01638, pp. 233\u2013244. Springer, Heidelberg (1999)"},{"issue":"12","key":"19_CR17","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1016\/j.artint.2010.04.023","volume":"174","author":"J. Lang","year":"2010","unstructured":"Lang, J., Marquis, P.: Reasoning under inconsistency: A forgetting-based approach. Artificial Intelligence\u00a0174(12), 799\u2013823 (2010)","journal-title":"Artificial Intelligence"},{"key":"19_CR18","unstructured":"Liberatore, P., Schaerf, M.: Brels: A system for the integration of knowledge bases. In: KR, pp. 145\u2013152. Citeseer (2000)"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Lin, J., Mendelzon, A.: Knowledge base merging by majority. In: Pareschi, R., Fronhoefer, B. (eds.) Dynamic Worlds: From the Frame Problem to Knowledge Management, Kluwer Academic (1999)","DOI":"10.1007\/978-94-017-1317-7_6"},{"key":"19_CR20","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/153850.153857","volume-title":"Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS 1993","author":"P.Z. Revesz","year":"1993","unstructured":"Revesz, P.Z.: On the semantics of theory change: arbitration between old and new information. In: Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS 1993, pp. 71\u201382. ACM, New York (1993)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-04939-7_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T05:02:11Z","timestamp":1558846931000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-04939-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319049380","9783319049397"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-04939-7_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}