Picture for Bernardo Cuenca Grau

Bernardo Cuenca Grau

University of Oxford

Relational Graph Convolutional Networks Do Not Learn Sound Rules

Add code
Aug 14, 2024
Figure 1 for Relational Graph Convolutional Networks Do Not Learn Sound Rules
Figure 2 for Relational Graph Convolutional Networks Do Not Learn Sound Rules
Figure 3 for Relational Graph Convolutional Networks Do Not Learn Sound Rules
Figure 4 for Relational Graph Convolutional Networks Do Not Learn Sound Rules
Viaarxiv icon

On the Correspondence Between Monotonic Max-Sum GNNs and Datalog

Add code
Jun 15, 2023
Viaarxiv icon

Revisiting Inferential Benchmarks for Knowledge Graph Completion

Add code
Jun 07, 2023
Figure 1 for Revisiting Inferential Benchmarks for Knowledge Graph Completion
Figure 2 for Revisiting Inferential Benchmarks for Knowledge Graph Completion
Figure 3 for Revisiting Inferential Benchmarks for Knowledge Graph Completion
Figure 4 for Revisiting Inferential Benchmarks for Knowledge Graph Completion
Viaarxiv icon

Seminaive Materialisation in DatalogMTL

Add code
Aug 15, 2022
Figure 1 for Seminaive Materialisation in DatalogMTL
Figure 2 for Seminaive Materialisation in DatalogMTL
Viaarxiv icon

Augmenting Message Passing by Retrieving Similar Graphs

Add code
Jun 01, 2022
Figure 1 for Augmenting Message Passing by Retrieving Similar Graphs
Figure 2 for Augmenting Message Passing by Retrieving Similar Graphs
Figure 3 for Augmenting Message Passing by Retrieving Similar Graphs
Figure 4 for Augmenting Message Passing by Retrieving Similar Graphs
Viaarxiv icon

Minimal Explanations for Neural Network Predictions

Add code
May 19, 2022
Figure 1 for Minimal Explanations for Neural Network Predictions
Figure 2 for Minimal Explanations for Neural Network Predictions
Viaarxiv icon

MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators

Add code
Jan 12, 2022
Figure 1 for MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators
Figure 2 for MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators
Figure 3 for MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators
Figure 4 for MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators
Viaarxiv icon

The Window Validity Problem in Rule-Based Stream Reasoning

Add code
Aug 07, 2018
Viaarxiv icon

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

Add code
May 03, 2018
Figure 1 for Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals
Figure 2 for Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals
Figure 3 for Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals
Figure 4 for Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals
Viaarxiv icon

Stratified Negation in Limit Datalog Programs

Add code
Apr 25, 2018
Viaarxiv icon