Publications
Export 36 results:
Author [ Title] Type Year Filters: Author is Primiero, Giuseppe [Clear All Filters]
“Type-Theoretical Dynamics. Exploring Belief Revision In A Constructive Framework” . The realism-antirealism debate in the age of alternative logics: 191–212.
. 2012. “Type-Theoretical Dynamics. Exploring Belief Revision In A Constructive Framework” . The realism-antirealism debate in the age of alternative logics: 191–212.
. 2012. “Two Type-Theoretical Approaches To Privative Modification” . New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops: 239–258.
. 2009. “A Taxonomy Of Errors For Information Systems”. Minds and Machines 24: 249–273.
. 2013. “The Semantics Of Untrustworthiness”. Topoi. An International Reiew of Philosophy.
. In Press. “Report 'international Conference On History And Philosophy Of Computing' (Hapoc)”. The Reasoner 6: 7-8.
. 2012. “Report 3Rd Workshop In The Philosophy Of Information”. The Reasoner 1: 6-7.
. 2011. “Reasoning With Computer-Assisted Experiments In Mathematics” . Third Workshop in the Philosophy of Information: 80-92.
. 2012. “Quasi-Merging And Pure-Arbitration On Information For The Family Of Adaptive Logics Adm”. In Proceedings of the Workshop on Logic and Intelligent Interaction, Proceedings of the Workshop on Logic and Intelligent Interaction, .
. 2008. “Proceeding In Abstraction: From Concepts To Types And The Recent Perspective On Information”. History and Philosophy of Logic 30: 257–282. http://dx.doi.org/10.1080/01445340902872630.
. 2009. “Prioritized Dynamic Retraction Function On Non-Monotonic Information Updates” . The Many Sides of Logic: 443-463.
. 2009. “Offline And Online Data: On Upgrading Functional Information To Knowledge”. Philosophical Studies 164: 371–392.
. 2013. “A Note On Constructive Modalities For Information”. In Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days 2008, Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days 2008, . Brussel: Koninklijke Vlaamse Academie van België.
. 2009. “On The Necessity Of (Sometimes) Being Synthetic. Comment On Poggiolesi.” . Third Workshop in the Philosophy of Information: 63-68.
. 2011. “On The Necessity Of (Sometimes) Being Synthetic. Comment On Poggiolesi.” . Third Workshop in the Philosophy of Information: 63-68.
. 2011. “A Multi-Modal Dependent Type Theory For Representing Data Accessibility In A Network.”. In Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop), Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop), Citeseer.
. 2010. A Model For Processing Updates With Inconsistent Information On Propositional Databases. College Publications.
. 2008. “A Modal Type Theory For Formalizing Trusted Communications”. Journal of Applied Logic 10: 92–114.
. 2012. “Majority Merging By Adaptive Counting”. Synthese (KRA Serie) 165: 203–223.
. 2008. “J-Calc: A Typed Lambda Calculus For Intuitionistic Justification Logic”. Electronic Notes in Theoretical Computer Science 300: 71–87.
. 2014. “Giovanni Sommaruga (Ed): Formal Theories Of Information: From Shannon To Semantic Information Theory And General Concepts Of Information (Review)”. Minds and Machines 21: 119-122.
. 2011. “A Formal Approach To Vague Expressions With Indexicals”. Logic and Engineering of Natural Language Semantics 9 (LENLS 9-2012): 37-51.
. 2012.