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

Matthew Morris
DBLP profile ↗ORCID search ↗
×2
Agnieszka Mensfelt
DBLP profile ↗ORCID search ↗
×1
Alexander Furmston
DBLP profile ↗ORCID search ↗
×1
Xiaxia Wang
DBLP profile ↗ORCID search ↗
×1
Maximilian Pflueger
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Towards a Common Framework for Autoformalization
    AAAI 2026 ·
    Agnieszka Mensfelt
    DBLP profile ↗ORCID search ↗
  2. Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions
    KR 2025 ·
    Matthew Morris
    DBLP profile ↗ORCID search ↗
  3. Parallel Reasoning in Sequoia
    ISWC 2025 ·
    Alexander Furmston
    DBLP profile ↗ORCID search ↗
  4. Bridging Max Graph Neural Networks and Datalog with Negation
    KR 2024 · David J. Tena Cucala
  5. Faithful Rule Extraction for Differentiable Rule Learning Models
    ICLR 2024 ·
    Xiaxia Wang
    DBLP profile ↗ORCID search ↗
  6. Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic
    AAAI 2024 ·
    Maximilian Pflueger
    DBLP profile ↗ORCID search ↗
  7. Relational Graph Convolutional Networks Do Not Learn Sound Rules
    KR 2024 ·
    Matthew Morris
    DBLP profile ↗ORCID search ↗