IRIS

GIANNINI, FRANCESCO

GIANNINI, FRANCESCO  

Dipartimento di Ingegneria dell'Informazione e Scienze Matematiche  

Mostra records
Risultati 1 - 20 di 27 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autore(i) File Abstract
A Constraint-Based Approach to Learning and Reasoning 1-gen-2021 Diligenti, Michelangelo; Giannini, Francesco; Gori, Marco; Maggini, Marco; Marra, Giuseppe -
Bridging Equational Properties and Patterns on Graphs: an AI-Based Approach 1-gen-2023 Keskin, Oguzhan; Lupidi, Alisia Maria; Fioravanti, Stefano; Magister, Lucie Charlotte; Barbiero, Pietro; Lio, Pietro; Giannini, Francesco -
Categorical Foundation of Explainable AI: A Unifying Theory 1-gen-2024 Giannini, F.; Fioravanti, S.; Barbiero, P.; Tonda, A.; Lio, P.; Di Lavore, E. -
Characterization of the Convex Lukasiewicz Fragment for Learning from Constraints 1-gen-2018 Giannini, Francesco; Diligenti, Michelangelo; Gori, Marco; Maggini, Marco -
Concept Embedding Models: Beyond the Accuracy-Explainability Trade-Off 1-gen-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 1-gen-2019 Giannini, F.; Maggini, M. -
Constraint-Based Visual Generation 1-gen-2019 Marra, G; Giannini, F; Diligenti, M; Gori, M -
Enhancing Embedding Representations of Biomedical Data using Logic Knowledge 1-gen-2023 Diligenti, M.; Giannini, F.; Fioravanti, S.; Graziani, C.; Falaschi, M.; Marra, G. -
Entropy-Based Logic Explanations of Neural Networks 1-gen-2022 Barbiero, Pietro; Ciravegna, Gabriele; Giannini, Francesco; Lió, Pietro; Gori, Marco; Melacci, Stefano -
Extending Logic Explained Networks to Text Classification 1-gen-2022 Jain, Rishabh; Ciravegna, Gabriele; Barbiero, Pietro; Giannini, Francesco; Buffelli, Davide; Lio, Pietro -
Human-Driven FOL Explanations of Deep Learning 1-gen-2020 Ciravegna, Gabriele; Giannini, Francesco; Gori, Marco; Maggini, Marco; Melacci, Stefano -
Inference in relational neural machines 1-gen-2020 Marra, G.; Diligenti, M.; Faggi, L.; Giannini, F.; Gori, M.; Maggini, M. -
Integrating learning and reasoning with deep logic models 1-gen-2019 Marra, Giuseppe; Giannini, Francesco; Diligenti, Michelangelo; Gori, Marco -
Interpretable Graph Networks Formulate Universal Algebra Conjectures 1-gen-2023 Giannini, F.; Fioravanti, S.; Keskin, O.; Lupidi, A. M.; Magister, L. C.; Lio, P.; Barbiero, P. -
Interpretable Neural-Symbolic Concept Reasoning 1-gen-2023 Barbiero, Pietro; Ciravegna, Gabriele; Giannini, Francesco; Espinosa Zarlenga, Mateo; Charlotte Magister, Lucie; Tonda, Alberto; Lio, Pietro; Precioso, Frederic; Jamnik, Mateja; Marra, Giuseppe -
Learning Logic Explanations by Neural Networks 1-gen-2023 Ciravegna, Gabriele; Giannini, Francesco; Barbiero, Pietro; Gori, Marco; Lio, Pietro; Maggini, Marco; Melacci, Stefano -
Learning Łukasiewicz Logic Fragments by Quadratic Programming 1-gen-2017 Giannini, Francesco; Diligenti, Michelangelo; Gori, Marco; Maggini, Marco -
Linguistic Feature Injection for Efficient Natural Language Processing 1-gen-2023 Fioravanti, S.; Zugarini, A.; Giannini, F.; Rigutini, L.; Maggini, M.; Diligenti, M. -
Logic Explained Networks 1-gen-2023 Ciravegna, Gabriele; Barbiero, Pietro; Giannini, Francesco; Gori, Marco; Liò, Pietro; Maggini, Marco; Melacci, Stefano -
Logic Explained Networks 1-gen-2023 Ciravegna, G.; Barbiero, P.; Giannini, F.; Gori, M.; Lio, P.; Maggini, M.; Melacci, S. -