57 citations · 166 across the 21 of their papers we have counts for
4 papers · 1 filter
Seminaive Materialisation in DatalogMTL
Dingmin Wang, Przemysław Andrzej Wałęga, Bernardo Cuenca Grau
DatalogMTL is an extension of Datalog with metric temporal operators that has found applications in temporal ontology-based data access and query answering, as well as in stream re…
An Empirical Study of Retrieval-enhanced Graph Neural Networks
Dingmin Wang, Shengchao Liu, Hanchen Wang +5
Graph Neural Networks (GNNs) are effective tools for graph representation learning. Most GNNs rely on a recursive neighborhood aggregation scheme, named message passing, thereby th…
Cardinality-Minimal Explanations for Monotonic Neural Networks
Ouns El Harzli, Bernardo Cuenca Grau, Ian Horrocks
In recent years, there has been increasing interest in explanation methods for neural model predictions that offer precise formal guarantees. These include abductive (respectively,…
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators
Dingmin Wang, Pan Hu, Przemysław Andrzej Wałęga +1
DatalogMTL is an extension of Datalog with operators from metric temporal logic which has received significant attention in recent years. It is a highly expressive knowledge repres…