Publications

2022

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

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.

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

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

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.