Bernardo Cuenca Grau

24 papers · 2013–2026 · 3 conferences · across top CS/AI conferences

Achievements

🐝 Cross-Pollinator (5) 🐣 Hot Topic Early Bird 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🗺️ Taxonomy Completionist (22) 🌍 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

Ian Horrocks (11) Mark Kaminski (9) Egor V. Kostylev (9) Boris Motik (4) Ouns El Harzli (3) Przemysław Andrzej Wałęga (3) Dingmin Wang (3) Przemysław A. Wałęga (3) Charalampos Nikolaou (2) David Jaime Tena Cucala (2)

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