Bernardo Cuenca Grau
24 papers · 2013–2026 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+10 more ↓ Show less ↑
🏃 Academic Marathon (12) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (3) 🐝 Cross-Pollinator (5)
🌍
Conference Polyglot
(3)
🏃
Academic Marathon
(12)
🌈
Renaissance Researcher
(6)
🤝
Dynamic Duo
(11)
🏆
Keyword Champion
(5)
📈
Trend Setter
💎
Century Club
(23)
🚀
Conference Pioneer
🗃️
Keyword Collector
(69)
🔥
Unstoppable
(9)
Conferences
IJCAI (12)
AAAI (8)
ICLR (4)
Top co-authors
Keywords
metric temporal logic
(6)
computational complexity
(5)
data complexity
(5)
knowledge representation
(4)
logic programming
(3)
query answering
(3)
stream reasoning
(2)
stratified negation
(2)
fact entailment
(2)
temporal logic
(2)
description logic
(2)
expressive power
(2)
forward chaining
(2)
first-order logic
(2)
temporal reasoning
(2)
neural network
(2)
automated reasoning
(2)
ontology-based data access
(2)
complexity analysis
(1)
feature attribution
(1)
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
Orbit-Equivariant Graph Neural Networks
ICLR 2024
Faithful Rule Extraction for Differentiable Rule Learning Models
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
Reasoning over Streaming Data in Metric Temporal Datalog
AAAI 2019
Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access
IJCAI 2019
DatalogMTL: Computational Complexity and Expressive Power
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
The Bag Semantics of Ontology-Based Data Access
IJCAI 2017
Foundations of Declarative Data Analysis Using Limit Datalog Programs
IJCAI 2017
The Combined Approach to Query Answering Beyond the OWL 2 Profiles
IJCAI 2015
Computing Horn Rewritings of Description Logics Ontologies
IJCAI 2015
Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies
IJCAI 2015
Computing Datalog Rewritings Beyond Horn Ontologies
IJCAI 2013