Bernardo Cuenca Grau

10 papers at tracked venues · 5 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

KR ×4 ICLR ×3 AAAI ×2 ISWC ×1

Frequent coauthors

David J. Tena Cucala

×5

Matthew Morris

×3

Ian Horrocks

×3

Przemyslaw Andrzej Walega

×2

Ouns El Harzli

×2

Eva Feng

×1

Alexander Furmston

×1

Jieying Chen

×1

Guillermo Valle Pérez

×1

Ard A. Louis

×1

Xiaxia Wang

×1

Dingmin Wang

×1

Papers

The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic
AAAI 2026 · Bernardo Cuenca Grau,
Eva Feng
,
Przemyslaw Andrzej Walega
Bayesian Treatment of the Spectrum of the Empirical Kernel in (Sub)Linear-Width Neural Networks
ICLR 2025 ·
Ouns El Harzli
, Bernardo Cuenca Grau
Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions
KR 2025 ·
Matthew Morris
,
David J. Tena Cucala
, Bernardo Cuenca Grau
Parallel Reasoning in Sequoia
ISWC 2025 ·
Alexander Furmston
,
David J. Tena Cucala
,
Jieying Chen
, Bernardo Cuenca Grau
Bridging Max Graph Neural Networks and Datalog with Negation
KR 2024 ·
David J. Tena Cucala
, Bernardo Cuenca Grau
Double-Descent Curves in Neural Networks: A New Perspective Using Gaussian Processes
AAAI 2024 ·
Ouns El Harzli
, Bernardo Cuenca Grau,
Guillermo Valle Pérez
,
Ard A. Louis
Faithful Rule Extraction for Differentiable Rule Learning Models
ICLR 2024 ·
Xiaxia Wang
,
David Jaime Tena Cucala
, Bernardo Cuenca Grau,
Ian Horrocks
MTLearn: Extracting Temporal Rules Using Datalog Rule Learners
KR 2024 ·
Dingmin Wang
,
Przemyslaw Andrzej Walega
, Bernardo Cuenca Grau
Orbit-Equivariant Graph Neural Networks
ICLR 2024 ·
Matthew Morris
, Bernardo Cuenca Grau,
Ian Horrocks
Relational Graph Convolutional Networks Do Not Learn Sound Rules
KR 2024 ·
Matthew Morris
,
David J. Tena Cucala
, Bernardo Cuenca Grau,
Ian Horrocks