Schwarzentruber, François

25 publications

AAAI 2025 A Computationally Grounded Framework for Cognitive Attitudes Tiago de Lima, Emiliano Lorini, Elise Perrotin, François Schwarzentruber

IJCAI 2025 Verifying Quantized Graph Neural Networks Is PSPACE-Complete Marco Sälzer, François Schwarzentruber, Nicolas Troquard

IJCAI 2024 A Logic for Reasoning About Aggregate-Combine Graph Neural Networks Pierre Nunn, Marco Sälzer, François Schwarzentruber, Nicolas Troquard

IJCAI 2024 Rhythm Inference Helping Writing Music Scores François Schwarzentruber

AAAI 2022 Formula Synthesis in Propositional Dynamic Logic with Shuffle Sophie Pinchinat, Sasha Rubin, François Schwarzentruber

IJCAI 2022 On Verifying Expectations and Observations of Intelligent Agents Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber

IJCAI 2021 Connect Multi-Agent Path Finding: Generation and Visualization Arthur Queffelec, Ocan Sankur, François Schwarzentruber

IJCAI 2021 How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements Thomas Eiter, Aaron Hunter, François Schwarzentruber

IJCAI 2021 Multi-Agent Belief Base Revision Emiliano Lorini, François Schwarzentruber

IJCAI 2020 Concurrent Games in Dynamic Epistemic Logic Bastien Maubert, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri

IJCAI 2019 Hintikka's World: Scalable Higher-Order Knowledge Tristan Charrier, Sébastien Gamblin, Alexandre Niveau, François Schwarzentruber

IJCAI 2019 Reachability Games in Dynamic Epistemic Logic Bastien Maubert, Sophie Pinchinat, François Schwarzentruber

IJCAI 2019 Reachability and Coverage Planning for Connected Agents Tristan Charrier, Arthur Queffelec, Ocan Sankur, François Schwarzentruber

IJCAI 2018 Generating Plans for Cooperative Connected UAVs François Bodin, Tristan Charrier, Arthur Queffelec, François Schwarzentruber

IJCAI 2018 Hintikka's World: Agents with Higher-Order Knowledge François Schwarzentruber

AAAI 2018 Knowledge-Based Policies for Qualitative Decentralized POMDPs Abdallah Saffidine, François Schwarzentruber, Bruno Zanuttini

IJCAI 2018 Small Undecidable Problems in Epistemic Planning Sébastien Lê Cong, Sophie Pinchinat, François Schwarzentruber

IJCAI 2017 Belief Manipulation Through Propositional Announcements Aaron Hunter, François Schwarzentruber, Eric Tsang

IJCAI 2017 The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract) Davide Grossi, Emiliano Lorini, François Schwarzentruber

IJCAI 2016 A Tool for Generating Interactive Euler Diagrams François Schwarzentruber

IJCAI 2016 Epistemic Boolean Games Based on a Logic of Visibility and Control Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber

IJCAI 2016 On the Impact of Modal Depth in Epistemic Planning Tristan Charrier, Bastien Maubert, François Schwarzentruber

IJCAI 2015 Complexity Results in Epistemic Planning Thomas Bolander, Martin Holm Jensen, François Schwarzentruber

JAIR 2015 The Ceteris Paribus Structure of Logics of Game Forms Davide Grossi, Emiliano Lorini, François Schwarzentruber

IJCAI 2009 A Logic for Reasoning About Counterfactual Emotions Emiliano Lorini, François Schwarzentruber