Publications

2023

• Chiara Manganini and Giuseppe Primiero. Reasoning With Bias. AEQUITAS 2023: Fairness and Bias in AI. Proceedings of the 1st Workshop on Fairness and Bias in AI co-located with 26th European Conference on Artificial Intelligence (ECAI 2023). Kraków, Poland, October 1st, 2023. 
• D’Agostino, M. and Solares-Rojas, A. Tractable depth-bounded approximations to FDE and its satellites, Journal of Logic and Computation, https://doi.org/10.1093/logcom/exad040, 2023.
• Francesco A. Genco. Low-level analysis of trust in probabilistic and opaque programs. The Reasoner, vol. 17, n. 4, July 2023.
• Esther Anna Corsi, Tommaso Flaminio, Lluís Godo, Hykel Hosni, A Modal Logic for Uncertainty: a Completeness Theorem, A modal logic for uncertainty: a completeness theorem. 13th International Symposium on Imprecise Probabilities: Theories and Applications – ISIPTA 2023 (pp. 119-129) Proceedings of Machine Learning Research https://proceedings.mlr.press/v215/corsi23a/corsi23a.pdf
• Esther Anna Corsi, Tommaso Flaminio, Hykel Hosni, A logico-geometric comparison of coherence for non-additive uncertainty measures, Annals of Pure and Applied Logic, 2023, 103342, ISSN 0168-0072, https://doi.org/10.1016/j.apal.2023.103342.
• Kubyshkina, E., Petrolo, M. (2023). Revising the Elenchus via Belief Revision. Logica Universalis, Online First, pp. 1-28. https://doi.org/10.1007/s11787-023-00327-x
• Larotonda, M., Primiero, G. (2023). A Depth-Bounded Semantics for Becoming Informed. In: Masci, P., Bernardeschi, C., Graziani, P., Koddenbrock, M., Palmieri, M. (eds) Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops. SEFM 2022. Lecture Notes in Computer Science, vol 13765. Springer, Cham. https://doi.org/10.1007/978-3-031-26236-4_29
• G. Primiero, D. Ceolin & F. Doneda (2023) A computational model for assessing experts’ trustworthiness, Journal of Experimental & Theoretical Artificial Intelligence, DOI: 10.1080/0952813X.2023.2183272
• Yaman Abdin, Francesco De Pretis and Jürgen Landes. Fast Methods for Drug Approval: Research Perspectives for Pandemic Preparedness. International Journal of Environmental Research and Public Health, 20(3). 17 pages, 2023. Open Access.
  Doi: 10.3390/ijerph20032404.
• Jürgen Landes. Rules of Proof for Maximal Entropy Inference. International Journal of Approximate Reasoning, 153: pages 144–171, 2023.
  Doi: 10.1016/j.ijar.2022.11.016.
• Jürgen Landes. Formal Epistemology meets Mechanism Design. Journal for General Philosophy of Science, 2023. 25 pages, Open Access.
  Doi: 10.1007/s10838-022-09631-4.
• Hykel Hosni and Jürgen Landes. Logical Perspectives on Foundations of Probability. Open Mathematics, 21 (1), 2023. 23 pages.  Open Access.
  Doi: 10.1515/math-2022-0598.
• Barbara Osimani and Jürgen Landes. Varieties of Error and Varieties of Evidence. British Journal for the Philosophy of Science,  74(1), pages 117-170, 2023.
  Doi: 10.1086/714803
• Francesco A. Genco. Low-level analysis of trust in probabilistic and opaque programs(https://blogs.kent.ac.uk/thereasoner/files/2023/07/TheReasoner-174.pdf). The Reasoner, vol. 17, n. 4, July 2023

2022

• Nicola Angius & Giuseppe Primiero, Copying safety and liveness properties of computational artefacts, Journal of Logic and Computation, 2022.
• Giuseppe Primiero. [Hyperintensions for Probabilistic Computations](https://air.unimi.it/handle/2434/953669). In Pavel Materna and Bjørn Jespersen (eds.), [_Logically Speaking_: A Festschrift for Marie Duží](https://www.collegepublications.co.uk/tributes/?00049). Tributes vol. 49, College Publications, pp. 311-328, 2022
• Guido Boella, Fabio Aurelio D’Asaro, Abeer Dyoub & Giuseppe Primiero. [BEWARE 2022: Bias, Ethical AI, Explainability and the Role of Logic and Logic Programming](https://ceur-ws.org/Vol-3319/). Proceedings of 1st Workshop on Bias, Ethical AI, Explainability and the Role of Logic and Logic Programming (BEWARE 2022) co-located with the 21th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2022). Udine, Italy, December 2, 2022.
• Ekaterina Kubyshkina, Mattia Petrolo. What is normal? Logique et Analyse, 257, pp. 25-37 (2022). DOI: 10.2143/LEA.257.0.3291069
• Matthias Thimm, Jürgen Landes and Kenneth Skiba, editors. Proceedings of the First International Conference on Foundations, Applications, and Theory of Inductive Logic (FATIL2022). University Library Hagen. Open Access.
• Jürgen Landes, Soroush Rafiee Rad and Jon Williamson. Determining maximal entropy functions for objective Bayesian inductive logic. Journal of Philosophical Logic, 2022. 54 pages. Open Access.
  Doi: 10.1007/s10992-022-09680-6.
• Jürgen Landes. Rationally, the Universe is Infinite – Maybe. In Matthias Thimm, Jürgen Landes and Kenneth Skiba, editors, Proceedings of FATIL, pages 51–62. University Library Hagen, Hagen, 2022. URL Doi: 10.18445/20220817-161753-0. Open Access.
• N Angius, G Primiero. Copying safety and liveness properties of computational artefacts, Journal of Logic and Computation, 1-29 (2022)
• L Prandi, G Primiero:
  A logic for biassed information diffusion by paranoid agents in social networks. J. Log. Comput. 32(6): 1292-1315 (2022)
• D Ceolin, G Primiero, M Soprano, J Wielemaker. Transparent assessment of information quality of online reviews using formal argumentation theory. Inf. Syst. 110: 102107 (2022)
• EA Corsi, T Flaminio, H Hosni, Towards a Unified View on Logics for Uncertainty, International Conference on Scalable Uncertainty Management, 329-337, (2022).
• D’Agostino, M. and Solares-Rojas, A. (2022). Towards Tractable Approximations to Many-Valued Logics: the Case of First Degree Entailment. In Igor Sedlár (ed.), The Logica Yearbook 2021, College Publications: 57-76.

2021

• A. Termine, A. Antonucci, G. Primiero, A. Facchini. Logic and Model Checking by Imprecise Probabilistic Interpreted Systems, EUMAS 2021. Lecture Notes in Computer Science, vol 12802 (2021)
• P. Baldi and H. Hosni. Logical Approximations of Qualitative Probability. Proceedings of ISIPTA 2021.
• A. Termine, A. Antonucci, A. Facchini and G. Primiero. Robust Model Checking with Imprecise Markov Reward Models. Proceedings of ISIPTA 2021.
• E. A. Corsi, T. Flaminio and H. Hosni.
  When Belief Functions and Lower Probabilities are Indistinguishable. Proceedings of ISIPTA 2021.
• F. A. D’Asaro, G. Primiero. Probabilistic typed natural deduction for trustworthy computations. Proceedings of the 22nd International Workshop on Trust in Agent Societies (TRUST2021@ AAMAS)
• F. A. D’Asaro, P. Baldi, G. Primiero. Introducing k-lingo: a k-depth Bounded Version of ASP System Clingo. Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (Vol. 18, No. 1, pp. 661-665).
• A. Termine, G. Primiero and F. A. D’Asaro. Modelling Accuracy and Trustworthiness of Explaining Agents. International Workshop on Logic, Rationality and Interaction. Springer, Cham, 2021.
• F. A. D’Asaro, A. Bikakis, L. Dickens, R. Miller. Probabilistic Reasoning About Epistemic Action Narratives. IJCAI 2021, Journal Track.

2020

• L.Prandi, G.Primiero, Effects of misinformation diffusion during a pandemic. Appl Netw Sci. 5, 82 (2020). https://doi.org/10.1007/s41109-020-00327-6

• G. Primiero, B. Barn, & R. Barn. Value-Sensitive Co-Design for Resilient Information Systems, Studies in Logic, Grammar and Rhetoric, 63(1), 141-164 (2020) . https://doi.org/10.2478/slgr-2020-0032

• T. Flaminio, L. Godo, and H. Hosni. “Boolean algebras of conditionals, probability and logic”. Artificial Intelligence, Volume 286, 2020, https://doi.org/10.1016/j.artint.2020.103347.

• P.Baldi, P.Cintula, C. Noguera. Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory. https://doi.org/10.2991/ijcis.d.200703.001

• G.Primiero, A Logic of Negative Trust, Journal of Applied Non-Classical Logic, 2020, https://doi.org/10.1080/11663081.2020.1789404

• M. D’Agostino and S. Modgil. A Fully Rational Account of Structured Argumentation Under Resource Bounds. Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI2020)

• P. Baldi, H. Hosni. “Depth-bounded Belief Functions” International Journal of Approximate Reasoning, https://doi.org/10.1016/j.ijar.2020.05.001

• P. Baldi, M. D’Agostino, H. Hosni “Depth-Bounded Approximations of Probability”. In: Lesot MJ. et al. (eds) Information Processing and Management of Uncertainty in Knowledge-Based Systems. IPMU 2020. Communications in Computer and Information Science, vol 1239. Springer. https://doi.org/10.1007/978-3-030-50153-2_45
  

• P. Baldi, C. Fermueller, M. Hofer. On fuzzification mechanisms for unary quantification, Fuzzy Sets and Systems, https://doi.org/10.1016/j.fss.2019.12.009

2019

• G.Primiero, A logic of efficient and optimal designs, Journal of Logic and Computation, exz014, https://doi.org/10.1093/logcom/exz014

• Davide Ceolin, Giuseppe Primiero, A Granular Approach to Source Trustworthiness for Negative Trust Assessment. In: Meng W., Cofta P., Jensen C., Grandison T. (eds) Trust Management XIII. IFIPTM 2019. IFIP Advances in Information and Communication Technology, vol 563. Springer, Cham https://doi.org/10.1007/978-3-030-33716-2_9

• Hykel Hosni, Enrico Marchioni, Possibilistic randomisation in strategic-form games, International Journal of Approximate Reasoning, Volume 114, November 2019, Pages 204-225. https://doi.org/10.1016/j.ijar.2019.08.008

• G.Primiero, F.Raimondi, T.Chen, A theory of change for prioritised resilient and evolvable software systems, Synthese  https://doi.org/10.1007/s11229-019-02305-7 https://rdcu.be/bH7cn

• 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

• D’Agostino, M., Gabbay, D. and S. Modgil “Normality, Non-contamination and Logical Depth in Classical Natural Deduction”, Studia Logica, https://doi.org/10.1007/s11225-019-09847-4 rdcu.be/bntPl

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

2018

• D’Agostino, M. & Durante, M. Introduction: The Governance of Algorithms. Philosophy & Technology ,December 2018, Volume 31, Issue 4, pp 499–505. https://doi.org/10.1007/s13347-018-0337-z

• Hosni, H., and Vulpiani, A. Forecasting in the light of Big Data. Philosophy and Technology , December 2018, Volume 31, Issue 4, pp 557–569, 10.1007/s13347-017-0265-3

• Primiero, G., Solheim, F.J. & Spring, J.M., On Malfunction, Mechanisms and Malware Classification, Philosophy & Technology, 2018. https://doi.org/10.1007/s13347-018-0334-2

• Flaminio, T., H. Hosni, and F. Montagna. Strict Coherence on Many Valued Events, Journal of Symbolic Logic . 83(1), 55-69, 2018. DOI:10.1017/jsl.2017.34

• Flaminio, T., H. Hosni, and S. Lapenta. (2017). Convex MV-Algebras: Many-Valued Logics Meet Decision Theory.Studia Logica. DOI:10.1007/s11225-016-9705-9.

• Primiero, G., 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.

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

• D’Agostino, M., S. Modgil. A Study of Argumentative Characterisations of Preferred Subtheories. Proceedings of IJCAI-ECAI 2018. Ed. by J. Lang. International Joint Conferences on Artificial Intelligence, pp. 1788–1794.
  

• D’Agostino, M., S. Modgil. Classical logic, argument and dialectic. Artificial Intelligence 262, pp. 15–51, 2018.

• D’Agostino, M., T. Flaminio, and H. Hosni. 2016. “Rational Beliefs Real Agents Can Have – A Logical Point of View.” Journal of Machine Learning Research Workshop and Conference Proceedings 58.