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, Michelangelo; Giannini, Francesco; Gori, Marco; Maggini, Marco; Marra, Giuseppe
AnyCBMs: How to Turn Any Black Box into a Concept Bottleneck Model
2024 Dominici, G.; Barbiero, P.; Giannini, Francesco; Gjoreski, M.; Langeinrich, M.
Benchmarking in Neuro-Symbolic AI
2026 Manhaeve, R.; Giannini, F.; Ali, M.; Azzolini, D.; Bizzarri, A.; Borghesi, A.; Bortolotti, S.; De Raedt, L.; Dhami, D.; Diligenti, M.; Dumančić, S.; Faltings, B.; Gentili, E.; Gerevini, A.; Gori, M.; Guns, T.; Homola, M.; Kersting, K.; Lehmann, J.; Lombardi, M.; Lorello, L.; Marconato, E.; Melacci, S.; Passerini, A.; Paul, D.; Riguzzi, F.; Teso, S.; Yorke-Smith, N.; Lippi, 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
Counterfactual concept bottleneck models
2025 Dominici, G.; Barbiero, P.; Giannini, Francesco; Gjoreski, M.; Marra, G.; Langheinrich, M.
Distilling KGE black boxes into interpretable NeSy models
2025 Castellano Ontiveros, R.; Giannini, F.; Diligenti, M.
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
Grounding Methods for Neural-Symbolic AI
2025 Ontiveros, Rodrigo Castellano; Giannini, Francesco; Gori, Marco; Marra, Giuseppe; Diligenti, Michelangelo
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.