François Schwarzentruber

Venues

Frequent coauthors

Papers

1. Verifying Quantized GNNs With Readout Is Decidable But Highly Intractable
   KR 2026 ·

   Artem Chernobrovkin

   DBLP profile ↗ORCID search ↗
2. A Computationally Grounded Framework for Cognitive Attitudes
   AAAI 2025 ·

   Tiago de Lima

   DBLP profile ↗ORCID search ↗
3. A Simple Integration of Epistemic Logic and Reinforcement Learning
   AAMAS 2025 ·

   Thorsten Engesser

   DBLP profile ↗ORCID search ↗
4. Reasoning About Knowledge on Regular Expressions Is 2EXPTIME-Complete
   KR 2025 ·

   Avijeet Ghosh

   DBLP profile ↗ORCID search ↗
5. Verifying Quantized Graph Neural Networks is PSPACE-complete
   IJCAI 2025 ·

   Marco Sälzer

   DBLP profile ↗ORCID search ↗
6. A Logic for Reasoning about Aggregate-Combine Graph Neural Networks
   IJCAI 2024 ·

   Pierre Nunn

   DBLP profile ↗ORCID search ↗
7. An Efficient Modular Algorithm for Connected Multi-Agent Path Finding
   ECAI 2024 ·

   Victorien Desbois

   DBLP profile ↗ORCID search ↗
8. Qiana: A First-Order Formalism to Quantify over Contexts and Formulas
   KR 2024 ·

   Simon Coumes

   DBLP profile ↗ORCID search ↗
9. Rhythm Inference Helping Writing Music Scores
   IJCAI 2024 · François Schwarzentruber