| 2026 | KR | Verifying Quantized GNNs With Readout Is Decidable But Highly Intractable. | Artem Chernobrovkin, Marco Slzer, Franois Schwarzentruber, Nicolas Troquard |
| 2025 | AAAI | A Computationally Grounded Framework for Cognitive Attitudes. | Tiago de Lima, Emiliano Lorini, Elise Perrotin, Franois Schwarzentruber |
| 2025 | IJCAI | Verifying Quantized Graph Neural Networks is PSPACE-complete. | Marco Slzer, Franois Schwarzentruber, Nicolas Troquard |
| 2025 | KR | Reasoning About Knowledge on Regular Expressions Is 2EXPTIME-Complete. | Avijeet Ghosh, Sujata Ghosh, Franois Schwarzentruber |
| 2024 | ECAI | An Efficient Modular Algorithm for Connected Multi-Agent Path Finding. | Victorien Desbois, Ocan Sankur, Franois Schwarzentruber |
| 2024 | IJCAI | A Logic for Reasoning about Aggregate-Combine Graph Neural Networks. | Pierre Nunn, Marco Slzer, Franois Schwarzentruber, Nicolas Troquard |
| 2024 | IJCAI | Rhythm Inference Helping Writing Music Scores. | Franois Schwarzentruber |
| 2024 | KR | Qiana: A First-Order Formalism to Quantify over Contexts and Formulas. | Simon Coumes, Pierre-Henri Paris, Franois Schwarzentruber, Fabian M. Suchanek |
| 2023 | EUMAS | Qualitative Uncertainty Reasoning in AgentSpeak. | Michael J. Vezina, Babak Esfandiari, Sandra Morley, Franois Schwarzentruber |
| 2023 | JELIA | Base-Based Model Checking for Multi-agent only Believing. | Tiago de Lima, Emiliano Lorini, Franois Schwarzentruber |
| 2023 | KR | On Simple Expectations and Observations of Intelligent Agents: A Complexity Study. | Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, Franois Schwarzentruber |
| 2022 | AAAI | Formula Synthesis in Propositional Dynamic Logic with Shuffle. | Sophie Pinchinat, Sasha Rubin, Franois Schwarzentruber |
| 2022 | IJCAI | On Verifying Expectations and Observations of Intelligent Agents. | Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, Franois Schwarzentruber |
| 2022 | KR | Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models. | Emiliano Lorini, Elise Perrotin, Franois Schwarzentruber |
| 2021 | AI | Planning for Connected Agents in a Partially Known Environment. | Arthur Queffelec, Ocan Sankur, Franois Schwarzentruber |
| 2021 | IJCAI | How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements. | Thomas Eiter, Aaron Hunter, Franois Schwarzentruber |
| 2021 | IJCAI | Multi-Agent Belief Base Revision. | Emiliano Lorini, Franois Schwarzentruber |
| 2021 | IJCAI | Connect Multi-Agent Path Finding: Generation and Visualization. | Arthur Queffelec, Ocan Sankur, Franois Schwarzentruber |
| 2021 | JELIA | A Computationally Grounded Logic of Graded Belief. | Emiliano Lorini, Franois Schwarzentruber |
| 2020 | ECAI | A Logic of Explicit and Implicit Distributed Belief. | Andreas Herzig, Emiliano Lorini, Elise Perrotin, Fabin Romero, Franois Schwarzentruber |
| 2020 | ECAI | Dynamic Epistemic Logic Games with Epistemic Temporal Goals. | Bastien Maubert, Aniello Murano, Sophie Pinchinat, Franois Schwarzentruber, Silvia Stranieri |
| 2020 | IJCAI | Concurrent Games in Dynamic Epistemic Logic. | Bastien Maubert, Sophie Pinchinat, Franois Schwarzentruber, Silvia Stranieri |
| 2019 | IJCAI | Hintikka's World: Scalable Higher-order Knowledge. | Tristan Charrier, Sbastien Gamblin, Alexandre Niveau, Franois Schwarzentruber |
| 2019 | IJCAI | Reachability and Coverage Planning for Connected Agents. | Tristan Charrier, Arthur Queffelec, Ocan Sankur, Franois Schwarzentruber |
| 2019 | IJCAI | Reachability Games in Dynamic Epistemic Logic. | Bastien Maubert, Sophie Pinchinat, Franois Schwarzentruber |
| 2018 | AAAI | Knowledge-Based Policies for Qualitative Decentralized POMDPs. | Abdallah Saffidine, Franois Schwarzentruber, Bruno Zanuttini |
| 2018 | AiML | Complexity of Dynamic Epistemic Logic with Common Knowledge. | Tristan Charrier, Franois Schwarzentruber |
| 2018 | AiML | Chain-Monadic Second Order Logic over Regular Automatic Trees and Epistemic Planning Synthesis. | Gatan Douneau-Tabot, Sophie Pinchinat, Franois Schwarzentruber |
| 2018 | IJCAI | Generating Plans for Cooperative Connected UAVs. | Franois Bodin, Tristan Charrier, Arthur Queffelec, Franois Schwarzentruber |
| 2018 | IJCAI | Small Undecidable Problems in Epistemic Planning. | Sbastien L Cong, Sophie Pinchinat, Franois Schwarzentruber |
| 2018 | IJCAI | Hintikka's World: Agents with Higher-order Knowledge. | Franois Schwarzentruber |
| 2017 | IJCAI | The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract). | Davide Grossi, Emiliano Lorini, Franois Schwarzentruber |
| 2017 | IJCAI | Belief Manipulation Through Propositional Announcements. | Aaron Hunter, Franois Schwarzentruber, Eric Tsang |
| 2017 | TABLEAUX | Model Checking Against Arbitrary Public Announcement Logic: A First-Order-Logic Prover Approach for the Existential Fragment. | Tristan Charrier, Sophie Pinchinat, Franois Schwarzentruber |
| 2016 | IJCAI | On the Impact of Modal Depth in Epistemic Planning. | Tristan Charrier, Bastien Maubert, Franois Schwarzentruber |
| 2016 | IJCAI | Epistemic Boolean Games Based on a Logic of Visibility and Control. | Andreas Herzig, Emiliano Lorini, Faustine Maffre, Franois Schwarzentruber |
| 2016 | IJCAI | A Tool for Generating Interactive Euler Diagrams. | Franois Schwarzentruber |
| 2016 | KR | Building Epistemic Logic from Observations and Public Announcements. | Tristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, Franois Schwarzentruber |
| 2015 | IJCAI | Complexity Results in Epistemic Planning. | Thomas Bolander, Martin Holm Jensen, Franois Schwarzentruber |
| 2015 | IJCAI | Arbitrary Announcements in Propositional Belief Revision. | Aaron Hunter, Franois Schwarzentruber |
| 2015 | ICTAC | Asynchronous Announcements in a Public Channel. | Sophia Knight, Bastien Maubert, Franois Schwarzentruber |
| 2015 | PRIMA | Games with Communication: From Belief to Preference Change. | Guillaume Aucher, Bastien Maubert, Sophie Pinchinat, Franois Schwarzentruber |
| 2014 | AiML | Epistemic Probability Logic Simplified. | Jan van Eijck, Franois Schwarzentruber |
| 2014 | ECAI | STIT is dangerously undecidable. | Franois Schwarzentruber, Caroline Semmling |
| 2014 | JELIA | Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search. | Franois Schwarzentruber, Jin-Kao Hao |
| 2014 | WoLLIC | Logics with Copy and Remove. | Carlos Areces, Hans van Ditmarsch, Raul Fervari, Franois Schwarzentruber |
| 2013 | TARK | On the Complexity of Dynamic Epistemic Logic. | Guillaume Aucher, Franois Schwarzentruber |
| 2013 | TARK | Ceteris Paribus Structure in Logics of Game Forms. | Davide Grossi, Emiliano Lorini, Franois Schwarzentruber |
| 2012 | JELIA | Generalized DEL-Sequents. | Guillaume Aucher, Bastien Maubert, Franois Schwarzentruber |
| 2012 | JELIA | Building an Epistemic Logic for Argumentation. | Franois Schwarzentruber, Srdjan Vesic, Tjitze Rienstra |
| 2009 | IJCAI | A Logic for Reasoning about Counterfactual Emotions. | Emiliano Lorini, Franois Schwarzentruber |
| 2008 | AiML | Properties of logics of individual and group agency. | Andreas Herzig, Franois Schwarzentruber |