PPaperPicks

François Schwarzentruber

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

DBLP profile ↗ORCID search ↗

Venues

IJCAI ×3KR ×3AAAI ×1AAMAS ×1ECAI ×1

Frequent coauthors

Marco Sälzer
×3
Nicolas Troquard
×3
Emiliano Lorini
×2
Artem Chernobrovkin
×1
Tiago de Lima
×1
Elise Perrotin
×1
Thorsten Engesser
×1
Thibaut Le Marre
×1
Bruno Zanuttini
×1
Avijeet Ghosh
×1
Sujata Ghosh
×1
Pierre Nunn
×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. A Computationally Grounded Framework for Cognitive Attitudes
    AAAI 2025 ·
    Tiago de Lima
    ,
    Emiliano Lorini
    ,
    Elise Perrotin
    , François Schwarzentruber
  3. A Simple Integration of Epistemic Logic and Reinforcement Learning
    AAMAS 2025 ·
    Thorsten Engesser
    ,
    Thibaut Le Marre
    ,
    Emiliano Lorini
    , François Schwarzentruber,
    Bruno Zanuttini
  4. Reasoning About Knowledge on Regular Expressions Is 2EXPTIME-Complete
    KR 2025 ·
    Avijeet Ghosh
    ,
    Sujata Ghosh
    , François Schwarzentruber
  5. Verifying Quantized Graph Neural Networks is PSPACE-complete
    IJCAI 2025 ·
    Marco Sälzer
    , François Schwarzentruber,
    Nicolas Troquard
  6. A Logic for Reasoning about Aggregate-Combine Graph Neural Networks
    IJCAI 2024 ·
    Pierre Nunn
    ,
    Marco Sälzer
    , François Schwarzentruber,
    Nicolas Troquard
  7. An Efficient Modular Algorithm for Connected Multi-Agent Path Finding
    ECAI 2024 ·
    Victorien Desbois
    ,
    Ocan Sankur
    , François Schwarzentruber
  8. Qiana: A First-Order Formalism to Quantify over Contexts and Formulas
    KR 2024 ·
    Simon Coumes
    ,
    Pierre-Henri Paris
    , François Schwarzentruber,
    Fabian M. Suchanek
  9. Rhythm Inference Helping Writing Music Scores
    IJCAI 2024 · François Schwarzentruber