Reasoning About Justified Belief Based on the Fusion of Evidence
暂无分享,去创建一个
[1] Alexandru Baltag,et al. The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge , 2012, WoLLIC.
[2] L. Menasché Schechter,et al. A logic of plausible justifications , 2012, Theor. Comput. Sci..
[3] Bob Milnikel. The Logic of Uncertain Justifications , 2013, LFCS.
[4] Edmund L. Gettier. Is Justified True Belief Knowledge? , 1963, Arguing About Knowledge.
[5] J. Armstrong. Knowledge and Belief , 1953 .
[6] Zoran Ognjanovic,et al. Probabilistic Justification Logic , 2016, LFCS.
[7] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[8] Sergei N. Artëmov,et al. Introducing Justification into Epistemic Logic , 2005, J. Log. Comput..
[9] W. van der Hoek,et al. Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.
[10] George Gargov,et al. A Note on Boolean Modal Logic , 1990 .
[11] Johan van Benthem,et al. Evidence and plausibility in neighborhood structures , 2013, Ann. Pure Appl. Log..
[12] Sergei N. Artëmov. Explicit provability and constructive semantics , 2001, Bull. Symb. Log..
[13] Hector J. Levesque,et al. All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..
[14] Johan van Benthem,et al. Dynamic Logics of Evidence-Based Beliefs , 2011, Stud Logica.
[15] Guillaume Aucher,et al. Dynamic epistemic logic in update logic , 2016, J. Log. Comput..
[16] Sergei N. Artëmov. THE LOGIC OF JUSTIFICATION , 2008, The Review of Symbolic Logic.
[17] M. de Rijke,et al. Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.
[18] Zoran Ognjanovic,et al. First steps towards probabilistic justification logic , 2015, Log. J. IGPL.
[19] Sergei N. Artëmov. Justification Logic , 2008, JELIA.
[20] Johan van Benthem. Logical Dynamics of Information and Interaction: Preface , 2011 .
[21] Tuan-Fang Fan,et al. A Logic for Reasoning about Justified Uncertain Beliefs , 2015, IJCAI.
[22] Sergei N. Artëmov. The Ontology of Justifications in the Logical Setting , 2012, Stud Logica.
[23] Sergei N. Artëmov. On Aggregating Probabilistic Evidence , 2020, LFCS.
[24] Melvin Fitting,et al. The logic of proofs, semantically , 2005, Ann. Pure Appl. Log..