{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T22:10:07Z","timestamp":1750803007286,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T00:00:00Z","timestamp":1503446400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004663","name":"Ministry of Science and Technology, Taiwan","doi-asserted-by":"publisher","award":["104-2221-E-001 -010 -MY3"],"award-info":[{"award-number":["104-2221-E-001 -010 -MY3"]}],"id":[{"id":"10.13039\/501100004663","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Ministry of Science and Technology,Taiwan","award":["105-2410-H-346-006-MY2"],"award-info":[{"award-number":["105-2410-H-346-006-MY2"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,8,23]]},"DOI":"10.1145\/3106426.3106519","type":"proceedings-article","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T12:12:36Z","timestamp":1502367156000},"page":"509-516","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A logic for reasoning about evidence and belief"],"prefix":"10.1145","author":[{"given":"Tuan-Fang","family":"Fan","sequence":"first","affiliation":[{"name":"Department of Computer Science and Information Engineering, Penghu, Taiwan"}]},{"given":"Churn-Jung","family":"Liau","sequence":"additional","affiliation":[{"name":"Institute of Information Science, Taipei, Taiwan"}]}],"member":"320","published-online":{"date-parts":[[2017,8,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020308090060"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-27683-0_3"},{"key":"e_1_3_2_1_3_1","unstructured":"S. Artemov and M. Fitting. 2012. Justification logic. In The Stanford Encyclopedia of Philosophy (fall 2012 ed.) E.N. Zalta (Ed.). S. Artemov and M. Fitting. 2012. Justification logic. In The Stanford Encyclopedia of Philosophy (fall 2012 ed.) E.N. Zalta (Ed.)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1562814.1562821"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exi053"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-52921-8_6"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32621-9_13"},{"volume-title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI). 2748--2754","author":"Belardinelli F.","key":"e_1_3_2_1_8_1"},{"volume-title":"Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence. 886--892","author":"Belardinelli F.","key":"e_1_3_2_1_9_1"},{"volume-title":"Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems (AAMAS). 635--643","author":"Belardinelli F.","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0022481200094512"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1002\/int.4550091003"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"R. Fagin J.Y. Halpern Y. Moses and M.Y. Vardi. 1996. Reasoning about Knowledge. MIT Press. R. Fagin J.Y. Halpern Y. Moses and M.Y. Vardi. 1996. Reasoning about Knowledge . MIT Press.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"volume-title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI). 2948--2954","author":"Fan T.F.","key":"e_1_3_2_1_14_1"},{"volume":"285","volume-title":"Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI) (Frontiers in Artificial Intelligence and Applications)","author":"Fan T.F.","key":"e_1_3_2_1_15_1"},{"volume":"10021","volume-title":"Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA) (Lecture Notes in Artificial Intelligence)","author":"Fan T.F.","key":"e_1_3_2_1_16_1"},{"volume-title":"Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems (AAMAS). 1529--1531","author":"Fan T.F.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1080\/00048407412341051"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1970.tb00432.x"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2004.04.009"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1093\/analys\/23.6.121"},{"key":"e_1_3_2_1_22_1","first-page":"2","article-title":"A fuzzy modal logic for belief functions","volume":"57","author":"Godo L.","year":"2003","journal-title":"Fundamenta Informaticae"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/0888-613X(95)00111-S"},{"key":"e_1_3_2_1_24_1","unstructured":"J. Hintikka. 1962. Knowledge and Belief. Cornell University Press. J. Hintikka. 1962. Knowledge and Belief . Cornell University Press."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-012-9415-x"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzv025"},{"volume":"9537","volume-title":"Proceedings of the International Symposium on Logical Foundations of Computer Science. LNCS","author":"Kokkinis I.","key":"e_1_3_2_1_27_1"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1093\/analys\/25.5.168"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"J.-J. Ch. Meyer and W. van der Hoek. 1995. Epistemic Logic for AI and Computer Science. Cambridge University Press. J.-J. Ch. Meyer and W. van der Hoek. 1995. Epistemic Logic for AI and Computer Science . Cambridge University Press.","DOI":"10.1017\/CBO9780511569852"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2013.07.015"},{"volume-title":"Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, M.I. Emrich, M.Z. Pfeifer, M. Hadzikadic, and Z. W. Ras (Eds.). 201--216","year":"1989","author":"Plaza J.","key":"e_1_3_2_1_31_1"},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of the 10th International Joint Conference on Artificial Intelligence -","volume":"2","author":"Ruspini E.H.","year":"1987"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2015.07.018"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"G. Shafer. 1976. A Mathematical Theory of Evidence. Princeton University Press. G. Shafer. 1976. A Mathematical Theory of Evidence . Princeton University Press.","DOI":"10.1515\/9780691214696"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3091118"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0888-613X(99)00011-0"},{"key":"e_1_3_2_1_37_1","unstructured":"J. van Benthem. 2014. Logical Dynamics of Information and Interaction. Cambridge University Press. J. van Benthem. 2014. Logical Dynamics of Information and Interaction . Cambridge University Press."},{"key":"e_1_3_2_1_38_1","unstructured":"J. van Benthem D. Fern\u00e1ndez Duque and E. Pacuit. 2012. Evidence logic: A new look at neighborhood structures. In Advances in Modal Logic 9 T. Bolander T. Bra\u00fbner S. Ghilardi and L.S. Moss (Eds.). 97--118. J. van Benthem D. Fern\u00e1ndez Duque and E. Pacuit. 2012. Evidence logic: A new look at neighborhood structures. In Advances in Modal Logic 9 T. Bolander T. Bra\u00fbner S. Ghilardi and L.S. Moss (Eds.). 97--118."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2013.07.007"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-011-9347-x"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","unstructured":"H. van Ditmarsch W. van der Hoek and B. Kooi. 2008. Dynamic Epistemic Logic. Springer. H. van Ditmarsch W. van der Hoek and B. Kooi. 2008. Dynamic Epistemic Logic . Springer.","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"crossref","unstructured":"M. Wooldridge. 2000. Reasoning about Rational Agents. MIT Press. M. Wooldridge. 2000. Reasoning about Rational Agents . MIT Press.","DOI":"10.7551\/mitpress\/5804.001.0001"}],"event":{"name":"WI '17: International Conference on Web Intelligence 2017","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","TCII IEEE Computer Society Technical Committee on Intelligent Informatics","Web Intelligence Consortium"],"location":"Leipzig Germany","acronym":"WI '17"},"container-title":["Proceedings of the International Conference on Web Intelligence"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3106426.3106519","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3106426.3106519","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T21:44:31Z","timestamp":1750801471000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3106426.3106519"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,23]]},"references-count":42,"alternative-id":["10.1145\/3106426.3106519","10.1145\/3106426"],"URL":"https:\/\/doi.org\/10.1145\/3106426.3106519","relation":{},"subject":[],"published":{"date-parts":[[2017,8,23]]},"assertion":[{"value":"2017-08-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}