David Tena Cucala

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

Collaborative distances:

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

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

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 Simancik, 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