François Schwarzentruber Professor at ENS Lyon

Identifiants chercheurs

IdHAL :

francois-schwarzentruber

ORCID :

0000-0002-1228-4333

IdRef :

158488911

Présentation

Publications

Article dans une revue (14)

Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality Simon Coumes,Pierre-Henri Paris,François Schwarzentruber,Fabian Suchanek Journal of Artificial Intelligence Research, 2026, 85, pp.12. ⟨10.1613/jair.1.18402⟩ Article dans une revue hal-05575513v1
Spanning-tree based coverage for a tethered robot Xiao Peng,François Schwarzentruber,Olivier Simonin,Christine Solnon IEEE Robotics and Automation Letters, In press, pp.1-8 Article dans une revue hal-04877205v1
Complexity of planning for connected agents Tristan Charrier,Arthur Queffelec,Ocan Sankur,François Schwarzentruber Autonomous Agents and Multi-Agent Systems, 2020, 34 (2), ⟨10.1007/s10458-020-09468-5⟩ Article dans une revue hal-03003144v1
Knowledge-Based Programs as Succinct Policies for Partially Observable Domains Bruno Zanuttini,Jérôme Lang,Abdallah Saffidine,François Schwarzentruber Artificial Intelligence (AIJ), 2020, 288, pp.103365. ⟨10.1016/j.artint.2020.103365⟩ Article dans une revue hal-02942873v1
Symbolic model checking of public announcement protocols Tristan Charrier,Sophie Pinchinat,François Schwarzentruber Journal of Logic and Computation, 2019, 29 (8), pp.1211-1249. ⟨10.1093/logcom/exz023⟩ Article dans une revue hal-02533680v1
The Modal Logic of Copy and Remove Carlos Areces,Hans van Ditmarsch,Raul Fervari,François Schwarzentruber Information and Computation, 2017, 255, pp.243-261. ⟨10.1016/j.ic.2017.01.004⟩ Article dans une revue hal-02533970v1
Reasoning about knowledge and messages in asynchronous multi-agent systems Sophia Knight,Bastien Maubert,François Schwarzentruber Mathematical Structures in Computer Science, 2017 Article dans une revue hal-02533897v1
Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems Olivier Gasquet,Valentin Goranko,François Schwarzentruber Autonomous Agents and Multi-Agent Systems, 2016, 30, pp.793-825. ⟨10.1007/s10458-015-9306-4⟩ Article dans une revue hal-01624691v1
Announcements to Attentive Agents Thomas Bolander,Hans van Ditmarsch,Andreas Herzig,Emiliano Lorini,Pere Pardoet al. Journal of Logic, Language and Information, 2015, vol. 25 (n° 1), pp. 1-35. ⟨10.1007/s10849-015-9234-3⟩ Article dans une revue hal-01585237v1
Drawing Interactive Euler Diagrams from Region Connection Calculus Specifications François Schwarzentruber Journal of Logic, Language and Information, 2015 Article dans une revue hal-02534063v1
The Ceteris Paribus Structure of Logics of Game Forms Davide Grossi,Emiliano Lorini,François Schwarzentruber Journal of Artificial Intelligence Research, 2015, vol. 53, pp. 91-126. ⟨10.1613/jair.4666⟩ Article dans une revue hal-01809279v1
Agents that look at one another Philippe Balbiani,Olivier Gasquet,François Schwarzentruber Logic Journal of the IGPL, 2013, vol. 21 (n° 3), pp. 438-467. ⟨10.1093/jigpal/jzs052⟩ Article dans une revue hal-01138505v1
A logic for reasoning about counterfactual emotions Emiliano Lorini,François Schwarzentruber Artificial Intelligence (AIJ), 2011, 175 (3-4), pp.814-847. ⟨10.1016/j.artint.2010.11.022⟩ Article dans une revue hal-03671076v1
A Modal Logic of Epistemic Games Emiliano Lorini,François Schwarzentruber Games, 2010, Epistemic Game Theory and Modal Logic, 1 (4), pp.478-526. ⟨10.3390/g1040478⟩ Article dans une revue hal-03672510v1

Communication dans un congrès (41)

Qiana: A First-Order Formalism to Quantify over Contexts and Formulas Simon Coumes,Pierre-Henri Paris,François Schwarzentruber,Fabian M Suchanek 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}, Nov 2024, Hanoi, Vietnam. pp.295-305, ⟨10.24963/kr.2024/28⟩ Communication dans un congrès hal-05157500v1
A Computationally Grounded Framework for Cognitive Attitudes Tiago de Lima,Emiliano Lorini,Elise Perrotin,François Schwarzentruber Thirty-Ninth AAAI Conference on Artificial Intelligence and Thirty-Seventh (AAAI-25), Feb 2025, Philadelphia, United States. pp.14858-14866, ⟨10.1609/aaai.v39i14.33629⟩ Communication dans un congrès hal-05411522v1
An Efficient Modular Algorithm for Connected Multi-Agent Path Finding Victorien Desbois,Ocan Sankur,François Schwarzentruber ECAI 2024 - 27th European Conference on Artificial Intelligence, Oct 2024, Santiago de Compostela, Spain. pp.1-11 Communication dans un congrès hal-04650916v2
Improved Complexity Results and an Efficient Solution for Connected Multi-Agent Path Finding Isseïnie Calviac,Ocan Sankur,François Schwarzentruber AAMAS 2023 - 22nd International Conference on Autonomous Agents and Multiagent Systems, May 2023, London, United Kingdom. pp.1-9 Communication dans un congrès hal-04075393v1
Base-Based Model Checking for Multi-agent only Believing Tiago de Lima,Emiliano Lorini,François Schwarzentruber 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), Sep 2023, Dresden, Germany. pp.437-445, ⟨10.1007/978-3-031-43619-2_30⟩ Communication dans un congrès hal-04268823v1
Dependency Matrices for Multiplayer Strategic Dependencies Dylan Bellier,Sophie Pinchinat,François Schwarzentruber 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2022), Dec 2022, Madras, India. ⟨10.4230/LIPIcs.FSTTCS.2022.31⟩ Communication dans un congrès hal-04380084v1
Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models Emiliano Lorini,Elise Perrotin,François Schwarzentruber 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), Jul 2022, Haifa, Israel. pp.236-246, ⟨10.24963/kr.2022/24⟩ Communication dans un congrès hal-03873252v1
Multi-Agent Belief Base Revision Emiliano Lorini,Francois Schwarzentruber Thirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021), International Joint Conferences on Artificial Intelligence Organization, Aug 2021, Montreal, Canada. pp.1959-1965, ⟨10.24963/ijcai.2021/270⟩ Communication dans un congrès hal-03453911v1
A Computationally Grounded Logic of Graded Belief Emiliano Lorini,François Schwarzentruber 17th European Conference on Logics in Artificial Intelligence (JELIA 2021), May 2021, virtual event, France. pp.245-261, ⟨10.1007/978-3-030-75775-5_17⟩ Communication dans un congrès hal-03453909v1
A Logic of Explicit and Implicit Distributed Belief Andreas Herzig,Emiliano Lorini,Elise Perrotin,Benito Fabian Romero Jimenez,François Schwarzentruber 24th European Conference on Artificial Intelligence (ECAI 2020), Intelligent Systems Group (GSI); Research Center on Intelligent Technologies of the University of Santiago de Compostela (CiTIUS), Aug 2020, Santiago de Compostela, Spain. pp.753-760 Communication dans un congrès hal-03008589v1
Reachability and Coverage Planning for Connected Agents Tristan Charrier,Arthur Queffelec,Ocan Sankur,François Schwarzentruber AAMAS 2019 - 18th International Conference on Autonomous Agents and MultiAgent Systems, May 2019, Montreal, Canada. pp.1874-1876 Communication dans un congrès hal-02349490v1
Reachability Games in Dynamic Epistemic Logic Bastien Maubert,Sophie Pinchinat,François Schwarzentruber the Twenty-Eighth International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China Communication dans un congrès hal-02533558v1
Reachability and Coverage Planning for Connected Agents Tristan Charrier,Arthur Queffelec,Ocan Sankur,François Schwarzentruber IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1-7 Communication dans un congrès hal-02349475v1
Chain-Monadic Second Order Logic over Regular Automatic Trees and Epistemic Planning Synthesis François Schwarzentruber,Gaetan Gaëtan Douéneau-Tabot Advances in Modal Logic 12, Aug 2018, Bern, Switzerland Communication dans un congrès hal-02533508v1
Premiers pas vers une résolution du problème de satisfaisabilité pour la logique monadique du premier ordre par une reformulation en logique des connaissances subjective mono-agent Alexandre Niveau,François Schwarzentruber,Bruno Zanuttini Actes des 12es journées d'intelligence artificielle fondamentale (JIAF 2018), Jun 2018, Amiens, France Communication dans un congrès hal-01837924v1
Knowledge-Based Policies for Qualitative Decentralized POMDPs Abdallah Saffidine,François Schwarzentruber,Bruno Zanuttini 32nd AAAI Conference on Artificial Intelligence, Feb 2018, New Orleans, United States Communication dans un congrès hal-01646207v1
Small undecidable problems in epistemic planning François Schwarzentruber,Sebastien Sébastien Le Công Small undecidable problems in epistemic planning, Jul 2018, Stockholm, Sweden Communication dans un congrès hal-02533481v1
Deciding the Non-emptiness of Attack Trees Maxime Audinot,François Schwarzentruber,Florence Florence Wacheux 5th International Workshop on Graphical Models for Security, Jul 2018, Oxford, United Kingdom Communication dans un congrès hal-02533499v1
The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract) Davide Grossi,Emiliano Lorini,François Schwarzentruber 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Aug 2017, Melbourne, Australia. pp.5000-5004, ⟨10.24963/ijcai.2017/710⟩ Communication dans un congrès hal-02319717v1
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, Brasília, Brazil Communication dans un congrès hal-02534021v1
Epistemic boolean games based on a logic of visibility and control Andreas Herzig,Emiliano Lorini,Faustine Maffre,François Schwarzentruber 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), Jul 2016, New York, United States. pp.1116-1122 Communication dans un congrès hal-01530163v1
Building epistemic logic from observations and public announcements Tristan Charrier,Andreas Herzig,Emiliano Lorini,Faustine Maffre,François Schwarzentruber 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), co-located with DL 2016 and NMR 2016, Apr 2016, Le Cap, South Africa. pp.268-277 Communication dans un congrès hal-04109521v1
Asynchronous Announcements in a Public Channel Sophia Knight,Bastien Maubert,François Schwarzentruber Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, 2015, Unknown, Unknown Region. pp.272--289, ⟨10.1007/978-3-319-25150-9_17⟩ Communication dans un congrès hal-01273555v1
Arbitrary Announcements in Propositional Belief Revision Aaron Hunter,François Schwarzentruber DARe@IJCAI, 2015, Buenos Aires, Argentina Communication dans un congrès hal-02534088v1
Tableaux for non-normal public announcement logic Minghui Ma,Katsuhiko Sano,François Schwarzentruber,Fernando Velázquez-Quesada Indian Conference on Logic and Its Applications, 2015, Mumbai, India Communication dans un congrès hal-02534074v1
Games with Communication: from Belief to Preference Change Guillaume Aucher,Bastien Maubert,Sophie Pinchinat,François Schwarzentruber Principles and Practice of Multi-Agent Systems (PRIMA 2015), Oct 2015, Bertinoro, Italy Communication dans un congrès hal-01194398v1
Logics with Copy and Remove Carlos Areces,Hans van Ditmarsch,Raul Fervari,François Schwarzentruber Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valpara\'ıso, Chile, September 1-4, 2014. Proceedings, 2014, Unknown, Unknown Region. pp.51--65, ⟨10.1007/978-3-662-44145-9_4⟩ Communication dans un congrès hal-01273560v1
STIT is dangerously undecidable François Schwarzentruber,Caroline Semmling ECAI, 2014, Prague, Czech Republic. ⟨10.3233/978-1-61499-419-0-1093⟩ Communication dans un congrès hal-02534277v1
Drawing Euler diagrams from region connection calculus specifications with local search François Schwarzentruber,Jin-Kao Hao JELIA, 2014, Funchal (Madeira), Portugal Communication dans un congrès hal-02534278v1
Belief merging in Dynamic Logic of Propositional Assignments Andreas Herzig,Pilar Pozos Parra,François Schwarzentruber International Symposium on Foundations of Information and Knowledge Systems - FolKS 2014, Mar 2014, Bordeaux, France. pp. 981-398 Communication dans un congrès hal-01146747v1
Epistemic Probability Logic Simplified Jan van Eijck,François Schwarzentruber Advances in Modal Logic, 2014, Groningen, Netherlands Communication dans un congrès hal-02534272v1
Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane Olivier Gasquet,Valentin Goranko,François Schwarzentruber International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), May 2014, Paris, France. pp. 325-332 Communication dans un congrès hal-01113939v1
Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane (IDAS 2014) Olivier Gasquet,Valentin Goranko,François Schwarzentruber Information Dynamics in Artificial Societies Workshop (IDAS 2014), SINTELNET, the European network for social intelligence, Aug 2014, Tübingen, Allemagne Communication dans un congrès hal-03246605v1
On the Complexity of Dynamic Epistemic Logic Guillaume Aucher,François Schwarzentruber TARK - Theoretical Aspects of Rationality and Knowledge - 2013, Jan 2013, Chennai, India Communication dans un congrès hal-00856468v1
Listen to me! Public announcements to agents that pay attention - or not Hans van Ditmarsch,Andreas Herzig,Emiliano Lorini,François Schwarzentruber 4th International Workshop on Logic, Rationality and Interaction (LORI IV), Oct 2013, Hangzhou, China. pp.96-109, ⟨10.1007/978-3-642-40948-6_8⟩ Communication dans un congrès hal-01187760v1
Ceteris Paribus Structure in Logics of Game Forms (2013) Davide Grossi,Emiliano Lorini,François Schwarzentruber Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Jan 2013, Chennai, India. pp.1-11 Communication dans un congrès hal-01141938v2
Generalized DEL-sequents Guillaume Aucher,Bastien Maubert,François Schwarzentruber JELIA - Logics in Artificial Intelligence - 2012, Sep 2013, Toulouse, France Communication dans un congrès hal-00856472v1
Tableau method and NEXPTIME-Completeness of DEL-Sequents Guillaume Aucher,Bastien Maubert,François Schwarzentruber Methods for Modalities (M4M), Nov 2011, Sevilla, Spain Communication dans un congrès inria-00627642v2
A logic for reasoning about counterfactual emotions (IJCAI 2009) Emiliano Lorini,François Schwarzentruber 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), The International Joint Conferences on Artificial Intelligence (IJCAI); The Association for the Advancement of Artificial Intelligence (AAAI), Jul 2009, Pasaden, California, France. pp.867-872 Communication dans un congrès hal-03671744v1
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together Emiliano Lorini,François Schwarzentruber,Andreas Herzig Second International Workshop on Logic, Rationality and Interaction (LORI 2009), Oct 2009, Chongqing, China. pp.212-226, ⟨10.1007/978-3-642-04893-7_17⟩ Communication dans un congrès hal-03474460v1
Properties of logics of individual and group agency Andreas Herzig,François Schwarzentruber 7th Conference on Advances in Modal Logic (AIML 2008), Sep 2008, Nancy, France. pp.133-149 Communication dans un congrès hal-03526736v1

Ouvrages (5)

Conférence Nationale d’Intelligence Artificielle Année 2024 Emmanuel Adam,Thomas Guyet,Benoit Le Blanc,Dominique Longin,Nadia Abchiche-Mimouniet al. Association Française pour l'Intelligence Artificielle, 2024 Ouvrages hal-04748891v1
Conférence Nationale d’Intelligence Artificielle Année 2023 Emmanuel Adam,Thomas Guyet,Benoit Le Blanc,Dominique Longin,Zied Bouraouiet al. Association Française pour l'Intelligence Artificielle, 2023 Ouvrages hal-04310171v2
Conférence Nationale d'Intelligence Artificielle Année 2022 Zied Bouraoui,Valérie Camps,Éric Gaussier,Maxime Guériau,Christelle Launoiset al. Association Française pour l’Intelligence Artificielle, pp.1-239, 2022 Ouvrages hal-03777860v2
Conférence Nationale d'Intelligence Artificielle Année 2018 Sandra Bringay,Olivier Buffet,Alain Dutech,Jérôme Euzenat,Juliette Mattioliet al. Association Française pour l’Intelligence Artificielle, 2018 Ouvrages hal-02189744v1
Kripke's Worlds: An introduction to modal logics via tableaux Olivier Gasquet,Andreas Herzig,Bilal Said,François Schwarzentruber Springer-Verlag, pp.XV, 198, 2014, Studies in Universal Logic - Series ISSN: 2297-0282, 978-3-7643-8503-3. ⟨10.1007/978-3-7643-8504-0⟩ Ouvrages hal-03220769v1

Chapitre d'ouvrage (1)

Coalition games over Kripke semantics Philippe Balbiani,Olivier Gasquet,Andreas Herzig,François Schwarzentruber,Nicolas Troquard Dégremont, Cédric; Keiff, Laurent; Rückert, Helge. Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman, College Publications, pp.11-32, 2008, 978-1904987130 Chapitre d'ouvrage hal-03526733v1

Autre publication scientifique (1)

Hintikka's World: Scalable Higher-order Knowledge Tristan Charrier,Sébastien Gamblin,Alexandre Niveau,François Schwarzentruber 2019, pp.6494-6496 Autre publication scientifique hal-03664506v1

Pré-publication, Document de travail (1)

Dynamic Epistemic Logic Games with Epistemic Temporal Goals Bastien Maubert,Aniello Murano,Sophie Pinchinat,François Schwarzentruber,Silvia Stranieri 2020 Pré-publication, Document de travail hal-02533766v1

Rapport (5)

A Succinct Language for Dynamic Epistemic Logic (long version) Tristan Charrier,François Schwarzentruber [Research Report] Irisa; Ens Rennes. 2017 Rapport (rapport de recherche) hal-01487001v1
On the Impact of Modal Depth in Epistemic Planning (Extended Version) Tristan Charrier,Bastien Maubert,François Schwarzentruber [Research Report] IRISA, équipe LogicA. 2016 Rapport (rapport de recherche) hal-01315107v1
Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane (Long Version) Olivier Gasquet,Valentin Goranko,François Schwarzentruber [Rapport de recherche] IRIT. 2014 Rapport (rapport de recherche) hal-03220765v1
On the Complexity of Dynamic Epistemic Logic (Extended Version) Guillaume Aucher,François Schwarzentruber [Research Report] RR-8164, INRIA. 2012 Rapport (rapport de recherche) hal-00759544v1
Generalized DEL-sequents Guillaume Aucher,Bastien Maubert,François Schwarzentruber [Research Report] RR-8012, INRIA. 2012, pp.23 Rapport (rapport de recherche) hal-00716074v1

Thèse (1)

Voir, savoir, faire : une étude de cas en logique modale François Schwarzentruber Modélisation et simulation. Université Paul Sabatier - Toulouse III, 2010. Français. ⟨NNT : ⟩ Thèse tel-00609903v1

Cours (5)

Lecture Notes on Database Theory François Schwarzentruber Master. ENS de Lyon, France. 2025 Cours hal-04958606v1
Je ne comprenais rien aux probabilités et aux statistiques mais maintenant ça va mieux ! François Schwarzentruber Licence. ENS Rennes, France. 2024 Cours hal-04958662v1
Théorie de la Complexité et Applications François Schwarzentruber Master. ENS Rennes, France. 2023 Cours hal-04958844v1
Kit de survie - Logique François Schwarzentruber Master. France. 2019, pp.1-72 Cours cel-01995410v1
Kit de survie - Calculabilité François Schwarzentruber Master. France. 2018 Cours cel-01947220v1