GIANNINI, Francesco
GIANNINI, Francesco
Classe di Scienze
A constraint-based approach to learning and explanation
2020 Ciravegna, Gabriele; Giannini, Francesco; Melacci, Stefano; Maggini, Marco; Gori, Marco
A Constraint-Based Approach to Learning and Reasoning
2022 Diligenti, M.; Giannini, F.; Gori, M.; Maggini, M.; Marra, G.
AnyCBMs: How to Turn Any Black Box into a Concept Bottleneck Model
2024 Dominici, G.; Barbiero, P.; Giannini, Francesco; Gjoreski, M.; Langeinrich, M.
Bridging Equational Properties and Patterns on Graphs : an AI-Based Approach
2023 Keskin, Oguzhan; Lupidi, Alisia; Giannini, Francesco; Fioravanti, Stefano; Magister, Lucie Charlotte; Barbiero, Pietro; Liò, Pietro
Categorical Foundation of Explainable AI : a Unifying Theory
2024 Giannini, Francesco; Fioravanti, Stefano; Barbiero, Pietro; Tonda, Alberto; Liò, Pietro; Di Lavore, Elena
Characterization of the convex Lukasiewicz fragment for learning from constraints
2018 Giannini, Francesco; Diligenti, Michelangelo; Gori, Marco; Maggini, Marco
Concept Embedding Models : Beyond the Accuracy-Explainability Trade-Off
2022 Espinosa Zarlenga, Mateo; Barbiero, Pietro; Ciravegna, Gabriele; Marra, Giuseppe; Giannini, Francesco; Diligenti, Michelangelo; Shams, Zohreh; Precioso, Frederic; Melacci, Stefano; Weller, Adrian; Liò, Pietro; Jamnik, Mateja
Conditions for Unnecessary Logical Constraints in Kernel Machines
2019 Giannini, Francesco; Maggini, Marco
Constraint-based visual generation
2019 Marra, Giuseppe; Giannini, Francesco; Diligenti, Michelangelo; Gori, Marco
Enhancing Embedding Representations of Biomedical Data using Logic Knowledge
2023 Diligenti, M.; Giannini, F.; Fioravanti, S.; Graziani, C.; Falaschi, M.; Marra, G.
Entropy-Based Logic Explanations of Neural Networks
2022 Barbiero, Pietro; Ciravegna, Gabriele; Giannini, Francesco; Lio, Pietro; Gori, Marco; Melacci, Stefano.
Extending logic explained networks to text classification
2022 Jain, Rishabh; Ciravegna, Gabriele; Barbiero, Pietro; Giannini, Francesco; Buffelli, Davide; Lio, Pietro
Human-driven FOL explanations of deep learning
2020 Ciravegna, Gabriele; Giannini, Francesco; Gori, Marco; Maggini, Marco; Melacci, Stefano.
Inference in relational neural machines
2020 Marra, Giuseppe; Diligenti, Michelangelo; Faggi, Lapo; Giannini, Francesco; Gori, Marco; Maggini, Michele.
Integrating Learning and Reasoning with Deep Logic Models
2020 Marra, Giuseppe; Giannini, Francesco; Diligenti, Michelangelo; Gori, Marco
Interpretable Concept-Based Memory Reasoning
2024 Debot, D.; Barbiero, P.; Giannini, F.; Ciravegna, G.; Diligenti, M.; Marra, G.
Interpretable Graph Networks Formulate Universal Algebra Conjectures
2023 Giannini, Francesco; Fioravanti, Stefano; Keskin, Oguzhan; Lupidi, Alisia Maria; Magister, Lucie Charlotte; Liò, Pietro; Barbiero, Pietro
Interpretable Neural-Symbolic Concept Reasoning
2023 Barbiero, P.; Ciravegna, G.; Giannini, F.; Zarlenga, M. E.; Magister, L. C.; Tonda, A.; Lio, P.; Precioso, F.; Jamnik, M.; Marra, G.
Learning logic explanations by neural networks
2023 Ciravegna, G.; Giannini, F.; Barbiero, P.; Gori, M.; Lio, P.; Maggini, M.; Melacci, S.
Learning Łukasiewicz Logic Fragments by Quadratic Programming
2017 Giannini, Francesco; Diligenti, Michelangelo; Gori, Marco; Maggini, Marco