Bernardo Cuenca Grau

Venues

Frequent coauthors

Papers

1. The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic
   AAAI 2026 · Bernardo Cuenca Grau
2. Bayesian Treatment of the Spectrum of the Empirical Kernel in (Sub)Linear-Width Neural Networks
   ICLR 2025 ·

   Ouns El Harzli

   DBLP profile ↗ORCID search ↗
3. Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions
   KR 2025 ·

   Matthew Morris

   DBLP profile ↗ORCID search ↗
4. Parallel Reasoning in Sequoia
   ISWC 2025 ·

   Alexander Furmston

   DBLP profile ↗ORCID search ↗
5. Bridging Max Graph Neural Networks and Datalog with Negation
   KR 2024 ·

   David J. Tena Cucala

   DBLP profile ↗ORCID search ↗
6. Double-Descent Curves in Neural Networks: A New Perspective Using Gaussian Processes
   AAAI 2024 ·

   Ouns El Harzli

   DBLP profile ↗ORCID search ↗
7. Faithful Rule Extraction for Differentiable Rule Learning Models
   ICLR 2024 ·

   Xiaxia Wang

   DBLP profile ↗ORCID search ↗
8. MTLearn: Extracting Temporal Rules Using Datalog Rule Learners
   KR 2024 ·

   Dingmin Wang

   DBLP profile ↗ORCID search ↗
9. Orbit-Equivariant Graph Neural Networks
   ICLR 2024 ·

   Matthew Morris

   DBLP profile ↗ORCID search ↗
10. Relational Graph Convolutional Networks Do Not Learn Sound Rules
    KR 2024 ·

    Matthew Morris

    DBLP profile ↗ORCID search ↗