François Schwarzentruber

Most-cited papers

Properties of logics of individual and group agency
A. Herzig, François Schwarzentruber
2008Advances in Modal Logic78 citations
Semantic Scholar
Complexity Results in Epistemic Planning
Thomas Bolander, Martin Holm Jensen, François Schwarzentruber
2015International Joint Conference on Artificial Intelligence62 citations
Semantic Scholar
On the Complexity of Dynamic Epistemic Logic
Guillaume Aucher, François Schwarzentruber
2012Theoretical Aspects of Rationality and Knowledge58 citations
Semantic Scholar
Epistemic protocols for dynamic gossip
Hans van Ditmarsch, J. van Eijck, Pere Pardo, Rahim Ramezanian +1 more
2017Journal of Applied Logic48 citations Open access
Semantic Scholar
A Modal Logic of Epistemic Games
E. Lorini, François Schwarzentruber
2010Games37 citations Open access
Semantic Scholar
Epistemic Probability Logic Simplified
J. van Eijck, François Schwarzentruber
2014Advances in Modal Logic33 citations
Semantic Scholar
Arbitrary Public Announcement Logic with Mental Programs
Tristan Charrier, François Schwarzentruber
2015Adaptive Agents and Multi-Agent Systems31 citations
Semantic Scholar
Complexity Results of STIT Fragments
François Schwarzentruber
2012Studia Logica: An International Journal for Symbolic Logic31 citations
Semantic Scholar
DEL-based epistemic planning: Decidability and complexity
Thomas Bolander, Tristan Charrier, S. Pinchinat, François Schwarzentruber
2020Artificial Intelligence30 citations Open access
Semantic Scholar
Ceteris Paribus Structure in Logics of Game Forms
Davide Grossi, E. Lorini, François Schwarzentruber
2013Theoretical Aspects of Rationality and Knowledge29 citations
Semantic Scholar
Agents that look at one another
P. Balbiani, Olivier Gasquet, François Schwarzentruber
2013Logic Journal of the IGPL28 citations Open access
Semantic Scholar
Building Epistemic Logic from Observations and Public Announcements
Tristan Charrier, A. Herzig, E. Lorini, Faustine Maffre +1 more
2016International Conference on Principles of Knowledge Representation and Reasoning27 citations
Semantic Scholar
Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students
Olivier Gasquet, François Schwarzentruber, M. Strecker
2011Third International Congress on Tools for Teaching Logic27 citations
Semantic Scholar
Announcements to Attentive Agents
Thomas Bolander, Hans van Ditmarsch, A. Herzig, E. Lorini +2 more
2015Journal of Logic, Language and Information25 citations Open access
Semantic Scholar
On the Impact of Modal Depth in Epistemic Planning
Tristan Charrier, Bastien Maubert, François Schwarzentruber
2016International Joint Conference on Artificial Intelligence23 citations
Semantic Scholar
Building an Epistemic Logic for Argumentation
François Schwarzentruber, Srdjan Vesic, Tjitze Rienstra
2012European Conference on Logics in Artificial Intelligence22 citations
Semantic Scholar
Dynamic Gossip
Hans van Ditmarsch, J. van Eijck, Pere Pardo, Rahim Ramezanian +1 more
2015Bulletin of the Iranian Mathematical Society21 citations Open access
Semantic Scholar
A Succinct Language for Dynamic Epistemic Logic
Tristan Charrier, François Schwarzentruber
2017Adaptive Agents and Multi-Agent Systems20 citations
Semantic Scholar
DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE
P. Balbiani, A. Herzig, François Schwarzentruber, N. Troquard
2014arXiv.org19 citations
Semantic Scholar
Kripke's Worlds - An Introduction to Modal Logics via Tableaux
Olivier Gasquet, A. Herzig, Bilal Said, François Schwarzentruber
2013Studies in Universal Logic19 citations
Semantic Scholar
Concurrent Games in Dynamic Epistemic Logic
Bastien Maubert, S. Pinchinat, François Schwarzentruber, Silvia Stranieri
2020International Joint Conference on Artificial Intelligence18 citations Open access
Semantic Scholar
Small Undecidable Problems in Epistemic Planning
Sébastien Lê Cong, S. Pinchinat, François Schwarzentruber
2018International Joint Conference on Artificial Intelligence17 citations Open access
Semantic Scholar
Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane
Olivier Gasquet, V. Goranko, François Schwarzentruber
2014Adaptive Agents and Multi-Agent Systems17 citations
Semantic Scholar
Reasoning about knowledge and messages in asynchronous multi-agent systems
S. Knight, Bastien Maubert, François Schwarzentruber
2017Mathematical Structures in Computer Science16 citations Open access
Semantic Scholar
Normative Reasoning and Consequence
J. Broersen, Stephen Cranefield, Yehia Elrakaiby, D. Gabbay +7 more
2013Normative Multi-Agent Systems14 citations
Semantic Scholar
Complexity of planning for connected agents
Tristan Charrier, Arthur Queffelec, O. Sankur, François Schwarzentruber
2020Autonomous Agents and Multi-Agent Systems13 citations Open access
Semantic Scholar
Reachability and Coverage Planning for Connected Agents: Extended Version
Tristan Charrier, Arthur Queffelec, O. Sankur, François Schwarzentruber
2019Adaptive Agents and Multi-Agent Systems12 citations Open access
Semantic Scholar
Epistemic Boolean Games Based on a Logic of Visibility and Control
A. Herzig, E. Lorini, Faustine Maffre, François Schwarzentruber
2016International Joint Conference on Artificial Intelligence12 citations
Semantic Scholar
Generalized DEL-Sequents
Guillaume Aucher, Bastien Maubert, François Schwarzentruber
2012European Conference on Logics in Artificial Intelligence12 citations Open access
Semantic Scholar
Reachability Games in Dynamic Epistemic Logic
Bastien Maubert, S. Pinchinat, François Schwarzentruber
2019International Joint Conference on Artificial Intelligence11 citations Open access
Semantic Scholar
Belief Merging in Dynamic Logic of Propositional Assignments
A. Herzig, Pilar Pozos-Parra, François Schwarzentruber
2014International Symposium on Foundations of Information and Knowledge Systems11 citations
Semantic Scholar
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together
E. Lorini, François Schwarzentruber, A. Herzig
2009Logic, Rationality, and Interaction11 citations Open access
Semantic Scholar
Multi-Agent Belief Base Revision
E. Lorini, François Schwarzentruber
2021International Joint Conference on Artificial Intelligence10 citations Open access
Semantic Scholar
Library-Based Attack Tree Synthesis
S. Pinchinat, François Schwarzentruber, Sébastien Lê Cong
2020International Workshop on Graphical Models for Security10 citations
Semantic Scholar
The modal logic of copy and remove
C. Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber
2017Information and Computation10 citations Open access
Semantic Scholar
Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems
Olivier Gasquet, V. Goranko, François Schwarzentruber
2015Autonomous Agents and Multi-Agent Systems10 citations Open access
Semantic Scholar
Logics with Copy and Remove
C. Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber
2014Workshop on Logic, Language, Information and Computation10 citations
Semantic Scholar
Listen to Me! Public Announcements to Agents That Pay Attention - or Not
Hans van Ditmarsch, A. Herzig, E. Lorini, François Schwarzentruber
2013Logic, Rationality, and Interaction10 citations Open access
Semantic Scholar
Symbolic model checking of public announcement protocols
Tristan Charrier, S. Pinchinat, François Schwarzentruber
2019Journal of Logic and Computation9 citations
Semantic Scholar
The Complexity of Tiling Problems
François Schwarzentruber
2019arXiv.org9 citations
Semantic Scholar
Chain-Monadic Second Order Logic over Regular Automatic Trees and Epistemic Planning Synthesis
Gaëtan Douéneau-Tabot, S. Pinchinat, François Schwarzentruber
2018Advances in Modal Logic9 citations
Semantic Scholar
The Ceteris Paribus Structure of Logics of Game Forms
Davide Grossi, E. Lorini, François Schwarzentruber
2015Journal of Artificial Intelligence Research9 citations Open access
Semantic Scholar
Seeing, Knowledge and Common Knowledge
François Schwarzentruber
2011Logic, Rationality, and Interaction9 citations
Semantic Scholar
Tableau Method and NEXPTIME-Completeness of DEL-Sequents
Guillaume Aucher, Bastien Maubert, François Schwarzentruber
2011M4M/LAMAS9 citations Open access
Semantic Scholar
Dynamic Epistemic Logic Games with Epistemic Temporal Goals
Bastien Maubert, A. Murano, S. Pinchinat, François Schwarzentruber +1 more
2020European Conference on Artificial Intelligence8 citations Open access
Semantic Scholar
Generating Plans for Cooperative Connected UAVs
F. Bodin, Tristan Charrier, Arthur Queffelec, François Schwarzentruber
2018International Joint Conference on Artificial Intelligence8 citations Open access
Semantic Scholar
Belief Manipulation Through Propositional Announcements
Aaron Hunter, François Schwarzentruber, Eric Tsang
2017International Joint Conference on Artificial Intelligence8 citations Open access
Semantic Scholar
A Logic of Explicit and Implicit Distributed Belief
A. Herzig, E. Lorini, Elise Perrotin, Fabián Romero +1 more
2020European Conference on Artificial Intelligence7 citations Open access
Semantic Scholar
Knowledge-based programs as succinct policies for partially observable domains
B. Zanuttini, J. Lang, Abdallah Saffidine, François Schwarzentruber
2020Artificial Intelligence7 citations Open access
Semantic Scholar
Hintikka's World: Agents with Higher-order Knowledge
François Schwarzentruber
2018International Joint Conference on Artificial Intelligence7 citations Open access
Semantic Scholar