PPaperPicks

David M. Cerna

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×4

Frequent coauthors

Andrew Cropper
×4
Matti Järvisalo
×1
Minghao Liu
×1
Filipe Gouveia
×1

Papers

  1. Efficient Rule Induction by Ignoring Pointless Rules
    AAAI 2026 ·
    Andrew Cropper
    , David M. Cerna
  2. Symmetry Breaking for Inductive Logic Programming
    AAAI 2026 ·
    Andrew Cropper
    , David M. Cerna,
    Matti Järvisalo
  3. Scalable Knowledge Refactoring Using Constrained Optimisation
    AAAI 2025 ·
    Minghao Liu
    , David M. Cerna,
    Filipe Gouveia
    ,
    Andrew Cropper
  4. Generalisation through Negation and Predicate Invention
    AAAI 2024 · David M. Cerna,
    Andrew Cropper