Recent Publications

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.