PPaperPicks

Nicolas Troquard

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

DBLP profile ↗ORCID search ↗

Venues

IJCAI ×2AAAI ×1KR ×1

Frequent coauthors

Marco Sälzer
×3
François Schwarzentruber
×3
Artem Chernobrovkin
×1
Pierre Nunn
×1
Martina De Sanctis
×1
Paola Inverardi
×1
Patrizio Pelliccione
×1
Gian Luca Scoccia
×1

Papers

  1. Verifying Quantized GNNs With Readout Is Decidable But Highly Intractable
    KR 2026 ·
    Artem Chernobrovkin
    ,
    Marco Sälzer
    ,
    François Schwarzentruber
    , Nicolas Troquard
  2. Verifying Quantized Graph Neural Networks is PSPACE-complete
    IJCAI 2025 ·
    Marco Sälzer
    ,
    François Schwarzentruber
    , Nicolas Troquard
  3. A Logic for Reasoning about Aggregate-Combine Graph Neural Networks
    IJCAI 2024 ·
    Pierre Nunn
    ,
    Marco Sälzer
    ,
    François Schwarzentruber
    , Nicolas Troquard
  4. Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning
    AAAI 2024 · Nicolas Troquard,
    Martina De Sanctis
    ,
    Paola Inverardi
    ,
    Patrizio Pelliccione
    ,
    Gian Luca Scoccia