1 citations · 1 across the 5 of their papers we have counts for
6 papers
Towards a Common Framework for Autoformalization
Agnieszka Mensfelt, David Tena Cucala, Santiago Franco +3
Autoformalization has emerged as a term referring to the automation of formalization - specifically, the formalization of mathematics using interactive theorem provers (proof assis…
Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions
Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau
Graph neural networks (GNNs) are often used for the task of link prediction: predicting missing binary facts in knowledge graphs (KGs). To address the lack of explainability of GNN…
Relational Graph Convolutional Networks Do Not Learn Sound Rules
Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau +1
Graph neural networks (GNNs) are frequently used to predict missing facts in knowledge graphs (KGs). Motivated by the lack of explainability for the outputs of these models, recent…
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…
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…
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals
David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
We present a consequence-based calculus for concept subsumption and classification in the description logic ALCHOIQ, which extends ALC with role hierarchies, inverse roles, number…