1 citations · 3 across the 8 of their papers we have counts for
10 papers
Interpretable Graph Networks Formulate Universal Algebra Conjectures
Francesco Giannini, Stefano Fioravanti, Oguzhan Keskin +4
The rise of Artificial Intelligence (AI) recently empowered researchers to investigate hard mathematical problems which eluded traditional approaches for decades. Yet, the use of A…
Categorical Foundations of Explainable AI: A Unifying Theory
Pietro Barbiero, Stefano Fioravanti, Francesco Giannini +3
Explainable AI (XAI) aims to address the human need for safe and reliable AI systems. However, numerous surveys emphasize the absence of a sound mathematical formalization of key X…
Enhancing Embedding Representations of Biomedical Data using Logic Knowledge
Michelangelo Diligenti, Francesco Giannini, Stefano Fioravanti +3
Knowledge Graph Embeddings (KGE) have become a quite popular class of models specifically devised to deal with ontologies and graph structure data, as they can implicitly encode st…
On Freese's technique
Paolo Aglianò, Stefano Bartali, Stefano Fioravanti
In this paper we explore some applications of a certain technique (that we call the Freese's technique), which is a tool for identifying certain lattices as sublattices of the cong…
On properties described by terms in commutator relation
Stefano Fioravanti
We investigate properties of varieties of algebras described by a novel concept of equation that we call \emph{commutator equation}. A commutator equation is a relaxation of the st…
Expansions of abelian squarefree groups
Stefano Fioravanti
We investigate finitary functions from to for a squarefree number . We show that the lattice of all clones on the squarefree set $\mathbb{Z}_{p…
Closed sets of finitary functions between products of finite fields of coprime order
Stefano Fioravanti
We investigate the finitary functions from a finite product of finite fields to a finite product of finite fields $\prod_{i =1}^n\math…
Mal'cev conditions corresponding to identities for compatible reflexive relations
Stefano Fioravanti
We investigate Mal'cev conditions described by equations whose variables runs over the set of all compatible reflexive relations. Let be an equation in the language $\{\…
Clones containing the Mal'cev operation of
Stefano Fioravanti
We investigate finitary functions from to for two distinct prime numbers and . We show that the lattice of all clones on the set $\mathbb…
Closed sets of finitary functions between finite fields of coprime order
Stefano Fioravanti
We investigate the finitary functions from a finite field to the finite field , where and are powers of different primes. An $(\mathbb{F}_p,\ma…