Bernardo Cuenca Grau
24 papers · 2013–2026 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+8 more ↓ Show less ↑
🗺️ Taxonomy Completionist (23) 🏃 Academic Marathon · Half 🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Silver 🐣 Hot Topic Early Bird
🔬
Deep Specialist
(10)
🤝
Dynamic Duo
(11)
🏆
Keyword Champion
(5)
📈
Trend Setter
🚀
Conference Pioneer
🔥
Unstoppable · Silver
🗃️
Keyword Collector
(77)
💎
Century Club · Bronze
Venues
Top co-authors
Research topics
Machine Learning
(12)
Artificial Intelligence
(10)
Optimization & Theory
(10)
Knowledge & Reasoning
(9)
Core AI
(9)
Reasoning
(9)
Deep Learning
(5)
Architectures
(5)
Representation
(4)
Mathematics & Optimization
(3)
Mathematics
(2)
Optimization
(2)
Interdisciplinary
(1)
Bayesian & Probabilistic · Artificial Intelligence
(1)
Bayesian & Probabilistic · Machine Learning
(1)
Keywords
metric temporal logic
(6)
data complexity
(5)
computational complexity
(5)
knowledge representation
(4)
graph neural network
(3)
knowledge graph
(3)
logic programming
(3)
query answering
(3)
neural network
(2)
fact entailment
(2)
automated reasoning
(2)
temporal reasoning
(2)
expressive power
(2)
stratified negation
(2)
first-order logic
(2)
temporal logic
(2)
ontology-based data access
(2)
random matrix theory
(2)
description logic
(2)
forward chaining
(2)
Papers
The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic
AAAI 2026
Bayesian Treatment of the Spectrum of the Empirical Kernel in (Sub)Linear-Width Neural Networks
ICLR 2025
Double-Descent Curves in Neural Networks: A New Perspective Using Gaussian Processes
AAAI 2024
Faithful Rule Extraction for Differentiable Rule Learning Models
ICLR 2024
Orbit-Equivariant Graph Neural Networks
ICLR 2024
Cardinality-Minimal Explanations for Monotonic Neural Networks
IJCAI 2023
Efficient Embeddings of Logical Variables for Query Answering over Incomplete Knowledge Graphs
AAAI 2023
Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals
AAAI 2023
Explainable GNN-Based Models over Knowledge Graphs
ICLR 2022
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators
AAAI 2022
Stratified Negation in Datalog with Metric Temporal Operators
AAAI 2021
Complexity and Expressive Power of Disjunction and Negation in Limit Datalog
AAAI 2020
Tractable Fragments of Datalog with Metric Temporal Operators
IJCAI 2020
DatalogMTL: Computational Complexity and Expressive Power
IJCAI 2019
Reasoning over Streaming Data in Metric Temporal Datalog
AAAI 2019
Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access
IJCAI 2019
Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals
IJCAI 2018
Stratified Negation in Limit Datalog Programs
IJCAI 2018
Foundations of Declarative Data Analysis Using Limit Datalog Programs
IJCAI 2017
The Bag Semantics of Ontology-Based Data Access
IJCAI 2017
Computing Horn Rewritings of Description Logics Ontologies
IJCAI 2015
Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies
IJCAI 2015
The Combined Approach to Query Answering Beyond the OWL 2 Profiles
IJCAI 2015
Computing Datalog Rewritings Beyond Horn Ontologies
IJCAI 2013