Francesco Giannini

93 papers A* 15A 1B 3C 8Journal 44Unranked 19
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Robust Direct Data-Driven Ellipsoidal Predictive Control Scheme.
IEEE Control. Syst. Lett.
Francesco Giannini, Fabrizio Ranieri
2026 J jnl
Actionable Interpretability Must Be Defined in Terms of Symmetries.
CoRR
Pietro Barbiero, Mateo Espinosa Zarlenga, Francesco Giannini, Alberto Termine, Filippo Bonchi, Mateja Jamnik, Giuseppe Marra
2026 A* conf
DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs.
AAAI
Ying Jiao, Rodrigo Castellano Ontiveros, Luc De Raedt, Marco Gori, Francesco Giannini, Michelangelo Diligenti, Giuseppe Marra
2026 J jnl
Mixture of Concept Bottleneck Experts.
CoRR
Francesco De Santis, Gabriele Ciravegna, Giovanni de Felice, Arianna Casanova, Francesco Giannini, Michelangelo Diligenti, Mateo Espinosa Zarlenga, Pietro Barbiero, Johannes Schneider, Danilo Giordano
2026 J jnl
Position: Explaining Behavioral Shifts in Large Language Models Requires a Comparative Approach.
CoRR
Martino Ciaperoni, Marzio Di Vece, Luca Pappalardo, Fosca Giannotti, Francesco Giannini
2025 — conf
A Note on Methods for Explainable Malware Analysis.
JOWO
Martin Homola, Peter Anthony, Iveta Becková, Ján Kluka, Ján Mojzis, Peter Svec, Stefan Balogh, Franco Alberto Cardillo, Franca Debole, Umberto Straccia, Martin Kenyeres, Francesco Giannini, Michelangelo Diligenti, Marco Gori, Tomás Bisták, Daniel Trizna, Zekeri Adams
2025 C conf
A distributed control architecture for logistics operations in flexible manufacturing systems.
CoDIT
Francesco Giannini, Domenico Famularo, Giancarlo Fortino, Giuseppe Franzè
2025 J jnl
An Intelligent Multi-Layer Control Architecture for Logistics Operations of Autonomous Vehicles in Manufacturing Systems.
IEEE Trans Autom. Sci. Eng.
Domenico Famularo, Giancarlo Fortino, Francesco Pupo, Francesco Giannini, Giuseppe Franzè
2025 A* conf
Categorical Explaining Functors: Ensuring Coherence in Logical Explanations.
KR
Stefano Fioravanti, Francesco Giannini, Pietro Barbiero, Paolo Frazzetto, Roberto Confalonieri, Fabio Zanasi, Nicolò Navarin
2025 A* conf
Counterfactual Concept Bottleneck Models.
ICLR
Gabriele Dominici, Pietro Barbiero, Francesco Giannini, Martin Gjoreski, Giuseppe Marra, Marc Langheinrich
2025 J jnl
DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs.
CoRR
Ying Jiao, Rodrigo Castellano Ontiveros, Luc De Raedt, Marco Gori, Francesco Giannini, Michelangelo Diligenti, Giuseppe Marra
2025 J jnl
Deferring Concept Bottleneck Models: Learning to Defer Interventions to Inaccurate Experts.
CoRR
Andrea Pugnana, Riccardo Massidda, Francesco Giannini, Pietro Barbiero, Mateo Espinosa Zarlenga, Roberto Pellungrini, Gabriele Dominici, Fosca Giannotti, Davide Bacciu
2025 C conf
Distilling KGE black boxes into interpretable NeSy models.
NeSy
Rodrigo Castellano Ontiveros, Francesco Giannini, Michelangelo Diligenti
2025 A* conf
Grounding Methods for Neural-Symbolic AI.
IJCAI
Rodrigo Castellano Ontiveros, Francesco Giannini, Marco Gori, Giuseppe Marra, Michelangelo Diligenti
2025 J jnl
Grounding Methods for Neural-Symbolic AI.
CoRR
Rodrigo Castellano Ontiveros, Francesco Giannini, Marco Gori, Giuseppe Marra, Michelangelo Diligenti
2025 J jnl
If Concept Bottlenecks are the Question, are Foundation Models the Answer?
CoRR
Nicola Debole, Pietro Barbiero, Francesco Giannini, Andrea Passerini, Stefano Teso, Emanuele Marconato
2025 — conf
Interpretable Link Prediction via Neural-Symbolic Reasoning.
xAI (2)
Rodrigo Castellano Ontiveros, Ehsan Bonabi Mobaraki, Francesco Giannini, Pietro Barbiero, Marco Gori, Michelangelo Diligenti
2025 J jnl
Logic Explanation of AI Classifiers by Categorical Explaining Functors.
CoRR
Stefano Fioravanti, Francesco Giannini, Paolo Frazzetto, Fabio Zanasi, Pietro Barbiero
2025 — conf
Mathematical Foundation of Interpretable Equivariant Surrogate Models.
xAI (2)
Jacopo Joy Colombini, Filippo Bonchi, Francesco Giannini, Fosca Giannotti, Roberto Pellungrini, Patrizio Frosini
2025 J jnl
Mathematical Foundation of Interpretable Equivariant Surrogate Models.
CoRR
Jacopo Joy Colombini, Filippo Bonchi, Francesco Giannini, Fosca Giannotti, Roberto Pellungrini, Patrizio Frosini
2025 J jnl
Neural Interpretable Reasoning.
CoRR
Pietro Barbiero, Giuseppe Marra, Gabriele Ciravegna, David Debot, Francesco De Santis, Michelangelo Diligenti, Mateo Espinosa Zarlenga, Francesco Giannini
2025 J jnl
Relational reasoning networks.
Knowl. Based Syst.
Giuseppe Marra, Michelangelo Diligenti, Francesco Giannini
2024 J jnl
A Data-Driven Approach to Set-Theoretic Model Predictive Control for Nonlinear Systems.
Inf.
Francesco Giannini, Domenico Famularo
2024 C conf
A distributed control architecture for sustainable routing decisions of autonomous vehicle platoons subject to cyber attacks.
CoDIT
Domenico Famularo, Francesco Giannini, Giancarlo Fortino, Giuseppe Franzè
2024 — conf
A multi-tiered control framework designed for managing the logistical activities of self-driving vehicles within manufacturing environments.
CASE
Domenico Famularo, Giuseppe Franzè, Francesco Giannini, Francesco Pupo, Giancarlo Fortino, Francesco Tedesco
2024 — conf
AnyCBMs: How to Turn Any Black Box into a Concept Bottleneck Model.
xAI (Late-breaking Work, Demos, Doctoral Consortium)
Gabriele Dominici, Pietro Barbiero, Francesco Giannini, Martin Gjoreski, Marc Langheinrich
2024 J jnl
AnyCBMs: How to Turn Any Black Box into a Concept Bottleneck Model.
CoRR
Gabriele Dominici, Pietro Barbiero, Francesco Giannini, Martin Gjoreski, Marc Langheinrich
2024 J jnl
Autonomous Vehicle Platoons in Urban Road Networks: A Joint Distributed Reinforcement Learning and Model Predictive Control Approach.
IEEE CAA J. Autom. Sinica
Luigi D'Alfonso, Francesco Giannini, Giuseppe Franzè, Giuseppe Fedele, Francesco Pupo, Giancarlo Fortino
2024 — conf
Benchmarking in Neuro-Symbolic AI.
IJCLR
Robin Manhaeve, Francesco Giannini, Mehdi Ali, Damiano Azzolini, Alice Bizzarri, Andrea Borghesi, Samuele Bortolotti, Luc De Raedt, Devendra Singh Dhami, Michelangelo Diligenti, Sebastijan Dumancic, Boi Faltings, Elisabetta Gentili, Alfonso Gerevini, Marco Gori, Tias Guns, Martin Homola, Kristian Kersting, Jens Lehmann, Michele Lombardi, Luca Salvatore Lorello, Emanuele Marconato, Stefano Melacci, Andrea Passerini, Debjit Paul, Fabrizio Riguzzi, Stefano Teso, Neil Yorke-Smith, Marco Lippi
2024 — conf
Categorical Foundation of Explainable AI: A Unifying Theory.
xAI (3)
Francesco Giannini, Stefano Fioravanti, Pietro Barbiero, Alberto Tonda, Pietro Liò, Elena Di Lavore
2024 J jnl
Climbing the Ladder of Interpretability with Counterfactual Concept Bottleneck Models.
CoRR
Gabriele Dominici, Pietro Barbiero, Francesco Giannini, Martin Gjoreski, Giuseppe Marra, Marc Langheinrich
2024 J jnl
Embedding the State Trajectories of Nonlinear Systems via Multimodel Linear Descriptions: A Data-Driven-Based Algorithm.
IEEE Trans. Syst. Man Cybern. Syst.
Giuseppe Franzè, Francesco Giannini, Vicenç Puig, Giancarlo Fortino
2024 J jnl
Explainable Malware Detection with Tailored Logic Explained Networks.
CoRR
Peter Anthony, Francesco Giannini, Michelangelo Diligenti, Martin Homola, Marco Gori, Stefan Balogh, Ján Mojzis
2024 A* conf
Interpretable Concept-Based Memory Reasoning.
NeurIPS
David Debot, Pietro Barbiero, Francesco Giannini, Gabriele Ciravegna, Michelangelo Diligenti, Giuseppe Marra
2024 J jnl
Interpretable Concept-Based Memory Reasoning.
CoRR
David Debot, Pietro Barbiero, Francesco Giannini, Gabriele Ciravegna, Michelangelo Diligenti, Giuseppe Marra
2024 — conf
Logically Explainable Malware Detection.
HI-AI@KDD
Peter Anthony, Francesco Giannini, Michelangelo Diligenti, Marco Gori, Martin Homola, Stefan Balogh, Ján Mojzis
2024 — ed.
Proceedings of the KDD Workshop on Human-Interpretable AI 2024 co-located with 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD 2024), Centre de Convencions Internacional de Barcelona, Spain, August 26, 2024.
HI-AI@KDD
Gabriele Ciravegna, Mateo Espinosa Zarlenga, Pietro Barbiero, Zohreh Shams, Francesco Giannini, Damien Garreau, Mateja Jamnik, Tania Cerquitelli
2024 A* conf
Relational Concept Bottleneck Models.
NeurIPS
Pietro Barbiero, Francesco Giannini, Gabriele Ciravegna, Michelangelo Diligenti, Giuseppe Marra
2024 — conf
Tomorrow Brings Greater Knowledge: Large Language Models Join Dynamic Temporal Knowledge Graphs.
CoLLAs
Christian Di Maio, Andrea Zugarini, Francesco Giannini, Marco Maggini, Stefano Melacci
2024 A* conf
Workshop on Human-Interpretable AI.
KDD
Gabriele Ciravegna, Mateo Espinosa Zarlenga, Pietro Barbiero, Francesco Giannini, Zohreh Shams, Damien Garreau, Mateja Jamnik, Tania Cerquitelli
2023 C conf
A Neural Network and Model Predictive Control Based Resilient Architecture for Constrained Cyber-Physical Systems.
CoDIT
Luigi D'Alfonso, Giuseppe Franzè, Francesco Giannini, Francesco Tedesco
2023 C conf
A Set-Theoretic Receding Horizon Control Based on a Q-Learning Approach for Sustainability Purposes.
CoDIT
Francesco Giannini, Giuseppe Franzè, Francesco Pupo, Giancarlo Fortino
2023 J jnl
A Sustainable Multi-Agent Routing Algorithm for Vehicle Platoons in Urban Networks.
IEEE Trans. Intell. Transp. Syst.
Francesco Giannini, Giuseppe Franzè, Francesco Pupo, Giancarlo Fortino
2023 — conf
Bridging Equational Properties and Patterns on Graphs: an AI-Based Approach.
TAG-ML
Oguzhan Keskin, Alisia Maria Lupidi, Stefano Fioravanti, Lucie Charlotte Magister, Pietro Barbiero, Pietro Lio, Francesco Giannini
2023 J jnl
Categorical Foundations of Explainable AI: A Unifying Formalism of Structures and Semantics.
CoRR
Pietro Barbiero, Stefano Fioravanti, Francesco Giannini, Alberto Tonda, Pietro Liò, Elena Di Lavore
2023 B conf
Enhancing Embedding Representations of Biomedical Data using Logic Knowledge.
IJCNN
Michelangelo Diligenti, Francesco Giannini, Stefano Fioravanti, Caterina Graziani, Moreno Falaschi, Giuseppe Marra
2023 J jnl
Enhancing Embedding Representations of Biomedical Data using Logic Knowledge.
CoRR
Michelangelo Diligenti, Francesco Giannini, Stefano Fioravanti, Caterina Graziani, Moreno Falaschi, Giuseppe Marra
2023 A* conf
Interpretable Graph Networks Formulate Universal Algebra Conjectures.
NeurIPS
Francesco Giannini, Stefano Fioravanti, Oguzhan Keskin, Alisia Maria Lupidi, Lucie Charlotte Magister, Pietro Lió, Pietro Barbiero
2023 J jnl
Interpretable Graph Networks Formulate Universal Algebra Conjectures.
CoRR
Francesco Giannini, Stefano Fioravanti, Oguzhan Keskin, Alisia Maria Lupidi, Lucie Charlotte Magister, Pietro Lio, Pietro Barbiero
2023 A* conf
Interpretable Neural-Symbolic Concept Reasoning.
ICML
Pietro Barbiero, Gabriele Ciravegna, Francesco Giannini, Mateo Espinosa Zarlenga, Lucie Charlotte Magister, Alberto Tonda, Pietro Lio, Frédéric Precioso, Mateja Jamnik, Giuseppe Marra
2023 C conf
Interpretable Neural-Symbolic Concept Reasoning.
NeSy
Pietro Barbiero, Gabriele Ciravegna, Francesco Giannini, Mateo Espinosa Zarlenga, Lucie Charlotte Magister, Alberto Tonda, Pietro Liò, Frédéric Precioso, Mateja Jamnik, Giuseppe Marra
2023 J jnl
Interpretable Neural-Symbolic Concept Reasoning.
CoRR
Pietro Barbiero, Gabriele Ciravegna, Francesco Giannini, Mateo Espinosa Zarlenga, Lucie Charlotte Magister, Alberto Tonda, Pietro Lio', Frédéric Precioso, Mateja Jamnik, Giuseppe Marra
2023 — ch.
Learning Logic Explanations by Neural Networks.
Compendium of Neurosymbolic Artificial Intelligence
Gabriele Ciravegna, Francesco Giannini, Pietro Barbiero, Marco Gori, Pietro Lio, Marco Maggini, Stefano Melacci
2023 B conf
Linguistic Feature Injection for Efficient Natural Language Processing.
IJCNN
Stefano Fioravanti, Andrea Zugarini, Francesco Giannini, Leonardo Rigutini, Marco Maggini, Michelangelo Diligenti
2023 C conf
Logic Explained Networks.
NeSy
Gabriele Ciravegna, Pietro Barbiero, Francesco Giannini, Marco Gori, Pietro Liò, Marco Maggini, Stefano Melacci
2023 J jnl
Logic Explained Networks.
Artif. Intell.
Gabriele Ciravegna, Pietro Barbiero, Francesco Giannini, Marco Gori, Pietro Liò, Marco Maggini, Stefano Melacci
2023 J jnl
Relational Concept Based Models.
CoRR
Pietro Barbiero, Francesco Giannini, Gabriele Ciravegna, Michelangelo Diligenti, Giuseppe Marra
2023 — conf
Set-theoretic receding horizon control for nonlinear systems: a data-driven approach.
EUROCON
Francesco Giannini, Giuseppe Franzè, Francesco Pupo, Giancarlo Fortino
2023 J jnl
T-norms driven loss functions for machine learning.
Appl. Intell.
Francesco Giannini, Michelangelo Diligenti, Marco Maggini, Marco Gori, Giuseppe Marra
2022 — conf
A Deep Q Learning-Model Predictive Control Approach to vehicle routing and control with platoon constraints.
CASE
Francesco Giannini, Giancarlo Fortino, Giuseppe Franzè, Francesco Pupo
2022 — conf
Autonomous Vehicles in Smart Cities: a Deep Reinforcement Learning Solution.
DASC/PiCom/CBDCom/CyberSciTech
Francesco Giannini, Giuseppe Franzè, Francesco Pupo, Giancarlo Fortino
2022 J jnl
Concept Embedding Models.
CoRR
Mateo Espinosa Zarlenga, Pietro Barbiero, Gabriele Ciravegna, Giuseppe Marra, Francesco Giannini, Michelangelo Diligenti, Zohreh Shams, Frédéric Precioso, Stefano Melacci, Adrian Weller, Pietro Liò, Mateja Jamnik
2022 A* conf
Concept Embedding Models: Beyond the Accuracy-Explainability Trade-Off.
NeurIPS
Mateo Espinosa Zarlenga, Pietro Barbiero, Gabriele Ciravegna, Giuseppe Marra, Francesco Giannini, Michelangelo Diligenti, Zohreh Shams, Frédéric Precioso, Stefano Melacci, Adrian Weller, Pietro Lió, Mateja Jamnik
2022 A* conf
Entropy-Based Logic Explanations of Neural Networks.
AAAI
Pietro Barbiero, Gabriele Ciravegna, Francesco Giannini, Pietro Lió, Marco Gori, Stefano Melacci
2022 A* conf
Extending Logic Explained Networks to Text Classification.
EMNLP
Rishabh Jain, Gabriele Ciravegna, Pietro Barbiero, Francesco Giannini, Davide Buffelli, Pietro Liò
2022 J jnl
Extending Logic Explained Networks to Text Classification.
CoRR
Rishabh Jain, Gabriele Ciravegna, Pietro Barbiero, Francesco Giannini, Davide Buffelli, Pietro Liò
2022 C conf
Path planning for vehicle platoons under routing decisions: a distributed approach combining Deep Reinforcement Learning and Model Predictive Control.
CoDIT
Francesco Giannini, Giancarlo Fortino, Giuseppe Franzè, Francesco Pupo
2021 — ch.
A Constraint-Based Approach to Learning and Reasoning.
Neuro-Symbolic Artificial Intelligence
Michelangelo Diligenti, Francesco Giannini, Marco Gori, Marco Maggini, Giuseppe Marra
2021 J jnl
Entropy-based Logic Explanations of Neural Networks.
CoRR
Pietro Barbiero, Gabriele Ciravegna, Francesco Giannini, Pietro Lió, Marco Gori, Stefano Melacci
2021 J jnl
LENs: a Python library for Logic Explained Networks.
CoRR
Pietro Barbiero, Gabriele Ciravegna, Dobrik Georgiev, Francesco Giannini
2021 J jnl
Learning Representations for Sub-Symbolic Reasoning.
CoRR
Giuseppe Marra, Michelangelo Diligenti, Francesco Giannini, Marco Maggini
2021 J jnl
Logic Explained Networks.
CoRR
Gabriele Ciravegna, Pietro Barbiero, Francesco Giannini, Marco Gori, Pietro Lió, Marco Maggini, Stefano Melacci
2020 A* conf
A Constraint-Based Approach to Learning and Explanation.
AAAI
Gabriele Ciravegna, Francesco Giannini, Stefano Melacci, Marco Maggini, Marco Gori
2020 A* conf
Human-Driven FOL Explanations of Deep Learning.
IJCAI
Gabriele Ciravegna, Francesco Giannini, Marco Gori, Marco Maggini, Stefano Melacci
2020 — conf
Inference in relational neural machines.
NeHuAI@ECAI
Giuseppe Marra, Francesco Giannini, Lapo Faggi, Michelangelo Diligenti, Marco Gori, Marco Maggini
2020 A conf
Relational Neural Machines.
ECAI
Giuseppe Marra, Michelangelo Diligenti, Francesco Giannini, Marco Gori, Marco Maggini
2020 J jnl
Relational Neural Machines.
CoRR
Giuseppe Marra, Michelangelo Diligenti, Francesco Giannini, Marco Gori, Marco Maggini
2019 — conf
Conditions for Unnecessary Logical Constraints in Kernel Machines.
ICANN (2)
Francesco Giannini, Marco Maggini
2019 J jnl
Conditions for Unnecessary Logical Constraints in Kernel Machines.
CoRR
Francesco Giannini, Marco Maggini
2019 — conf
Constraint-Based Visual Generation.
ICANN (3)
Giuseppe Marra, Francesco Giannini, Michelangelo Diligenti, Marco Gori
2019 — conf
Integrating Learning and Reasoning with Deep Logic Models.
ECML/PKDD (2)
Giuseppe Marra, Francesco Giannini, Michelangelo Diligenti, Marco Gori
2019 J jnl
Integrating Learning and Reasoning with Deep Logic Models.
CoRR
Giuseppe Marra, Francesco Giannini, Michelangelo Diligenti, Marco Gori
2019 — conf
LYRICS: A General Interface Layer to Integrate Logic Inference and Deep Learning.
ECML/PKDD (2)
Giuseppe Marra, Francesco Giannini, Michelangelo Diligenti, Marco Gori
2019 J jnl
LYRICS: a General Interface Layer to Integrate AI and Deep Learning.
CoRR
Giuseppe Marra, Francesco Giannini, Michelangelo Diligenti, Marco Gori
2019 J jnl
Learning and T-Norms Theory.
CoRR
Giuseppe Marra, Francesco Giannini, Michelangelo Diligenti, Marco Maggini, Marco Gori
2019 J jnl
On a Convex Logic Fragment for Learning and Reasoning.
IEEE Trans. Fuzzy Syst.
Francesco Giannini, Michelangelo Diligenti, Marco Gori, Marco Maggini
2019 B conf
On the Relation Between Loss Functions and T-Norms.
ILP
Francesco Giannini, Giuseppe Marra, Michelangelo Diligenti, Marco Maggini, Marco Gori
2019 J jnl
On the relation between Loss Functions and T-Norms.
CoRR
Francesco Giannini, Giuseppe Marra, Michelangelo Diligenti, Marco Maggini, Marco Gori
2018 A* conf
Characterization of the Convex Łukasiewicz Fragment for Learning From Constraints.
AAAI
Francesco Giannini, Michelangelo Diligenti, Marco Gori, Marco Maggini
2018 J jnl
Constraint-Based Visual Generation.
CoRR
Giuseppe Marra, Francesco Giannini, Michelangelo Diligenti, Marco Gori
2018 J jnl
On a Convex Logic Fragment for Learning and Reasoning.
CoRR
Francesco Giannini, Michelangelo Diligenti, Marco Gori, Marco Maggini
2017 — conf
Learning Łukasiewicz Logic Fragments by Quadratic Programming.
ECML/PKDD (1)
Francesco Giannini, Michelangelo Diligenti, Marco Gori, Marco Maggini
2017 J jnl
Neural Networks for Beginners. A fast implementation in Matlab, Torch, TensorFlow.
CoRR
Francesco Giannini, Vincenzo Laveglia, Alessandro Rossi, Dario Zanca, Andrea Zugarini