PPaperPicks

David J. Tena Cucala

7 papers at tracked venues · 3 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

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

Frequent coauthors

Bernardo Cuenca Grau
×5
Matthew Morris
×2
Ian Horrocks
×2
Agnieszka Mensfelt
×1
Santiago Franco
×1
Angeliki Koutsoukou-Argyraki
×1
Vince Trencsenyi
×1
Kostas Stathis
×1
Alexander Furmston
×1
Jieying Chen
×1
Xiaxia Wang
×1
Maximilian Pflueger
×1

Papers

  1. Towards a Common Framework for Autoformalization
    AAAI 2026 ·
    Agnieszka Mensfelt
    , David Tena Cucala,
    Santiago Franco
    ,
    Angeliki Koutsoukou-Argyraki
    ,
    Vince Trencsenyi
    ,
    Kostas Stathis
  2. Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions
    KR 2025 ·
    Matthew Morris
    , David J. Tena Cucala,
    Bernardo Cuenca Grau
  3. Parallel Reasoning in Sequoia
    ISWC 2025 ·
    Alexander Furmston
    , David J. Tena Cucala,
    Jieying Chen
    ,
    Bernardo Cuenca Grau
  4. Bridging Max Graph Neural Networks and Datalog with Negation
    KR 2024 · David J. Tena Cucala,
    Bernardo Cuenca Grau
  5. Faithful Rule Extraction for Differentiable Rule Learning Models
    ICLR 2024 ·
    Xiaxia Wang
    , David Jaime Tena Cucala,
    Bernardo Cuenca Grau
    ,
    Ian Horrocks
  6. Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic
    AAAI 2024 ·
    Maximilian Pflueger
    , David Tena Cucala,
    Egor V. Kostylev
  7. Relational Graph Convolutional Networks Do Not Learn Sound Rules
    KR 2024 ·
    Matthew Morris
    , David J. Tena Cucala,
    Bernardo Cuenca Grau
    ,
    Ian Horrocks