Publications

2024

• M. D’Agostino, D. Gabbay, C. Larese (2024). Depth-Bounded Reasoning: Volume I: Classical Propositional Logic. College Publications.
• A. G. Buda, G. Coraglia, F. A. Genco, C. Magnanini, G. Primiero (2024). Bias Amplification Chains in ML-based Systems with an Application to Credit Scoring, Proceedings of the 3rd Workshop on Bias, Ethical AI, Explainability and the role of Logic and Logic Programming co-located with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024), G. Coraglia, F. A. D’Asaro, A. Dyoub, F. A. Lissi, G. Primiero (eds.), pp. 77 – 86.
• M. Petrolo, E. Kubyshkina, G. Primiero (2024). Prior to Trust: Frequentist and Bayesian views of Trust in AI. Proceedings of the 3rd Workshop on Bias, Ethical AI, Explainability and the role of Logic and Logic Programming co-located with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024), G. Coraglia, F. A. D’Asaro, A. Dyoub, F. A. Lissi, G. Primiero (eds.), pp. 1 – 5.
• G. Coraglia, F. A. D’Asaro, A. Dyoub, F. A. Lissi, G. Primiero (eds.), 2024, Proceedings of the 3rd Workshop on Bias, Ethical AI, Explainability and the role of Logic and Logic Programming co-located with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024).
• P. Baldi, E. A. Corsi, H. Hosni, 2024, A logical framework for data-driven reasoning,Logic Journal of the IGPL. https://doi.org/10.1093/jigpal/jzae113
• E. Kubyshkina, M. Petrolo (2024). Ignorance and its formal limits. Current Topics in Logic and the Philosophy of Science. Papers from SILFS 2022 postgraduate conference, F. Bianchini, V. Fano, P. Graziani (eds.), pp. 131 – 142. College Publications. https://www.collegepublications.co.uk/silfs/?00030
• E. Kubyshkina (2024). Quasi-matrix logics. Translation from Russian into English of Quasimatrix (quasifunctional) logic, Yu. V. Ivlev (2018), Moscow: Moscow State University Press. Many-Valued Semantics and Modal Logics: Essays in honour of Yuriy Vasilievich Ivlev, M. E. Coniglio, E. Kubyshkina and D. Zaitsev (eds.), pp. 3 — 51. Synthese Library. Springer. https://link.springer.com/book/10.1007/978-3-031-56595-3
• M. E. Coniglio, E. Kubyshkina and D. Zaitsev (eds.), Many-Valued Semantics and Modal Logics: Essays in honour of Yuriy Vasilievich Ivlev.  Synthese Library, Springer, 2024. https://link.springer.com/book/10.1007/978-3-031-56595-3
• Francesco A. Genco. Grounding operators: transitivity and trees, logicality and balance. Journal of Applied Non-Classical Logics. 2024. https://www.tandfonline.com/doi/full/10.1080/11663081.2024.2366753
• Ekaterina Kubyshkina and Giuseppe Primiero. A possible worlds semantics for trustworthy non-deterministic computations, International Journal of Approximate Reasoning, 109212, ISSN 0888-613X, 2024. https://doi.org/10.1016/j.ijar.2024.109212.
• Esther Anna Corsi, Attack principles in sequent-based argumentation theory, Journal of Logic and Computation, 2024;, exad080, https://doi.org/10.1093/logcom/exad080
• Lorenzo Casini and Jürgen Landes. Confirmation by Robustness Analysis: A Bayesian Account. Erkenn 89, 367–409 (2024). https://doi.org/10.1007/s10670-022-00537-7
• Petrolo, M., Kubyshkina, E., Primiero, G. A logical approach to algorithmic opacity. Proceedings of the 2st Workshop on Bias, Ethical AI, Explainability and the role of Logic and Logic Programming. G. Boella, F. A. D’Asaro, A. Dyoub, L. Gorrieri, F. A. Lisi, C. Manganini et G. Primiero (eds.), BEWARE-23, CEUR Workshops Proceedings, AIxIA Series, pp. 89 – 95, 2024. https://ceur-ws.org/Vol-3615/short4.pdf
• Esther Anna Corsi, Hykel Hosni, Enrico Marchioni, Some notes on possibilistic randomisation with t-norm based joint distributions in strategic-form games, International Journal of Approximate Reasoning, Volume 166, 2024, 109109, ISSN 0888-613X. https://doi.org/10.1016/j.ijar.2023.109109.
• Greta Coraglia, Fabio Aurelio D’Asaro, Francesco Antonio Genco, Davide Giannuzzi, Davide Posillipo, Giuseppe Primiero, Christian Quaggio. BRIOxAlkemy: a Bias Detecting Tool. Proceedings of the 2nd Workshop on Bias, Ethical AI, Explainability and the role of Logic and Logic Programming
  co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AI*IA 2023), pp. 44–60. 2024.
• Jürgen Landes. How to write a good paper: An interview with Wendy Parker, Kenny Easwaran and Thomas Reydon. The Reasoner, 18 (1): pages 1–5, 2024.
  http://blogs.kent.ac.uk/thereasoner/files/2024/01/TheReasoner-181.pdf.
• Jürgen Landes and Daniel J. Auker-Howlett. Current Philosophical Perspectives on Drug Approval in the Real World. Journal of Causal Inference, 12 (1): page 2023.011, 2024. Open Access.
  Doi: 10.1515/jci-2023-0011.
• Marissa LeBlanc, Jon Williamson, Francesco De Pretis, Jürgen Landes and Elena Rocca. Individual consent in cluster randomised trials for non-pharmaceutical interventions: Going beyond the Ottawa Statement. Critical Public Health, 34: pages 1–9, 2024. Open Access
  Doi: 10.1080/09581596.2024.2338074.
• Jürgen Landes. Discovering Maximum Entropy Knowledge. Erkenntnis, 2024. https://doi.org/10.1007/s10670-024-00815-6.

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, 2023.  https://doi.org/10.1093/logcom/exad040
• 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. Open Access. Doi: 10.18445/20220817-161753-0
• 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.