{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:11:19Z","timestamp":1726409479445},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319487571"},{"type":"electronic","value":"9783319487588"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-48758-8_16","type":"book-chapter","created":{"date-parts":[[2016,10,31]],"date-time":"2016-10-31T09:24:55Z","timestamp":1477905895000},"page":"240-255","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning About Justified Belief Based on the Fusion of Evidence"],"prefix":"10.1007","author":[{"given":"Tuan-Fang","family":"Fan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Churn-Jung","family":"Liau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,1]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2687821","volume":"7","author":"S Artemov","year":"2001","unstructured":"Artemov, S.: Explicit provability and constructive semantics. Bull. Symb. Logic 7, 1\u201336 (2001)","journal-title":"Bull. Symb. Logic"},{"key":"16_CR2","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1017\/S1755020308090060","volume":"1","author":"S Artemov","year":"2008","unstructured":"Artemov, S.: The logic of justification. Rev. Symb. Logic 1, 477\u2013513 (2008)","journal-title":"Rev. Symb. Logic"},{"issue":"1\u20132","key":"16_CR3","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/s11225-012-9387-x","volume":"100","author":"S Artemov","year":"2012","unstructured":"Artemov, S.: The ontology of justifications in the logical setting. Stud. Logica 100(1\u20132), 17\u201330 (2012)","journal-title":"Stud. Logica"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-319-27683-0_3","volume-title":"Logical Foundations of Computer Science","author":"S Artemov","year":"2016","unstructured":"Artemov, S.: On aggregating probabilistic evidence. In: Artemov, S., Nerode, A. (eds.) LFCS 2016. LNCS, vol. 9537, pp. 27\u201342. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-27683-0_3"},{"key":"16_CR5","volume-title":"The Stanford Encyclopedia of Philosophy","author":"S Artemov","year":"2012","unstructured":"Artemov, S., Fitting, M.: Justification logic. In: Zalta, E. (ed.) The Stanford Encyclopedia of Philosophy, Fall 2012 edn. Stanford University, Stanford (2012)","edition":"Fall 2012"},{"issue":"6","key":"16_CR6","doi-asserted-by":"crossref","first-page":"1059","DOI":"10.1093\/logcom\/exi053","volume":"15","author":"S Artemov","year":"2005","unstructured":"Artemov, S., Nogina, E.: Introducing justification into epistemic logic. J. Logic Comput. 15(6), 1059\u20131073 (2005)","journal-title":"J. Logic Comput."},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-642-32621-9_13","volume-title":"Logic, Language, Information and Computation","author":"A Baltag","year":"2012","unstructured":"Baltag, A., Renne, B., Smets, S.: The logic of justified belief change, soft evidence and defeasible knowledge. In: Ong, L., Queiroz, R. (eds.) WoLLIC 2012. LNCS, vol. 7456, pp. 168\u2013190. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-32621-9_13"},{"key":"16_CR8","volume-title":"Logical Dynamics of Information and Interaction","author":"J Benthem van","year":"2014","unstructured":"van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University Press, Cambridge (2014)"},{"issue":"1","key":"16_CR9","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1016\/j.apal.2013.07.007","volume":"165","author":"J Benthem van","year":"2014","unstructured":"van Benthem, J., Duque, D.F., Pacuit, E.: Evidence and plausibility in neighborhood structures. Ann. Pure Appl. Logic 165(1), 106\u2013133 (2014)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"1","key":"16_CR10","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/s11225-011-9347-x","volume":"99","author":"J Benthem van","year":"2011","unstructured":"van Benthem, J., Pacuit, E.: Dynamic logics of evidence-based beliefs. Stud. Logica 99(1), 61\u201392 (2011)","journal-title":"Stud. Logica"},{"key":"16_CR11","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"16_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H Ditmarsch van","year":"2008","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer, New York (2008)"},{"key":"16_CR13","volume-title":"Reasoning about Knowledge","author":"R Fagin","year":"1996","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press, Cambridge (1996)"},{"key":"16_CR14","unstructured":"Fan, T., Liau, C.: A logic for reasoning about justified uncertain beliefs. In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI), pp. 2948\u20132954 (2015)"},{"issue":"1","key":"16_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.apal.2004.04.009","volume":"132","author":"M Fitting","year":"2005","unstructured":"Fitting, M.: The logic of proofs, semantically. Ann. Pure Appl. Logic 132(1), 1\u201325 (2005)","journal-title":"Ann. Pure Appl. Logic"},{"key":"16_CR16","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/978-1-4613-0609-2_21","volume-title":"Mathematical Logic","author":"G Gargov","year":"1990","unstructured":"Gargov, G., Passy, S.: A note on boolean modal logic. In: Petrov, P. (ed.) Mathematical Logic, pp. 299\u2013309. Springer, New York (1990)"},{"key":"16_CR17","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1093\/analys\/23.6.121","volume":"23","author":"E Gettier","year":"1963","unstructured":"Gettier, E.: Is justified true belief knowledge? Analysis 23, 121\u2013123 (1963)","journal-title":"Analysis"},{"key":"16_CR18","volume-title":"Knowledge and Belief","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)"},{"issue":"4","key":"16_CR19","doi-asserted-by":"crossref","first-page":"662","DOI":"10.1093\/jigpal\/jzv025","volume":"23","author":"I Kokkinis","year":"2015","unstructured":"Kokkinis, I., Maksimovic, P., Ognjanovic, Z., Studer, T.: First steps towards probabilistic justification logic. Logic J. IGPL 23(4), 662\u2013687 (2015)","journal-title":"Logic J. IGPL"},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-319-27683-0_13","volume-title":"Logical Foundations of Computer Science","author":"I Kokkinis","year":"2016","unstructured":"Kokkinis, I., Ognjanovi\u0107, Z., Studer, T.: Probabilistic justification logic. In: Artemov, S., Nerode, A. (eds.) LFCS 2016. LNCS, vol. 9537, pp. 174\u2013186. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-27683-0_13"},{"issue":"2","key":"16_CR21","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(90)90056-6","volume":"42","author":"H Levesque","year":"1990","unstructured":"Levesque, H.: All I know: a study in autoepistemic logic. Artif. Intell. 42(2), 263\u2013309 (1990)","journal-title":"Artif. Intell."},{"key":"16_CR22","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569852","volume-title":"Epistemic Logic for AI and Computer Science","author":"JJC Meyer","year":"1995","unstructured":"Meyer, J.J.C., van der Hoek, W.: Epistemic Logic for AI and Computer Science. Cambridge University Press, Cambridge (1995)"},{"key":"16_CR23","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/j.apal.2013.07.015","volume":"165","author":"R Milnikel","year":"2014","unstructured":"Milnikel, R.: The logic of uncertain justifications. Ann. Pure Appl. Logic 165, 305\u2013315 (2014)","journal-title":"Ann. Pure Appl. Logic"},{"key":"16_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/978-3-642-32621-9_23","volume-title":"Logic, Language, Information and Computation","author":"L Menasch\u00e9 Schechter","year":"2012","unstructured":"Menasch\u00e9 Schechter, L.: A logic of plausible justifications. In: Ong, L., Queiroz, R. (eds.) WoLLIC 2012. LNCS, vol. 7456, pp. 306\u2013320. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-32621-9_23"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48758-8_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,15]],"date-time":"2019-09-15T01:03:37Z","timestamp":1568509417000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48758-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319487571","9783319487588"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48758-8_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}