David J. Tena Cucala

12 papers A* 6Misc 1Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2025 A* conf
Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions.
KR
Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau
2025 J jnl
Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions.
CoRR
Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau
2025 — conf
Parallel Reasoning in Sequoia.
ISWC (1)
Alexander Furmston, David J. Tena Cucala, Jieying Chen, Bernardo Cuenca Grau
2024 A* conf
Bridging Max Graph Neural Networks and Datalog with Negation.
KR
David J. Tena Cucala, Bernardo Cuenca Grau
2024 A* conf
Relational Graph Convolutional Networks Do Not Learn Sound Rules.
KR
Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2024 J jnl
Relational Graph Convolutional Networks Do Not Learn Sound Rules.
CoRR
Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
2024 J jnl
The Stable Model Semantics of Datalog with Metric Temporal Operators.
Theory Pract. Log. Program.
Przemyslaw Andrzej Walega, David J. Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev
2023 J jnl
The Stable Model Semantics of Datalog with Metric Temporal Operators.
CoRR
Przemyslaw Andrzej Walega, David J. Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev
2022 A* conf
Faithful Approaches to Rule Learning.
KR
David J. Tena Cucala, Bernardo Cuenca Grau, Boris Motik
2022 Misc conf
GNNQ: A Neuro-Symbolic Approach to Query Answering over Incomplete Knowledge Graphs.
ISWC
Maximilian Pflueger, David J. Tena Cucala, Egor V. Kostylev
2021 A* conf
DatalogMTL with Negation Under Stable Models Semantics.
KR
Przemyslaw Andrzej Walega, David J. Tena Cucala, Egor V. Kostylev, Bernardo Cuenca Grau
2021 A* conf
Stratified Negation in Datalog with Metric Temporal Operators.
AAAI
David J. Tena Cucala, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Egor V. Kostylev