Publications
Export 36 results:
Author [ Title] Type Year Filters: Author is Primiero, Giuseppe [Clear All Filters]
“Prioritized Dynamic Retraction Function On Non-Monotonic Information Updates” . The Many Sides of Logic: 443-463.
. 2009. “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. “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. “Reasoning With Computer-Assisted Experiments In Mathematics” . Third Workshop in the Philosophy of Information: 80-92.
. 2012. “Report 3Rd Workshop In The Philosophy Of Information”. The Reasoner 1: 6-7.
. 2011. “Report 'international Conference On History And Philosophy Of Computing' (Hapoc)”. The Reasoner 6: 7-8.
. 2012. “The Semantics Of Untrustworthiness”. Topoi. An International Reiew of Philosophy.
. In Press. “A Taxonomy Of Errors For Information Systems”. Minds and Machines 24: 249–273.
. 2013. “Two Type-Theoretical Approaches To Privative Modification” . New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops: 239–258.
. 2009. “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.