Properties of logics of individual and group agency. - Andreas Herzig; François Schwarzentruber (Advances in Modal Logic, 2008)

Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together. - Emiliano Lorini; François Schwarzentruber; Andreas Herzig (LORI, 2009)

Knowledge about Lights along a Line. - François Schwarzentruber (MALLOW, 2009)

Knowledge in lineland. - Olivier Gasquet; François Schwarzentruber (AAMAS, 2010)

A Modal Logic of Epistemic Games. - Emiliano Lorini; François Schwarzentruber (Games, 2010)

Voir, savoir, faire : une étude de cas en logique modale. (Seeing, knowing, doing: case studies in modal logic). - François Schwarzentruber (2010)

Seeing, Knowledge and Common Knowledge. - François Schwarzentruber (LORI, 2011)

Concrete Epistemic Modal Logic: Flatland. - Olivier Gasquet; François Schwarzentruber (TICTTL, 2011)

Satoulouse: The Computational Power of Propositional Logic Shown to Beginners. - Olivier Gasquet; François Schwarzentruber; Martin Strecker (TICTTL, 2011)

Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students. - Olivier Gasquet; François Schwarzentruber; Martin Strecker (TICTTL, 2011)

A logic for reasoning about counterfactual emotions. - Emiliano Lorini; François Schwarzentruber (Artif. Intell., 2011)

Tableau Method and NEXPTIME-Completeness of DEL-Sequents. - Guillaume Aucher; Bastien Maubert; François Schwarzentruber (M4M/LAMAS, 2011)

LotrecScheme. - François Schwarzentruber (M4M/LAMAS, 2011)

Generalized DEL-Sequents. - Guillaume Aucher; Bastien Maubert; François Schwarzentruber (JELIA, 2012)

Building an Epistemic Logic for Argumentation. - François Schwarzentruber; Srdjan Vesic; Tjitze Rienstra (JELIA, 2012)

Complexity Results of STIT Fragments. - François Schwarzentruber (Stud Logica, 2012)

Normative Reasoning and Consequence. - Jan M. Broersen; Stephen Cranefield; Yehia Elrakaiby; Dov M. Gabbay; Davide Grossi; Emiliano Lorini; Xavier Parent 001; Leendert W. N. van der Torre; Luca Tummolini; Paolo Turrini; François Schwarzentruber (Normative Multi-Agent Systems, 2013)

Listen to Me! Public Announcements to Agents That Pay Attention - or Not. - Hans van Ditmarsch; Andreas Herzig; Emiliano Lorini; François Schwarzentruber (LORI, 2013)

On the Complexity of Dynamic Epistemic Logic. - Guillaume Aucher; François Schwarzentruber (TARK, 2013)

Agents that look at one another. - Philippe Balbiani; Olivier Gasquet; François Schwarzentruber (Log. J. IGPL, 2013)

Kripke's Worlds - An Introduction to Modal Logics via Tableaux. - Olivier Gasquet; Andreas Herzig; Bilal Said; François Schwarzentruber (Birkhäuser, 2014)

Epistemic Probability Logic Simplified. - Jan van Eijck; François Schwarzentruber (Advances in Modal Logic, 2014)

Big brother logic: reasoning about agents equipped with surveillance cameras in the plane (demonstration). - Tristan Charrier; Florent Ouchet; François Schwarzentruber (AAMAS, 2014)

Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane. - Olivier Gasquet; Valentin Goranko; François Schwarzentruber (AAMAS, 2014)

STIT is dangerously undecidable. - François Schwarzentruber; Caroline Semmling (ECAI, 2014)

Belief Merging in Dynamic Logic of Propositional Assignments. - Andreas Herzig; Pilar Pozos Parra; François Schwarzentruber (FoIKS, 2014)

Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search. - François Schwarzentruber; Jin-Kao Hao (JELIA, 2014)

Logics with Copy and Remove. - Carlos Areces; Hans van Ditmarsch; Raul Fervari; François Schwarzentruber (WoLLIC, 2014)

DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE. - Philippe Balbiani; Andreas Herzig; François Schwarzentruber; Nicolas Troquard (CoRR, 2014)

Arbitrary Public Announcement Logic with Mental Programs. - Tristan Charrier; François Schwarzentruber (AAMAS, 2015)

Tableaux for Non-normal Public Announcement Logic. - Minghui Ma; Katsuhiko Sano; François Schwarzentruber; Fernando R. Velázquez-Quesada (ICLA, 2015)

Asynchronous Announcements in a Public Channel. - Sophia Knight; Bastien Maubert; François Schwarzentruber (ICTAC, 2015)

Complexity Results in Epistemic Planning. - Thomas Bolander; Martin Holm Jensen; François Schwarzentruber (IJCAI, 2015)

Arbitrary Announcements in Propositional Belief Revision. - Aaron Hunter 001; François Schwarzentruber (DARe@IJCAI, 2015)

Games with Communication: From Belief to Preference Change. - Guillaume Aucher; Bastien Maubert; Sophie Pinchinat; François Schwarzentruber (PRIMA, 2015)

Dynamic Gossip. - Hans van Ditmarsch; Jan van Eijck; Pere Pardo; Rahim Ramezanian; François Schwarzentruber (CoRR, 2015)

The Ceteris Paribus Structure of Logics of Game Forms. - Davide Grossi; Emiliano Lorini; François Schwarzentruber (J. Artif. Intell. Res., 2015)

Drawing Interactive Euler Diagrams from Region Connection Calculus Specifications. - François Schwarzentruber (J. Log. Lang. Inf., 2015)

On the Impact of Modal Depth in Epistemic Planning. - Tristan Charrier; Bastien Maubert; 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)

A Tool for Generating Interactive Euler Diagrams. - François Schwarzentruber (IJCAI, 2016)

Building Epistemic Logic from Observations and Public Announcements. - Tristan Charrier; Andreas Herzig; Emiliano Lorini; Faustine Maffre; François Schwarzentruber (KR, 2016)

Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems. - Olivier Gasquet; Valentin Goranko; François Schwarzentruber (Auton. Agents Multi Agent Syst., 2016)

Announcements to Attentive Agents. - Thomas Bolander; Hans van Ditmarsch; Andreas Herzig; Emiliano Lorini; Pere Pardo; François Schwarzentruber (J. Log. Lang. Inf., 2016)

A Succinct Language for Dynamic Epistemic Logic. - Tristan Charrier; François Schwarzentruber (AAMAS, 2017)

A Path in the Jungle of Logics for Multi-agent System: On the Relation between General Game-playing Logics and Seeing-to-it-that Logics. - Emiliano Lorini; François Schwarzentruber (AAMAS, 2017)

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

Belief Manipulation Through Propositional Announcements. - Aaron Hunter 001; François Schwarzentruber; Eric Tsang (IJCAI, 2017)

Model Checking Against Arbitrary Public Announcement Logic: A First-Order-Logic Prover Approach for the Existential Fragment. - Tristan Charrier; Sophie Pinchinat; François Schwarzentruber (DALI@TABLEAUX, 2017)

Preface. - Sophie Pinchinat; François Schwarzentruber (FLAP, 2017)

The modal logic of copy and remove. - Carlos Areces; Hans van Ditmarsch; Raul Fervari; François Schwarzentruber (Inf. Comput., 2017)

Epistemic protocols for dynamic gossip. - Hans van Ditmarsch; Jan van Eijck; Pere Pardo; Rahim Ramezanian; François Schwarzentruber (J. Appl. Log., 2017)

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

Complexity of Dynamic Epistemic Logic with Common Knowledge. - Tristan Charrier; François Schwarzentruber (Advances in Modal Logic, 2018)

Chain-Monadic Second Order Logic over Regular Automatic Trees and Epistemic Planning Synthesis. - Gaëtan Douéneau-Tabot; Sophie Pinchinat; François Schwarzentruber (Advances in Modal Logic, 2018)

Deciding the Non-emptiness of Attack Trees. - Maxime Audinot; Sophie Pinchinat; François Schwarzentruber; Florence Wacheux (GraMSec@FLoC, 2018)

Generating Plans for Cooperative Connected UAVs. - François Bodin; Tristan Charrier; Arthur Queffelec; François Schwarzentruber (IJCAI, 2018)

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

Hintikka's World: Agents with Higher-order Knowledge. - François Schwarzentruber (IJCAI, 2018)

Dynamic Connected Cooperative Coverage Problem. - Tristan Charrier; François Schwarzentruber; Eva Soulier (CoRR, 2018)

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

Reachability and Coverage Planning for Connected Agents. - Tristan Charrier; Arthur Queffelec; Ocan Sankur; 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: Extended Version. - Tristan Charrier; Arthur Queffelec; Ocan Sankur; François Schwarzentruber (CoRR, 2019)

The Packed Interval Covering Problem is NP-complete. - Abdallah Saffidine; Sébastien Lê Cong; Sophie Pinchinat; François Schwarzentruber (CoRR, 2019)

The Complexity of Tiling Problems. - François Schwarzentruber (CoRR, 2019)

Symbolic model checking of public announcement protocols. - Tristan Charrier; Sophie Pinchinat; François Schwarzentruber (J. Log. Comput., 2019)

Reasoning about knowledge and messages in asynchronous multi-agent systems. - Sophia Knight; Bastien Maubert; François Schwarzentruber (Math. Struct. Comput. Sci., 2019)

A Logic of Explicit and Implicit Distributed Belief. - Andreas Herzig; Emiliano Lorini; Elise Perrotin; Fabián Romero; François Schwarzentruber (ECAI, 2020)

Dynamic Epistemic Logic Games with Epistemic Temporal Goals. - Bastien Maubert; Aniello Murano; Sophie Pinchinat; François Schwarzentruber; Silvia Stranieri (ECAI, 2020)

Library-Based Attack Tree Synthesis. - Sophie Pinchinat; François Schwarzentruber; Sébastien Lê Cong (GraMSec@CSF, 2020)

Concurrent Games in Dynamic Epistemic Logic. - Bastien Maubert; Sophie Pinchinat; François Schwarzentruber; Silvia Stranieri (IJCAI, 2020)

Complexity of planning for connected agents. - Tristan Charrier; Arthur Queffelec; Ocan Sankur; François Schwarzentruber (Auton. Agents Multi Agent Syst., 2020)

DEL-based epistemic planning: Decidability and complexity. - Thomas Bolander; Tristan Charrier; Sophie Pinchinat; François Schwarzentruber (Artif. Intell., 2020)

Knowledge-based programs as succinct policies for partially observable domains. - Bruno Zanuttini; Jérôme Lang; Abdallah Saffidine; François Schwarzentruber (Artif. Intell., 2020)

Conflict-Based Search for Connected Multi-Agent Path Finding. - Arthur Queffelec; Ocan Sankur; François Schwarzentruber (CoRR, 2020)

Planning for Connected Agents in a Partially Known Environment. - Arthur Queffelec; Ocan Sankur; François Schwarzentruber (Canadian AI, 2021)

How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements. - Thomas Eiter; Aaron Hunter 001; François Schwarzentruber (IJCAI, 2021)

Multi-Agent Belief Base Revision. - Emiliano Lorini; François Schwarzentruber (IJCAI, 2021)

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

A Computationally Grounded Logic of Graded Belief. - Emiliano Lorini; François Schwarzentruber (JELIA, 2021)

Copy and remove as dynamic operators. - Carlos Areces; Hans van Ditmarsch; Raul Fervari; Bastien Maubert; François Schwarzentruber (J. Appl. Non Class. Logics, 2021)

Formula Synthesis in Propositional Dynamic Logic with Shuffle. - Sophie Pinchinat; Sasha Rubin; François Schwarzentruber (AAAI, 2022)

Dependency Matrices for Multiplayer Strategic Dependencies. - Dylan Bellier; Sophie Pinchinat; François Schwarzentruber (FSTTCS, 2022)

On Verifying Expectations and Observations of Intelligent Agents. - Sourav Chakraborty 001; Avijeet Ghosh; Sujata Ghosh; François Schwarzentruber (IJCAI, 2022)

Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models. - Emiliano Lorini; Elise Perrotin; François Schwarzentruber (KR, 2022)

Introduction (FR). - Isabelle Bloch; Jérôme Euzenat; Jérôme Lang; François Schwarzentruber (Rev. Ouverte Intell. Artif., 2022)

Introduction (EN). - Isabelle Bloch; Jérôme Euzenat; Jérôme Lang; François Schwarzentruber (Rev. Ouverte Intell. Artif., 2022)

Improved Complexity Results and an Efficient Solution for Connected Multi-Agent Path Finding. - Isseïnie Calviac; Ocan Sankur; François Schwarzentruber (AAMAS, 2023)

Reasoning about Uncertainty in AgentSpeak using Dynamic Epistemic Logic. - Michael J. Vezina; François Schwarzentruber; Babak Esfandiari; Sandra Morley (AAMAS, 2023)

Qualitative Uncertainty Reasoning in AgentSpeak. - Michael J. Vezina; Babak Esfandiari; Sandra Morley; François Schwarzentruber (EUMAS, 2023)

Base-Based Model Checking for Multi-agent only Believing. - Tiago de Lima; Emiliano Lorini; François Schwarzentruber (JELIA, 2023)

On Simple Expectations and Observations of Intelligent Agents: A Complexity Study. - Sourav Chakraborty 001; Avijeet Ghosh; Sujata Ghosh; François Schwarzentruber (KR, 2023)

A Modal Logic for Explaining some Graph Neural Networks. - Pierre Nunn; François Schwarzentruber (CoRR, 2023)

Base-based Model Checking for Multi-Agent Only Believing (long version). - Tiago de Lima; Emiliano Lorini; François Schwarzentruber (CoRR, 2023)

Complexity of planning for connected agents in a partially known environment. - Arthur Queffelec; Ocan Sankur; François Schwarzentruber (Theor. Comput. Sci., 2023)

An Efficient Modular Algorithm for Connected Multi-Agent Path Finding. - Victorien Desbois; Ocan Sankur; François Schwarzentruber (ECAI, 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 (IJCAI, 2024)

Qiana: A First-Order Formalism to Quantify over Contexts and Formulas. - Simon Coumes; Pierre-Henri Paris; François Schwarzentruber; Fabian M. Suchanek (KR, 2024)

A Computationally Grounded Framework for Cognitive Attitudes (extended version). - Tiago de Lima; Emiliano Lorini; Elise Perrotin; François Schwarzentruber (CoRR, 2024)

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

A Simple Integration of Epistemic Logic and Reinforcement Learning. - Thorsten Engesser; Thibaut Le Marre; Emiliano Lorini; François Schwarzentruber; Bruno Zanuttini (AAMAS, 2025)

Verifying Quantized Graph Neural Networks is PSPACE-complete. - Marco Sälzer; François Schwarzentruber; Nicolas Troquard (CoRR, 2025)

Spanning-Tree Based Coverage for a Tethered Robot. - Xiao Peng; François Schwarzentruber; Olivier Simonin 001; Christine Solnon (IEEE Robotics Autom. Lett., 2025)

Linear Planar 3-SAT and Its Applications in Planning. - Victorien Desbois; Ocan Sankur; François Schwarzentruber (CoRR, 2025)

Reasoning About Knowledge on Regular Expressions is 2EXPTIME-complete. - Avijeet Ghosh; Sujata Ghosh; François Schwarzentruber (CoRR, 2025)