Offline and online data: on upgrading functional information to knowledge
暂无分享,去创建一个
[1] Jaana Ihalainen,et al. Philosophy of Computer Science , 2014 .
[2] Giuseppe Primiero,et al. A modal type theory for formalizing trusted communications , 2012, J. Appl. Log..
[3] J. D. Silva. On the Principle of Excluded Middle , 2012 .
[4] Maria van der Schaar,et al. The cognitive act and the first-person perspective: an epistemology for constructive type theory , 2011, Synthese.
[5] L. Floridi. A DEFENCE OF CONSTRUCTIONISM: PHILOSOPHY AS CONCEPTUAL ENGINEERING , 2011 .
[6] P. Allo. The logic of ‘being informed’ revisited and revised , 2011 .
[7] Luciano Floridi,et al. Semantic information and the network theory of account , 2010, Synthese.
[8] L. Floridi. Semantic Information and the Correctness Theory of Truth , 2010 .
[9] Luciano Floridi,et al. The Philosophy of Information , 2010 .
[10] L. Floridi. Information: A Very Short Introduction , 2010 .
[11] Giuseppe Primiero,et al. Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information , 2009 .
[12] Luciano Floridi,et al. Philosophical Conceptions of Information , 2009, Formal Theories of Information.
[13] Frank Pfenning,et al. Contextual modal type theory , 2008, TOCL.
[14] Linda C. Smith,et al. Information quality work organization in wikipedia , 2008, J. Assoc. Inf. Sci. Technol..
[15] Andy Egan,et al. Epistemic modals, relativism and assertion , 2007 .
[16] Reinhard Kahle,et al. A Proof-theoretic View of Necessity , 2006, Synthese.
[17] Luciano Floridi,et al. Is Information Meaningful Data , 2005 .
[18] Luciano Floridi,et al. Is Semantic Information Meaningful Data? , 2005, Philosophy and Phenomenological Research.
[19] Luciano Floridi,et al. ON THE LOGICAL UNSOLVABILITY OF THE GETTIER PROBLEM , 2004, Synthese.
[20] L. Floridi. OPEN PROBLEMS IN THE PHILOSOPHY OF INFORMATION , 2004 .
[21] James H. Fetzer. Information: Does it Have To Be True? , 2004, Minds and Machines.
[22] Martin Wattenberg,et al. Studying cooperation and conflict between authors with history flow visualizations , 2004, CHI.
[23] Orna Grumberg,et al. A game-based framework for CTL counterexamples and 3-valued abstraction-refinement , 2003, TOCL.
[24] Frank Pfenning,et al. A judgmental reconstruction of modal logic , 2001, Mathematical Structures in Computer Science.
[25] G. Sambin,et al. Building up a toolbox for Martin-Löf’s type theory: subset theory , 1998 .
[26] Carl A. Gunter. The semantics of types in programming languages , 1995, LICS 1995.
[27] A. Troelstra,et al. Constructivism in Mathematics: An Introduction , 1988 .
[28] Per Martin-Löf,et al. Truth of a proposition, evidence of a judgement, validity of a proof , 1987, Synthese.
[29] C. Williams,et al. TRUTH AND OTHER ENIGMAS , 1979 .
[30] Peter Duignan. Stanford University , 1966, African Studies Bulletin.
[31] P. Kleingeld,et al. The Stanford Encyclopedia of Philosophy , 2013 .
[32] Giuseppe Primiero,et al. A contextual type theory with judgemental modalities for reasoning from open assumptions , 2012 .
[33] Reinhard Kahle,et al. Modalities Without Worlds , 2012, The Realism-Antirealism Debate in the Age of Alternative Logics.
[34] Giuseppe Primiero,et al. The Realism-Antirealism Debate in the Age of Alternative Logics , 2012, Logic, Epistemology, and the Unity of Science.
[35] S. D’Alfonso,et al. The Logic Of Being Informed , 2010 .
[36] G. Primiero. Epistemic Modalities , 2009 .
[37] R. Dietz. Epistemic Modals and Correct Disagreement , 2008 .
[38] Karl Crary,et al. Modal types for mobile code , 2008 .
[39] S. Yalcin. Epistemic Modals , 2007 .
[40] G. Primiero. An epistemic constructive definition of information , 2007 .
[41] Gordana Dodig-Crnkovic,et al. System Modeling and Information Semantics , 2006 .
[42] John MacFarlane,et al. Making sense of relative truth , 2005 .
[43] James H. Fetzer. Philosophy and Computer Science , 2001 .
[44] Valeria C V de Paiva,et al. Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic , 2001 .
[45] Giovanni Sambin,et al. Twenty-five years of constructive type theory. , 1998 .
[46] P. Martin-Löf. On the meanings of the logical constants and the justi cations of the logical laws , 1996 .
[47] John C. Reynolds,et al. School of Computer Science , 1992 .
[48] Michael Dummett,et al. The logical basis of metaphysics , 1991 .
[49] Jan Łukasiewicz,et al. On the principle of the excluded middle , 1987 .
[50] Per Martin-Löf,et al. Intuitionistic type theory , 1984, Studies in proof theory.
[51] J. Heijenoort. From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 , 1967 .