Publications

2024

  • 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.
  • 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, 2024, accepted.
  • 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. 42 pages, accepted.

2023

  • Greta Coraglia, Fabio Aurelio D’Asaro, Francesco A. Genco, Davide Giannuzzi, Davide Posillipo, Giuseppe Primiero and Christian Quaggio. BRIOxAlkemy: A Bias detecting tool. Proceedings of the BEWARE workshop, co-located with AIxIA 2023, 6–9 November 2023, Rome, Italy. 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 theoryInf. 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

2020

  • G. Primiero, B. Barn, & R. Barn. Value-Sensitive Co-Design for Resilient Information Systems, Studies in Logic, Grammar and Rhetoric63(1), 141-164 (2020) . https://doi.org/10.2478/slgr-2020-0032
  • P. Baldi, H. Hosni. “Depth-bounded Belief Functions” International Journal of Approximate Reasoninghttps://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

2019

  • 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
  • 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.
  • 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.