23 citations · 28 across the 5 of their papers we have counts for
5 papers
MILP-SAT-GNN: Yet Another Neural SAT Solver
Franco Alberto Cardillo, Hamza Khyari, Umberto Straccia
We proposes a novel method that enables Graph Neural Networks (GNNs) to solve SAT problems by leveraging a technique developed for applying GNNs to Mixed Integer Linear Programming…
PN-OWL: A Two Stage Algorithm to Learn Fuzzy Concept Inclusions from OWL Ontologies
Franco Alberto Cardillo, Franca Debole, Umberto Straccia
OWL ontologies are a quite popular way to describe structured knowledge in terms of classes, relations among classes and class instances. In this paper, given a target class T of a…
Fuzzy OWL-BOOST: Learning Fuzzy Concept Inclusions via Real-Valued Boosting
Franco Alberto Cardillo, Umberto Straccia
OWL ontologies are nowadays a quite popular way to describe structured knowledge in terms of classes, relations among classes and class instances. In this paper, given a target cla…
Supermetric Search
Richard Connor, Lucia Vadicamo, Franco Alberto Cardillo +1
Metric search is concerned with the efficient evaluation of queries in metric spaces. In general,a large space of objects is arranged in such a way that, when a further object is p…
Hilbert Exclusion: Improved Metric Search through Finite Isometric Embeddings
Richard Connor, Franco Alberto Cardillo, Lucia Vadicamo +1
Most research into similarity search in metric spaces relies upon the triangle inequality property. This property allows the space to be arranged according to relative distances to…