François Schwarzentruber

Professor at ENS Lyon
83 %
Libre accès
72
Documents

Présentation

Domaines de recherche

Intelligence artificielle [cs.AI]

Publications

5
5
4
3
3
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
17
10
8
7
6
5
5
5
4
4
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
2
2
2
1
1
1
1
1
1
1
1
3
3
4
3
2
4
6
7
5
4
7
9
4
3
2
2
2
2
44
11
11
3
1
1
1

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Announcements to Attentive Agents

Thomas Bolander , Hans van Ditmarsch , Andreas Herzig , Emiliano Lorini , Pere Pardo et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Arbitrary Announcements in Propositional Belief Revision

Aaron Hunter , François Schwarzentruber

DARe@IJCAI, 2015, Buenos Aires, Argentina

Communication dans un congrès hal-02534088v1
Deposit thumbnail

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

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
Deposit thumbnail

Epistemic Probability Logic Simplified

Jan van Eijck , François Schwarzentruber

Advances in Modal Logic, 2014, Groningen, Netherlands

Communication dans un congrès hal-02534272v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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