Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals. - David Tena Cucala; Bernardo Cuenca Grau; Ian Horrocks 001 (Description Logics, 2017)

Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals. - David Tena Cucala; Bernardo Cuenca Grau; Ian Horrocks 001 (IJCAI, 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 001 (J. Artif. Intell. Res., 2018)

15 Years of Consequence-Based Reasoning. - David Tena Cucala; Bernardo Cuenca Grau; Ian Horrocks 001 (Description Logic, Theory Combination, and All That, 2019)

Sequoia: A Consequence Based Reasoner for SROIQ. - David Tena Cucala; Bernardo Cuenca Grau; Ian Horrocks 001 (Description Logics, 2019)

Stratified Negation in Datalog with Metric Temporal Operators. - David J. Tena Cucala; Przemyslaw Andrzej Walega; Bernardo Cuenca Grau; Egor V. Kostylev (AAAI, 2021)

DatalogMTL with Negation Under Stable Models Semantics. - Przemyslaw Andrzej Walega; David J. Tena Cucala; Egor V. Kostylev; Bernardo Cuenca Grau (KR, 2021)

Pay-as-you-go consequence-based reasoning for the description logic SROIQ. - David Tena Cucala; Bernardo Cuenca Grau; Ian Horrocks 001 (Artif. Intell., 2021)

Explainable GNN-Based Models over Knowledge Graphs. - David Jaime Tena Cucala; Bernardo Cuenca Grau; Egor V. Kostylev; Boris Motik (ICLR, 2022)

Faithful Approaches to Rule Learning. - David J. Tena Cucala; Bernardo Cuenca Grau; Boris Motik (KR, 2022)

GNNQ: A Neuro-Symbolic Approach to Query Answering over Incomplete Knowledge Graphs. - Maximilian Pflueger; David J. Tena Cucala; Egor V. Kostylev (ISWC, 2022)

On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. - David Tena Cucala; Bernardo Cuenca Grau; Boris Motik; Egor V. Kostylev (KR, 2023)

Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic. - Maximilian Pflueger; David Tena Cucala; Egor V. Kostylev (AAAI, 2024)

Faithful Rule Extraction for Differentiable Rule Learning Models. - Xiaxia Wang 001; David Jaime Tena Cucala; Bernardo Cuenca Grau; Ian Horrocks 001 (ICLR, 2024)

Bridging Max Graph Neural Networks and Datalog with Negation. - David J. Tena Cucala; Bernardo Cuenca Grau (KR, 2024)

Relational Graph Convolutional Networks Do Not Learn Sound Rules. - Matthew Morris; David J. Tena Cucala; Bernardo Cuenca Grau; Ian Horrocks 001 (KR, 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., 2024)