David Tena Cucala

According to our database, David Tena Cucala authored at least 21 papers between 2017 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

From monotonic graph neural networks to datalog and back: Expressive power and practical applications.

David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev

Artif. Intell., 2026

Towards a Common Framework for Autoformalization.

Agnieszka Mensfelt, David Tena Cucala, Santiago Franco, Angeliki Koutsoukou-Argyraki, Vince Trencsenyi, Kostas Stathis

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Parallel Reasoning in Sequoia.

Alexander Furmston, David J. Tena Cucala, Jieying Chen, Bernardo Cuenca Grau

Proceedings of the Semantic Web - ISWC 2025, 2025

Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions.

Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau

Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2025

2024

The Stable Model Semantics of Datalog with Metric Temporal Operators.

Przemyslaw Andrzej Walega, David J. Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev

Theory Pract. Log. Program., January, 2024

Relational Graph Convolutional Networks Do Not Learn Sound Rules.

Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

Bridging Max Graph Neural Networks and Datalog with Negation.

David J. Tena Cucala, Bernardo Cuenca Grau

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

Faithful Rule Extraction for Differentiable Rule Learning Models.

Xiaxia Wang, David Jaime Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the Twelfth International Conference on Learning Representations, 2024

Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic.

Maximilian Pflueger, David Tena Cucala, Egor V. Kostylev

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

On the Correspondence Between Monotonic Max-Sum GNNs and Datalog.

David Tena Cucala, Bernardo Cuenca Grau, Boris Motik, Egor V. Kostylev

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

2022

GNNQ: A Neuro-Symbolic Approach to Query Answering over Incomplete Knowledge Graphs.

Maximilian Pflueger, David J. Tena Cucala, Egor V. Kostylev

Proceedings of the Semantic Web - ISWC 2022, 2022

Faithful Approaches to Rule Learning.

David J. Tena Cucala, Bernardo Cuenca Grau, Boris Motik

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Explainable GNN-Based Models over Knowledge Graphs.

David Jaime Tena Cucala, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik

Proceedings of the Tenth International Conference on Learning Representations, 2022

2021

Pay-as-you-go consequence-based reasoning for the description logic SROIQ.

David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks

Artif. Intell., 2021

DatalogMTL with Negation Under Stable Models Semantics.

Przemyslaw Andrzej Walega, David J. Tena Cucala, Egor V. Kostylev, Bernardo Cuenca Grau

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Stratified Negation in Datalog with Metric Temporal Operators.

David J. Tena Cucala, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Egor V. Kostylev

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2019

Sequoia: A Consequence Based Reasoner for SROIQ.

David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the 32nd International Workshop on Description Logics, 2019

15 Years of Consequence-Based Reasoning.

David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the Description Logic, Theory Combination, and All That, 2019

2018

Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions.

Andrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, Frantisek Simancík, Ian Horrocks

J. Artif. Intell. Res., 2018

Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals.

David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals.

David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks

Proceedings of the 30th International Workshop on Description Logics, 2017