Publications

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