Publications

AUTHORED VOLUMES

G. Primiero, Information and Knowledge – A constructive Type-Theoretical Approach, vol.10 Series Logic, Epistemology and the Unity of Science, Springer, 2008.

G. Rotolo, G. Primiero, Dall’artificiale al vivente – Una storia naturale dei concetti, POLIMETRICA, International Scientific Publisher, 2005.  

EDITED VOLUMES

Manea, F., Martin, B., Paulusma, D., Primiero, G. (Eds.), Computing with Foresight and Industry, 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings, vol. 11558 (2019).

L. de Mol, G. Primiero (eds.), Reflections on Programming Systems – Historical and Philosophical Aspects, Philosophical Studies Series, Springer , 2018.

L. de Mol, G. Primiero (eds.), Logical Issues in the History and Philosophy of Computing, History & Philosophy of Logic, vol.36, Issue 3, 2015.

L. de Mol, G. Primiero (eds.), Trends in the History and Philosophy of Computing, Philosophy & Technology, vol. 27, Issue 3, 2014.

P. Allo, G. Primiero (eds.), Third Workshop in the Philosophy of Information. Selected Contributions, Logique & Analyse, vo. 57, No. 226, 2014.

L. de Mol, G. Primiero (eds.), Proceedings of the Symposium on History and Philosophy of Programming, AISB/IACAP Congress 2012, ISBN 978-1-908187-17-8.

 

Rahman, G. Primiero, M. Marion (eds.), The Realism-Antirealism Debate in the Age of Alternative Logics, vol.23, Series Logic and the Unity of Science, Springer, 2011.

 

G. Primiero, S. Rahman (eds.), Acts of Knowledge – History, Philosophy and Logic, College Publications, 2009.

G. Primiero, G. Rotolo (eds.) Mappe Concettuali Territori Cognitivi – I Workshop di Studi Filosofici – Biblioteca Tematica ‘Potere e Sapere’ – Annali della Facoltá di Lettere e Filosofia – Universitá degli Studi di Palermo – Serie Studi e Ricerche 42, 2004.  

ARTICLES (Peer-reviewed International Journals)

G.Primiero, Design, Malfunction, Validity: Three More Tasksfor the Philosophy of Computing, Philosophy & Technology, https://doi.org/10.1007/s13347-019-00367-6  https://rdcu.be/bKM16

G.Primiero, F.Raimondi, T.Chen, A theory of change for prioritised resilient and evolvable software systems, Synthese

Angius, N. & G. Primiero, Infringing Software Property Rights: Ontological, Methodological, and Ethical Questions. Philosophy & Technology, 2019.
https://rdcu.be/bGlxr https://doi.org/10.1007/s13347-019-00358-7

G. Primiero, A Minimalist Epistemology for Agent‑Based Simulations in the Artificial Sciences, Minds & Machines. (2019). https://doi.org/10.1007/s11023-019-09489-4

Primiero, G., Solheim, F.J. & Spring, J.M., On Malfunction, Mechanisms and Malware Classification, vol. 32:2, pp. 339-362, Philosophy & Technology. (2018). https://doi.org/10.1007/s13347-018-0334-2

(with J. Boender) Negative trust for conflict resolution in software management, Journal of Web Intelligence, vol. 16, no. 4, pp. 251-271, (2018). DOI: 10.3233/WEB-180393.

(with N. Angius) The Logic of Identity and Copy for Computational Artefacts. Journal of Logic and Computation, exy012, https://doi.org/10.1093/logcom/exy012 (2018).

(with M. Bottone, F. Raimondi, J. Tagliabue) Trust and Distrust in Contradictory Information Transmission. Applied Network Science, 2:12. DOI: 10.1007/s41109-017-0029-0 (2017).

Algorithmic iteration for computational intelligence. Minds & Machines. doi:10.1007/s11023-017-9423-8 (2017).

(with T. Chen, N. Rungta, F. Raimondi), A Computationally Grounded, Weighted Doxastic logic. Studia Logica, Volume 104, Issue 4, pp 679–703, DOI:10.1007/s11225-015-9621-4 (2016).

(with L. Kosolosky), The Semantics of Untrustworthiness. Topoi, vol. 35(1), pp.253–255, 2016. DOI:10.1007/s11245-013-9227-2.

(with L. De Mol), When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science. History & Philosophy of Logic, vol. 36(3), pp. 195-204 (2015).

(with L. Floridi, N. Fresco), On malfunctioning software. Synthese, vol. 192, pp. 1199-1220 (2015).

(with L. De Mol), Facing Computing as Technique: Towards a History and Philosophy of Computing. Philosophy & Technology, vol. 27(3), pp. 321-326 (2014).

On The Ontology of the Computing Process and the Epistemology of the Computed. Philosophy & Technology, vol. 27(3), pp. 485-489 (2014).

(with K. Pouliasis), J-Calc: A typed lambda-calculus for intuitionistic justification logic. Electronic Notes in Theoretical Computer Science, vol. 300, pp. 71-87, 2014. http://dx.doi.org/10.1016/j.entcs.2013.12.012.

Honesty, Competence and Trust for System Design, Philosophy & Technology, vol. 26(4), pp.431–435, 2013. DOI: 10.1007/s13347-013-0116-9.

(with N. Fresco), Miscomputation, Philosophy & Technology, vol. 26(3), pp.253–272, 2013. DOI: 10.1007/s13347-013-0112-0.

A taxonomoy of errors for information systems, Minds & Machines, Volume 24, Issue 3 (2014), Page 249-273. DOI:10.1007/s11023-013-9307-5.

Offline and Online Data: on upgrading information to knowledge, Philosophical Studies, vol. 164, Issue 2, pp. 371-392, 2013. DOI: 10.1007/s11098-012-9860-4.

(with M. Taddeo), A modal type theory for formalizing trusted communications, Journal of Applied Logic, vol. 10, issue 1, 2011. DOI: 10.1016/j.jal.2011.12.002, 2011.

A contextual type theory with judgemental modalities for reasoning from open assumptions, Logique & Analyse, vol. 220: 579-600, 2012.

Proceeding in Abstraction. From concepts to types and the recent perspective on information, History and Philosophy of Logic, 30:3, pp.257-282, 2009.

An Epistemic Logic for Becoming Informed, Synthese, 167:2, pp.363-389, 2009.

(with J. Meheus), Majority Merging by Adaptive Counting, Synthese, 165:2, pp.203-223, 2008.

An Epistemic Constructive Definition of Information, Logique & Analyse, vol.50, n.200, pp. 391-416, 2007.  

PEER-REVIEWED PROCEEDINGS & CHAPTERS

Giuseppe PrimieroElio TuciJacopo TagliabueEliseo Ferrante: Swarm Attack: A Self-organized Model to Recover from Malicious Communication Manipulation in a Swarm of Simple Simulated Agents. ANTS Conference 2018: 213-224

(with K. Androutsopoulos, L. Aristodemou, J. Boender, M. Bottone, E. Currie, I. El-Aroussi, B. Fields, L. Gheri, N. Gorogiannis, M. Heeney, M. Micheletti, M. Loomes, M. Margolis, M. Petridis, A. Piermarteri, F. Raimondi, N. Weldin), MIRTO: an Open-Source Robotic Platform for Education. ECSEE 2018, pp.55-62.

(with R. Arif, E. Mori), Validity and Correctness Before the OS: the Case of LEO I and LEO II. In: De Mol L., Primiero G. (eds) Reflections on Programming Systems. Philosophical Studies Series, vol 133. Springer, 2018.

(with A. Martorana and J. Tagliabue) Simulation of a Trust and Reputation based Mitigation Protocol for a Black Hole Style Attack on VANETs, in 2018 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), pp.127–135, 2018. doi:10.1109/EuroSPW.2018.00025

Michele BottoneFranco RaimondiGiuseppe Primiero: Multi-agent Based Simulations of Block-Free Distributed Ledgers. AINA Workshops 2018: 585-590.
 

(with P. Allo) Annotated Natural Deduction for Adaptive Reasoning, in Can Baskent & Thomas M. Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency, Outstanding Contributions in Logic, Springer, forthcoming, 2018.

(with T. Chen, F. Raimondi and R. Nagarajan) A Proof-theoretic Trust and Reputation Model for VANET, in 2017 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), IEEE 2017, DOI:10.1109/EuroSPW.2017.64.

(with J. Boender), Managing Software Uninstall with Negative Trust. In Steghöfer, Jan-Philipp, Esfandiari, Babak (Eds.), Proceedings of the 11th IFIP WG 11.11 International Conference on Trust Management., IFIP AICT, vol. 505, pp. 79-93, Springer (2017).

(with M. Bottone, F. Raimondi and J. Tagliabue) Contradictory Information Flow in Networks with Trust and Distrust, in H. Cherifi, S. Gaito, W. Quattrociocchi, A. Sala (eds.), Complex Networks and their Applications, Studies in Computational Intelligence vol. 693, pp. 361–372, Springer, 2017.

(with J. Boender, E. Currie, M. Loomes, F. Raimondi) Teaching Functional Patterns through Robotic Applications. In Johan Jeuring, Jay McCarthy (eds.) Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education, TFPIE 2016. EPTCS 230, pp.17-29, 2016.

(with M. Bottone, F. Palumbo, F. Raimondi, R. Stocker) Implementing virtual pheromones in BDI robots using MQTT and Jason, 2016 IEEE 5th International Conference on Cloud Networking (CloudNet) Proceedings, pp.196-199, 2016.

(with M. Bottone, F. Raimondi, V. De Florio) A model for trustworthy orchestration in the Internet of Things, IEEE Xplore Proceedings of the 12th International Conference on Intelligent Environments – IE’16, DOI:10.1109/IE.2016.37, http://ieeexplore.ieee.org/abstract/document/7723490/, pp.171-174, 2016.

(with M. Bottone, F. Raimondi, N. Rungta) From Raw Data to Agent Perceptions for Simulation, Verification, and Monitoring. Proceedings of the 5th Workshop on the Reliability of Intelligent Environments, Ambient Intelligence and Smart Environments Series, IOS Press, pp.66-75, 2016.

Information in the Philosophy of Computer Science, in L. Floridi (ed.) The Routledge Encyclopedia on the Philosophy of Information, pp. 90-106, 2016.

A Calculus for Distrust and Mistrust, in Habib, S.M., Vassileva, J., Mauw, S., Muelhäuser, M. (Eds.), Trust Management X – 10th IFIP WG 11.11 International Conference, IFIPTM 2016, Darmstadt, Germany, July 18-22, 2016, Proceedings, IFIP AICT 473, pp. 183–190, Springer 2016.

(with J. Boender, F. Raimondi) Minimizing transitive trust threats in software management systems, in Privacy, Security and Trust (PST), 2015 13th Annual Conference, DOI:10.1109/PST.2015.7232973, pp.191-198, 2015.

Realist consequence, epistemic inference, computational correctness, in A. Koslow, A. Buchsbaum (eds.) The Road to Universal Logic, Studies in Universal Logic, DOI 10.1007/978-3-319-15368-1 26, 2015.

(with F. Raimondi) Software Theory Change for resilient near-complete specifications, Procedia Computer Science Volume 52, Pages 988–995, 2015.

(with V. De Florio) A method for trustworthiness assessment based on fidelity in cyber and physical domains, Procedia Computer Science, Volume 52, Pages 996–1003, 2015.

(with B. Barn, R. Barn) An Approach to Early Evaluation of Informational Privacy Requirements, ACM Symposium on Applied Computing 15. 2015, Salamanca, Spain. http://dx.doi.org/10.1145/2695664.2695788, 2015.

(with M. Bordoni, M. Bottone, B. Fields, N. Gorogiannis, M. Margolis, F. Raimondi) Towards Cyber-physical Systems as Services: The ASIP Protocol, 1st IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS 2015, pp. 52–55, 2015

(with C. Huyck, F. Raimondi) Programming the MIRTO robot with neurons. Procedia Computer Science. Volume 41, 2014, Pages 75-82 5th Annual International Conference on Biologically Inspired Cognitive Architectures, 2014 BIC.

(with Jaap Boender, Marieta Georgieva Ivanova , Florian Kammuller), Modeling Human Behaviour with Higher Order Logic: Insider Threats 4th Workshop on Socio-technical Aspects of Security and Trust, affiliated with Summer of Logic, Vienna 2014.

(with Franco Raimondi), A typed natural deduction calculus to reason about secure trust, Proceedings IEEE 12th International Conference on Privacy, Security and Trust, pp.379-382, 2014.

(with: K.Androutsopoulos, N. Gorogiannis, M. Loomes, M. Margolis, G. Primiero, F. Raimondi, P. Varsani, N. Weldin, A.Zivanovic), A Racket-Based Robot to Teach First-Year Computer Science, 7th European Lisp Symposium 2014.

(with F. Raimondi, N. Rungta) Model Checking Degrees of Belief in a System of Agents, AAMAS ’14 Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems, Pages 133-140, 2014.

Algorithmic Check of Standards for Information Quality Dimensions, in Floridi, L. and Illari, P. The Philosophy of Information Quality, Synthese Library, vol. 358, pp. 107-134, Springer, 2014. DOI: 10.1007/978-3-319-07121-3 7.

(with B. Jespersen), Alleged Assassins: Realist and constructivist semantics for modal modification, Lecture Notes in Artificial Intelligence, vol. 7758, pp. 94-114, 2013.

(with L. Martens), A formal approach to vague expressions with indexicals, Proceedings of the 9th Workshop on Logical Engineering of Natural Language Semantics, Japanese Society for Artificial Intelligence, pp.37-51, 2012.

Type-theoretical Dynamics, chapter 11, The Realism-Antirealism Debate in the Age of alternative Logics, vol. 23, Series “Logic, Epistemology and the Unity of Science”, Springer, 2011.

(with B. Jespersen), Two type-theoretical approaches to privative modification, New Frontiers in Artificial Intelligence, Lecture Notes in Artificial Intelligence, vol. 6284, pp. 252-271, Springer. 2010.

A multi-modal dependent type theory for representing data accessibility in a network, Electronic Proceedings in Computing, vol.12 – A. Simpson (ed.), Proof Systems for Program Logics Workshop 2010, pp. 17-22, 2013. www.easychair.org/publications/?page=181914752.

Constructive contextual modal judgments for reasoning from open assumptions, in F. Ferreira, H. Guerra, E. Mayordomo, J. Rasga (eds), Proceedings of the Computability in Europe 2010 Conference – Proofs, Programs, Processes, Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores, pp. 336–345, 2010.

A constructive modal semantics for contextual verification (Short Paper), CEUR Proceedings of the 1st international Workshop on Logic-based Interpretations of Context: Applications and Modelling, Potsdam, Germany, vol. 550, pp.33-35, ISSN:1613-0073, 2009.

Epistemic Modalities, in Acts of Knowledge – History, Philosophy and Logic, (G. Primiero, S. Rahman, eds.), College Publications, pp.207-232, 2009.

Prioritized dynamic retraction function on non-monotonic information updates, in The Many Sides of Logic – Proceedings of the CLE Conference, Brazil 2008, pp.443-463, College Publication, London.

A note on constructive modalities for information, Proceedings of the Young Researchers Workshop in Logic, History and Philosophy of Science, Brussels, pp. 48-54, Contactfora published by Koninklijke Vlaamse Academie van Belgie voor Wetenschappen en Kusten, 2008.

(with J. Meheus), Quasi-merging and Pure-arbitration on Information for the Family of Adaptive Logics ADM, Proceedings of the Workshop on Logic and Intelligent Interaction, ESSLLI 2008, pp. 21-30, 2008.

(with J. Meheus), Adaptive Arbitration by Variant Counting on Commutative Bases with Weights, Proceedings of the FUSION2008 International Conference, pp.1374-1380, 2008.

Belief Merging based on Adaptive Interaction, in A Meeting of the Minds, Proceedings of the Workshop on Logic, Rationality and Interaction (LORI), Texts in Computer Science, vol.8, College Publications, London, pp. 315-320, 2007.

On building abstract Concepts in Typed Systems, in The Logica 2006 Yearbook, FILOSOFIA Publishing House, Institute of Philosophy, Academy of Sciences – Czech Republic, pp.191-202, 2007.

Belief Revision in Constructive Type Theory, in The Logica 2005 Yearbook, pp.177-188, FILOSOFIA Publishing House, Institute of Philosophy, Academy of Sciences – Czech Republic, 2006.  

PEER-REVIEWED NATIONAL JOURNALS

Sulla natura sintetica dell’argomentazione metafisica, in Giornale di Metafisica, 28 (2006), N.2, pp. 397-412, Tilgher, Genova.

The Determination of Reference in a Constructive Setting, in Giornale di Metafisica, 26 (2004), N. 3, pp. 483-502, Tilgher, Genova.  

OTHERS

(with N. Fresco) Computation, Chapter 13 in the Π Network (eds.), The Philosophy of Information – An Introduction, avaialble at http://socphilinfo.org/sites/default/files/i2pi_2013.pdf.

Dinamiche: uno sguardo alla nuova fondazione logica, in G. Roccaro (ed.), Logica e Metafisica, Annali dellla Facolta’ di Lettere e Filosofia, Studi e Ricerche 51, Universita’ degli Studi di Palermo, pp.215-232, 2010.

Ricerche per una Informational Proof-Theory, in Mappe Concettuali, Territori Cognitivi – I Workshop di Studi Filosofici – Biblioteca Tematica “Potere e Sapere” – Annali della Facoltá di Lettere e Filosofia – Universitá degli Studi di Palermo – Sez. Studi e Ricerche – 2004, N 42, pp.17-53.

Necessitá e Principio: riguardo alla struttura logico-epistemica dei Secondi Analitici, in Studium Philosophicum – Pensiero, Negazione e Principio di non contraddizione (a cura di G. Licata e A. Le Moli), ANNO III, N.3, 2004, pp.77-96, Nuova IPSA Editore Palermo.

Medioevo e scienza formale: commento a quattro voci – Riguardo al FotFS IV, in Schede Medievali – 40/2002, pp. 209-219 Officina di Studi Medievali.

Totalitá e veritá come incoerenza logica: una nota sulla contraddizione, in Studium Philosophicum, Anno I, N. 1,1/2002, pp. 69-77.  

REVIEWS

Giovanni Sommaruga (ed), Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information, Lecture Notes in Computer Science, Minds and Machines, http://www.springerlink.com/content/ m08567n828652864/fulltext.pdf. Charles Parsons, Mathematical Thought and its Objects, CUP. Minds and Machines. vol. 20, issue 2, pp.311-315. DOI: 10.1007/s11023-010-9181-3. G. Rigamonti, Si fa presto a dire lineare, Antigone Edizioni, Torino 2008, in Giornale di Metafisica, vol. XXXI, 1/2009, pp.195-199. A. Varzi (ed.), Metafisica – Classici Contemporanei, Laterza Roma-Bari 2008, in Giornale di Metafisica, vol. XXX, 2/2008, pp. 377-382. D.W. Zimmerman (ed.), Oxford Studies in Metaphysics, voll. 1-2, Oxford University Press, Oxford 2004-2006, pp. 345; 416; in Giornale di Metafisica, vol XXVIII, 1/2006. N. Salmon, Metaphysics, Mathematics and Meaning, Oxford University Press, Oxford 2005; in Giornale di Metafisica, 3/2005, Tilgher, Genova. P. Cosenza, Calcolo delle Classi e Calcolo dei Predicati nell’Analitica di Aristotele, Quaderni dell’Accademia Pontiniana, 35 in Giornale di Metafisica 26 2004/2, pp.405-410, Tilgher, Genova. K. Hawley, How Things persist, Oxford University Press, Oxford 2001; in Giornale di Metafisica – 3/2002, pp.209-213, Tilgher, Genova. F. D’Agostini, Disavventure della veritá, Biblioteca Einaudi, Torino 2002; in Studium Philosophicum, Anno I, N. 2,2/2002. pp. 164-166.