Sfoglia per Autore
An epistemic constructive definition of information
2007 G. Primiero
Majority merging by adaptive counting
2008 G. Primiero, M. J.
Information and Knowledge : A Constructive Type-theoretical Approach
2008 G. Primiero
Adaptive arbitration by variant counting on commutative bases with weights
2008 G. Primiero, J. Meheus
Proceeding in abstraction : from concepts to types and the recent perspective on information
2009 G. Primiero
An epistemic logic for becoming informed
2009 G. Primiero
Acts of knowledge : history, philosophy and logic: essays dedicated to Goran Sundholm
2009 G. Primiero, S. Rahman
Epistemic Modalities
2009 G. Primiero
Two kinds of procedural semantics for privative modification
2010 G. Primiero, B. Jespersen
Type-theoretical dynamics: Exploring belief revision in a constructive framework
2012 G. Primiero
The Realism-Antirealism Debate in the Age of Alternative Logics
2012 S. Rahman, G. Primiero, M. Marion
A modal type theory for formalizing trusted communications
2012 G. Primiero, M. Taddeo
A contextual type theory with judgemental modalities for reasoning from open assumptions
2012 G. Primiero
Honesty, competence, and trust for systems design
2013 G. Primiero
Alleged assassins: Realist and constructivist semantics for modal modification
2013 B. Jespersen, G. Primiero
Miscomputation
2013 N. Fresco, G. Primiero
Offline and online data: On upgrading functional information to knowledge
2013 G. Primiero
Programming the MIRTO robot with neurons
2014 C. Huyck, G. Primiero, F. Raimondi
On the Ontology of the Computing Process and the Epistemology of the Computed
2014 G. Primiero
Facing Computing as Technique: Towards a History and Philosophy of Computing
2014 D.M. L., G. Primiero
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile