François Schwarzentruber

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 64

Top Venues

Paul Sabatier University, Toulouse, France (PHD)

Education History

Paul Sabatier University, Toulouse, France

PHD

Publications

Pierre Nunn, Marco Sälzer, François Schwarzentruber, Nicolas Troquard
A Logic for Reasoning About Aggregate-Combine Graph Neural Networks. CoRR (2024)
Arthur Queffelec, Ocan Sankur, François Schwarzentruber
Complexity of planning for connected agents in a partially known environment. Theor. Comput. Sci. 941 (2023)
Tiago de Lima, Emiliano Lorini, François Schwarzentruber
Base-based Model Checking for Multi-Agent Only Believing (long version). CoRR (2023)
Isseïnie Calviac, Ocan Sankur, François Schwarzentruber
Improved Complexity Results and an Efficient Solution for Connected Multi-Agent Path Finding. AAMAS (2023)
Tiago de Lima, Emiliano Lorini, François Schwarzentruber
Base-Based Model Checking for Multi-agent only Believing. JELIA (2023)
Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber
On Simple Expectations and Observations of Intelligent Agents: A Complexity Study. KR (2023)
Michael J. Vezina, Babak Esfandiari, Sandra Morley, François Schwarzentruber
Qualitative Uncertainty Reasoning in AgentSpeak. EUMAS (2023)
Pierre Nunn, François Schwarzentruber
A Modal Logic for Explaining some Graph Neural Networks. CoRR (2023)
Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber
On simple expectations and observations of intelligent agents: A complexity study. CoRR (2023)
Michael J. Vezina, François Schwarzentruber, Babak Esfandiari, Sandra Morley
Reasoning about Uncertainty in AgentSpeak using Dynamic Epistemic Logic. AAMAS (2023)
Isabelle Bloch, Jérôme Euzenat, Jérôme Lang, François Schwarzentruber
Introduction (FR). ROIA 3 (3-4) (2022)
Isabelle Bloch, Jérôme Euzenat, Jérôme Lang, François Schwarzentruber
Introduction (EN). ROIA 3 (3-4) (2022)
Sophie Pinchinat, Sasha Rubin, François Schwarzentruber
Formula Synthesis in Propositional Dynamic Logic with Shuffle. AAAI (2022)
Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber
On Verifying Expectations and Observations of Intelligent Agents. IJCAI (2022)
Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber
On verifying expectations and observations of intelligent agents. CoRR (2022)
Dylan Bellier, Sophie Pinchinat, François Schwarzentruber
Dependency Matrices for Multiplayer Strategic Dependencies. FSTTCS (2022)
Emiliano Lorini, Elise Perrotin, François Schwarzentruber
Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models. KR (2022)
Thomas Eiter, Aaron Hunter, François Schwarzentruber
How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements. IJCAI (2021)
Emiliano Lorini, François Schwarzentruber
Multi-Agent Belief Base Revision. IJCAI (2021)
Arthur Queffelec, Ocan Sankur, François Schwarzentruber
Planning for Connected Agents in a Partially Known Environment. Canadian Conference on AI (2021)
Carlos Areces, Hans van Ditmarsch, Raul Fervari, Bastien Maubert, François Schwarzentruber
Copy and remove as dynamic operators. J. Appl. Non Class. Logics 31 (3-4) (2021)
Arthur Queffelec, Ocan Sankur, François Schwarzentruber
Connect Multi-Agent Path Finding: Generation and Visualization. IJCAI (2021)
Emiliano Lorini, François Schwarzentruber
A Computationally Grounded Logic of Graded Belief. JELIA (2021)
Bruno Zanuttini, Jérôme Lang, Abdallah Saffidine, François Schwarzentruber
Knowledge-based programs as succinct policies for partially observable domains. Artif. Intell. 288 (2020)
Sophie Pinchinat, François Schwarzentruber, Sébastien Lê Cong
Library-Based Attack Tree Synthesis. GraMSec@CSF (2020)
Thomas Bolander, Tristan Charrier, Sophie Pinchinat, François Schwarzentruber
DEL-based epistemic planning: Decidability and complexity. Artif. Intell. 287 (2020)
Bastien Maubert, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri
Concurrent Games in Dynamic Epistemic Logic. IJCAI (2020)
Bastien Maubert, Aniello Murano, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri
Dynamic Epistemic Logic Games with Epistemic Temporal Goals. ECAI (2020)
Andreas Herzig, Emiliano Lorini, Elise Perrotin, Fabián Romero, François Schwarzentruber
A Logic of Explicit and Implicit Distributed Belief. ECAI (2020)
Bastien Maubert, Aniello Murano, Sophie Pinchinat, François Schwarzentruber, Silvia Stranieri
Dynamic Epistemic Logic Games with Epistemic Temporal Goals. CoRR (2020)
Tristan Charrier, Arthur Queffelec, Ocan Sankur, François Schwarzentruber
Complexity of planning for connected agents. Auton. Agents Multi Agent Syst. 34 (2) (2020)
Arthur Queffelec, Ocan Sankur, François Schwarzentruber
Conflict-Based Search for Connected Multi-Agent Path Finding. CoRR (2020)
Tristan Charrier, Sophie Pinchinat, François Schwarzentruber
Symbolic model checking of public announcement protocols. J. Log. Comput. 29 (8) (2019)
Tristan Charrier, Arthur Queffelec, Ocan Sankur, François Schwarzentruber
Reachability and Coverage Planning for Connected Agents. IJCAI (2019)
François Schwarzentruber
The Complexity of Tiling Problems. CoRR (2019)
Tristan Charrier, Sébastien Gamblin, Alexandre Niveau, François Schwarzentruber
Hintikka's World: Scalable Higher-order Knowledge. IJCAI (2019)
Abdallah Saffidine, Sébastien Lê Cong, Sophie Pinchinat, François Schwarzentruber
The Packed Interval Covering Problem is NP-complete. CoRR (2019)
Bastien Maubert, Sophie Pinchinat, François Schwarzentruber
Reachability Games in Dynamic Epistemic Logic. CoRR (2019)
Bastien Maubert, Sophie Pinchinat, François Schwarzentruber
Reachability Games in Dynamic Epistemic Logic. IJCAI (2019)
Tristan Charrier, Arthur Queffelec, Ocan Sankur, François Schwarzentruber
Reachability and Coverage Planning for Connected Agents. AAMAS (2019)
Sophia Knight, Bastien Maubert, François Schwarzentruber
Reasoning about knowledge and messages in asynchronous multi-agent systems. Math. Struct. Comput. Sci. 29 (1) (2019)
Tristan Charrier, Arthur Queffelec, Ocan Sankur, François Schwarzentruber
Reachability and Coverage Planning for Connected Agents: Extended Version. CoRR (2019)
Tristan Charrier, François Schwarzentruber
Complexity of Dynamic Epistemic Logic with Common Knowledge. Advances in Modal Logic (2018)
Maxime Audinot, Sophie Pinchinat, François Schwarzentruber, Florence Wacheux
Deciding the Non-emptiness of Attack Trees. GraMSec@FLoC (2018)
Gaëtan Douéneau-Tabot, Sophie Pinchinat, François Schwarzentruber
Chain-Monadic Second Order Logic over Regular Automatic Trees and Epistemic Planning Synthesis. Advances in Modal Logic (2018)
François Bodin, Tristan Charrier, Arthur Queffelec, François Schwarzentruber
Generating Plans for Cooperative Connected UAVs. IJCAI (2018)
Abdallah Saffidine, François Schwarzentruber, Bruno Zanuttini
Knowledge-Based Policies for Qualitative Decentralized POMDPs. AAAI (2018)
Tristan Charrier, François Schwarzentruber, Eva Soulier
Dynamic Connected Cooperative Coverage Problem. CoRR (2018)
Sébastien Lê Cong, Sophie Pinchinat, François Schwarzentruber
Small Undecidable Problems in Epistemic Planning. IJCAI (2018)
François Schwarzentruber
Hintikka's World: Agents with Higher-order Knowledge. IJCAI (2018)
Emiliano Lorini, François Schwarzentruber
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. AAMAS (2017)
Tristan Charrier, Sophie Pinchinat, François Schwarzentruber
Model Checking Against Arbitrary Public Announcement Logic: A First-Order-Logic Prover Approach for the Existential Fragment. DALI@TABLEAUX (2017)
Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber
The modal logic of copy and remove. Inf. Comput. 255 (2017)
Aaron Hunter, François Schwarzentruber, Eric Tsang
Belief Manipulation Through Propositional Announcements. IJCAI (2017)
Davide Grossi, Emiliano Lorini, François Schwarzentruber
The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract). IJCAI (2017)
Sophie Pinchinat, François Schwarzentruber
Preface. FLAP 4 (1) (2017)
Tristan Charrier, François Schwarzentruber
A Succinct Language for Dynamic Epistemic Logic. AAMAS (2017)
Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, François Schwarzentruber
Epistemic protocols for dynamic gossip. J. Appl. Log. 20 (2017)
François Schwarzentruber
A Tool for Generating Interactive Euler Diagrams. IJCAI (2016)
Olivier Gasquet, Valentin Goranko, François Schwarzentruber
Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems. Auton. Agents Multi Agent Syst. 30 (5) (2016)
Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber
Epistemic Boolean Games Based on a Logic of Visibility and Control. IJCAI (2016)
Tristan Charrier, Bastien Maubert, François Schwarzentruber
On the Impact of Modal Depth in Epistemic Planning. IJCAI (2016)
Tristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber
Building Epistemic Logic from Observations and Public Announcements. KR (2016)
Thomas Bolander, Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo, François Schwarzentruber
Announcements to Attentive Agents. J. Log. Lang. Inf. 25 (1) (2016)
Davide Grossi, Emiliano Lorini, François Schwarzentruber
The Ceteris Paribus Structure of Logics of Game Forms. J. Artif. Intell. Res. 53 (2015)
Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, François Schwarzentruber
Dynamic Gossip. CoRR (2015)
Tristan Charrier, François Schwarzentruber
Arbitrary Public Announcement Logic with Mental Programs. AAMAS (2015)
Minghui Ma, Katsuhiko Sano, François Schwarzentruber, Fernando R. Velázquez-Quesada
Tableaux for Non-normal Public Announcement Logic. ICLA (2015)
Guillaume Aucher, Bastien Maubert, Sophie Pinchinat, François Schwarzentruber
Games with Communication: From Belief to Preference Change. PRIMA (2015)
Aaron Hunter, François Schwarzentruber
Arbitrary Announcements in Propositional Belief Revision. DARe@IJCAI (2015)
François Schwarzentruber
Drawing Interactive Euler Diagrams from Region Connection Calculus Specifications. J. Log. Lang. Inf. 24 (4) (2015)
Thomas Bolander, Martin Holm Jensen, François Schwarzentruber
Complexity Results in Epistemic Planning. IJCAI (2015)
Sophia Knight, Bastien Maubert, François Schwarzentruber
Asynchronous Announcements in a Public Channel. ICTAC (2015)
François Schwarzentruber, Jin-Kao Hao
Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search. JELIA (2014)
Andreas Herzig, Pilar Pozos Parra, François Schwarzentruber
Belief Merging in Dynamic Logic of Propositional Assignments. FoIKS (2014)
Jan van Eijck, François Schwarzentruber
Epistemic Probability Logic Simplified. Advances in Modal Logic (2014)
Tristan Charrier, Florent Ouchet, François Schwarzentruber
Big brother logic: reasoning about agents equipped with surveillance cameras in the plane (demonstration). AAMAS (2014)
François Schwarzentruber, Caroline Semmling
STIT is dangerously undecidable. ECAI (2014)
Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber
Logics with Copy and Remove. WoLLIC (2014)
Olivier Gasquet, Valentin Goranko, François Schwarzentruber
Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane. AAMAS (2014)
Philippe Balbiani, Andreas Herzig, François Schwarzentruber, Nicolas Troquard
DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE. CoRR (2014)
Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, François Schwarzentruber
Listen to Me! Public Announcements to Agents That Pay Attention - or Not. LORI (2013)
Davide Grossi, Emiliano Lorini, François Schwarzentruber
Ceteris Paribus Structure in Logics of Game Forms. TARK (2013)
Philippe Balbiani, Olivier Gasquet, François Schwarzentruber
Agents that look at one another. Log. J. IGPL 21 (3) (2013)
Guillaume Aucher, François Schwarzentruber
On the Complexity of Dynamic Epistemic Logic. CoRR (2013)
Davide Grossi, Emiliano Lorini, François Schwarzentruber
Ceteris Paribus Structure in Logics of Game Forms. CoRR (2013)
Guillaume Aucher, François Schwarzentruber
On the Complexity of Dynamic Epistemic Logic. TARK (2013)
Guillaume Aucher, Bastien Maubert, François Schwarzentruber
Generalized DEL-Sequents. JELIA (2012)
François Schwarzentruber, Srdjan Vesic, Tjitze Rienstra
Building an Epistemic Logic for Argumentation. JELIA (2012)
François Schwarzentruber
Complexity Results of STIT Fragments. Stud Logica 100 (5) (2012)
Emiliano Lorini, François Schwarzentruber
A logic for reasoning about counterfactual emotions. Artif. Intell. 175 (3-4) (2011)
Olivier Gasquet, François Schwarzentruber, Martin Strecker
Satoulouse: The Computational Power of Propositional Logic Shown to Beginners. TICTTL (2011)
Olivier Gasquet, François Schwarzentruber, Martin Strecker
Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students. TICTTL (2011)
Guillaume Aucher, Bastien Maubert, François Schwarzentruber
Tableau Method and NEXPTIME-Completeness of DEL-Sequents. Electron. Notes Theor. Comput. Sci. 278 (2011)
François Schwarzentruber
Seeing, Knowledge and Common Knowledge. LORI (2011)
François Schwarzentruber
LotrecScheme. Electron. Notes Theor. Comput. Sci. 278 (2011)
Olivier Gasquet, François Schwarzentruber
Concrete Epistemic Modal Logic: Flatland. TICTTL (2011)
Emiliano Lorini, François Schwarzentruber
A Modal Logic of Epistemic Games. Games 1 (4) (2010)
Olivier Gasquet, François Schwarzentruber
Knowledge in lineland. AAMAS (2010)
Emiliano Lorini, François Schwarzentruber, Andreas Herzig
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together. Information processing, rational belief change and social interaction (2009)

François Schwarzentruber.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

François Schwarzentruber