@article {primiero2013taxonomy, title = {A taxonomy of errors for information systems}, journal = {Minds and Machines}, volume = {24}, number = {3}, year = {2013}, pages = {249{\textendash}273}, abstract = {

We provide a full characterization of computational error states for information systems. The class of errors considered is general enough to include human rational processes, logical reasoning, scientific progress and data processing in some functional programming languages. The aim is to reach a full taxonomy of error states by analysing the recovery and processing of data. We conclude by presenting machine-readable checking and resolve algorithms.

}, doi = {10.1007/s11023-013-9307-5}, author = {Primiero, Giuseppe} } @incollection {primiero2012type, title = {Type-Theoretical Dynamics. {E}xploring Belief Revision in a Constructive Framework}, booktitle = {The realism-antirealism debate in the age of alternative logics}, year = {2012}, pages = {191{\textendash}212}, publisher = {Springer}, abstract = {

In the present paper a dynamics for type theory is introduced. The formalization provides epistemic explanations for the basic notions of belief state and belief set by referring to assertion conditions for type-theoretical judgements; it interprets expectations in terms of default assumptions for such a structure and it adapts the usual revision operations and the analogous of the Ramsey test. The model, restricted to operations of revision, merging and information preference, provides a constructive type-theoretical approach to epistemic dynamics.

}, doi = {10.1007/978-94-007-1923-1_11}, author = {Primiero, Giuseppe}, editor = {Rahman, Shahid and Primiero, Giuseppe and Marion, Mathieu} } @incollection {802714, title = {Two type-theoretical approaches to privative modification}, booktitle = {New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops}, year = {2009}, pages = {239{\textendash}258}, publisher = {Springer Verlag}, address = {Berlin, Heidelberg}, abstract = {

In this paper we apply two kinds of procedural semantics to the problem of privative modification. We do this for three reasons. The first reason is to launch a tough test case to gauge the degree of substantial agreement between a constructivist and a realist interpretation of a procedural semantics; the second is to extend Martin-Lof{\textquoteright}s Type Theory to privative modification, which is characteristic of natural language; the third reason is to sketch a positive characterization of privation.

}, isbn = {4-915905-37-3 C3004}, author = {Primiero, Giuseppe and Jespersen, Bj{\o}rn}, editor = {Nakakoji, Kumiyo and Murakami, Yohei and McCready, Eric} }