1 citations · 1 across the 5 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.AI2023★ 1 cited
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog
David Tena Cucala, Bernardo Cuenca Grau, Boris Motik +1
Although there has been significant interest in applying machine learning techniques to structured data, the expressivity (i.e., a description of what can be learned) of such techn…
cs.LO2023
The Stable Model Semantics of Datalog with Metric Temporal Operators
Przemysław A. Wałęga, David J. Tena Cucala, Bernardo Cuenca Grau +1
We introduce negation under the stable model semantics in DatalogMTL - a temporal extension of Datalog with metric temporal operators. As a result, we obtain a rule language which…