Proceedings

Francois Schwarzentruber

University of Rennes , IRISA , CNRS , France

21 papers in the IJCAI proceedings

IJCAI 2025

Verifying Quantized Graph Neural Networks is PSPACE-complete
with Marco Sälzer, Nicolas Troquard
doi:10.24963/ijcai.2025/519
Details PDF

IJCAI 2024

A Logic for Reasoning about Aggregate-Combine Graph Neural Networks
with Pierre Nunn, Marco Sälzer, Nicolas Troquard
doi:10.24963/ijcai.2024/391
Details PDF
Rhythm Inference Helping Writing Music Scores
doi:10.24963/ijcai.2024/1033
Details PDF

IJCAI 2022

On Verifying Expectations and Observations of Intelligent Agents
with Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh
doi:10.24963/ijcai.2022/356
Details PDF

IJCAI 2021

Connect Multi-Agent Path Finding: Generation and Visualization
with Arthur Queffelec, Ocan Sankur
doi:10.24963/ijcai.2021/714
Details PDF
How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements
with Thomas Eiter, Aaron Hunter
doi:10.24963/ijcai.2021/257
Details PDF
Multi-Agent Belief Base Revision
with Emiliano Lorini
doi:10.24963/ijcai.2021/270
Details PDF

IJCAI 2020

Concurrent Games in Dynamic Epistemic Logic
with Bastien Maubert, Sophie Pinchinat, Silvia Stranieri
doi:10.24963/ijcai.2020/260
Details PDF

IJCAI 2019

Hintikka's World: Scalable Higher-order Knowledge
with Tristan Charrier, Sébastien Gamblin, Alexandre Niveau
doi:10.24963/ijcai.2019/934
Details PDF
Reachability Games in Dynamic Epistemic Logic
with Bastien Maubert, Sophie Pinchinat
doi:10.24963/ijcai.2019/71
Details PDF
Reachability and Coverage Planning for Connected Agents
with Tristan Charrier, Arthur Queffelec, Ocan Sankur
doi:10.24963/ijcai.2019/21
Details PDF

IJCAI 2018

Generating Plans for Cooperative Connected UAVs
with François Bodin, Tristan Charrier, Arthur Queffelec
doi:10.24963/ijcai.2018/846
Details PDF
Hintikka's World: Agents with Higher-order Knowledge
doi:10.24963/ijcai.2018/862
Details PDF
Small Undecidable Problems in Epistemic Planning
with Sébastien Lê Cong, Sophie Pinchinat
doi:10.24963/ijcai.2018/664
Details PDF

IJCAI 2017

Belief Manipulation Through Propositional Announcements
with Aaron Hunter, Eric Tsang
doi:10.24963/ijcai.2017/154
Details PDF
The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract)
with Davide Grossi, Emiliano Lorini
doi:10.24963/ijcai.2017/710
Details PDF

IJCAI 2016

A Tool for Generating Interactive Euler Diagrams
Details PDF
Epistemic Boolean Games Based on a Logic of Visibility and Control
with Andreas Herzig, Emiliano Lorini, Faustine Maffre
Details PDF
On the Impact of Modal Depth in Epistemic Planning
with Tristan Charrier, Bastien Maubert
Details PDF

IJCAI 2015

Complexity Results in Epistemic Planning
with Thomas Bolander, Martin Holm Jensen
Details PDF

IJCAI 2009

A Logic for Reasoning about Counterfactual Emotions
with Emiliano Lorini
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards