Selected Publications
2021
D'Asaro, Fabio Aurelio; Baldi, Paolo; Primiero, Giuseppe
Introducing k-lingo: a k-depth bounded version of ASP system clingo
Proceedings of KR 2021, accepted (forthcoming).
D'Asaro, Fabio Aurelio; Primiero, Giuseppe
Probabilistic Typed Natural Deduction for Trustworthy Computations
Proceedings of the 22nd International Workshop on Trust in Agent Societies (TRUST2021 @ AAMAS), 2021.
2020
D’Asaro, Fabio Aurelio; Bikakis, Antonis; Dickens, Luke; Miller, Rob
Probabilistic reasoning about epistemic action narratives
Artificial Intelligence (AIJ), 287 (103352), 2020, ISSN: 0004-3702.
D’Asaro, Fabio Aurelio; Spezialetti, Matteo; Raggioli, Luca; Rossi, Silvia
Towards an Inductive Logic Programming Approach for Explaining Black-Box Preference Learning Systems
Proceedings of KR 2020.
2017
D’Asaro, Fabio Aurelio; Bikakis, Antonis; Dickens, Luke; Miller, Rob
Foundations for a Probabilistic Event Calculus
14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), 2017
2016
D’Asaro, Fabio Aurelio; Di Gangi, Mattia Antonino; Perticone, Valerio; Tabacchi, Marco Elio
Computational Intelligence and Citizen Communication in the Smart City
Informatik-Spektrum, 40 (1), pp. 25–34, 2016.
Talks and Demos
March 2022: Invited talk on "Probabilistic Epistemic Reasoning About Actions" at UCL, UK
Jan 2022: Invited talk on explaining black-boxes using ILASP at the University of Urbino, Italy
Dec 2021: Invited talk on explaining black-boxes using ILASP at the University of Trieste, Italy
Jul 2021: Invited presentation of"Probabilistic reasoning about epistemic action narratives" (joint work with Antonis Bikakis, Luke Dickens and Rob Miller on the AIJ) at IJCAI 2021
13 Apr 2021: Invited demo at the Lorenz Center Workshop on Explainable Medical AI: Ethics, Epistemology, and Formal Methods
5 Jun 2020: Invited talk on explaining black-boxes using ILASP at Imperial College London, UK