Access content directly

François Schwarzentruber

65
Documents
Researcher identifiers

Presentation

Publications

Image document

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⟩
Journal articles hal-03003144v1
Image document

Knowledge-Based Programs as Succinct Policies for Partially Observable Domains

Bruno Zanuttini , Jérôme Lang , Abdallah Saffidine , François Schwarzentruber
Artificial Intelligence, 2020, 288, pp.103365. ⟨10.1016/j.artint.2020.103365⟩
Journal articles 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⟩
Journal articles hal-02533680v1
Image document

Reasoning about knowledge and messages in asynchronous multi-agent systems

Sophia Knight , Bastien Maubert , François Schwarzentruber
Mathematical Structures in Computer Science, 2017
Journal articles hal-02533897v1
Image document

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⟩
Journal articles hal-02533970v1
Image document

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⟩
Journal articles hal-01624691v1
Image document

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⟩
Journal articles hal-01809279v1
Image document

Drawing Interactive Euler Diagrams from Region Connection Calculus Specifications

François Schwarzentruber
Journal of Logic, Language and Information, 2015
Journal articles hal-02534063v1
Image document

Announcements to Attentive Agents

Thomas Bolander , Hans van Ditmarsch , Andreas Herzig , Emiliano Lorini , Pere Pardo
Journal of Logic, Language and Information, 2015, vol. 25 (n° 1), pp. 1-35. ⟨10.1007/s10849-015-9234-3⟩
Journal articles hal-01585237v1
Image document

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⟩
Journal articles hal-01138505v1

A logic for reasoning about counterfactual emotions

Emiliano Lorini , François Schwarzentruber
Artificial Intelligence, 2011, 175 (3-4), pp.814-847. ⟨10.1016/j.artint.2010.11.022⟩
Journal articles hal-03671076v1
Image document

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⟩
Journal articles hal-03672510v1
Image document

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
Conference papers hal-04075393v1
Image document

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⟩
Conference papers hal-04268823v1
Image document

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⟩
Conference papers hal-04380084v1
Image document

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⟩
Conference papers hal-03873252v1
Image document

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⟩
Conference papers hal-03453909v1
Image document

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⟩
Conference papers hal-03453911v1
Image document

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
Conference papers hal-03008589v1
Image document

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
Conference papers hal-02349475v1

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
Conference papers hal-02533558v1
Image document

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
Conference papers hal-02349490v1
Image document

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
Conference papers 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
Conference papers hal-02533499v1

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
Conference papers hal-02533481v1

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
Conference papers hal-02533508v1
Image document

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
Conference papers hal-01837924v1
Image document

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
Conference papers hal-02534021v1
Image document

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⟩
Conference papers hal-02319717v1
Image document

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
Conference papers hal-04109521v1
Image document

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
Conference papers hal-01530163v1
Image document

Arbitrary Announcements in Propositional Belief Revision

Aaron Hunter , François Schwarzentruber
DARe@IJCAI, 2015, Buenos Aires, Argentina
Conference papers hal-02534088v1
Image document

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
Conference papers hal-01194398v1
Image document

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
Conference papers hal-02534074v1

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⟩
Conference papers hal-01273555v1
Image document

Drawing Euler diagrams from region connection calculus specifications with local search

François Schwarzentruber , Jin-Kao Hao
JELIA, 2014, Funchal (Madeira), Portugal
Conference papers hal-02534278v1
Image document

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
Conference papers hal-01146747v1

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
Conference papers hal-03246605v1
Image document

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
Conference papers hal-01113939v1
Image document

Epistemic Probability Logic Simplified

Jan van Eijck , François Schwarzentruber
Advances in Modal Logic, 2014, Groningen, Netherlands
Conference papers hal-02534272v1
Image document

STIT is dangerously undecidable

François Schwarzentruber , Caroline Semmling
ECAI, 2014, Prague, Czech Republic. ⟨10.3233/978-1-61499-419-0-1093⟩
Conference papers hal-02534277v1

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⟩
Conference papers hal-01273560v1
Image document

On the Complexity of Dynamic Epistemic Logic

Guillaume Aucher , François Schwarzentruber
TARK - Theoretical Aspects of Rationality and Knowledge - 2013, Jan 2013, Chennai, India
Conference papers hal-00856468v1
Image document

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⟩
Conference papers hal-01187760v1
Image document

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
Conference papers hal-01141938v2
Image document

Generalized DEL-sequents

Guillaume Aucher , Bastien Maubert , François Schwarzentruber
JELIA - Logics in Artificial Intelligence - 2012, Sep 2013, Toulouse, France
Conference papers hal-00856472v1
Image document

Tableau method and NEXPTIME-Completeness of DEL-Sequents

Guillaume Aucher , Bastien Maubert , François Schwarzentruber
Methods for Modalities (M4M), Nov 2011, Sevilla, Spain
Conference papers inria-00627642v2

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⟩
Conference papers hal-03474460v1
Image document

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
Conference papers hal-03671744v1

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
Conference papers 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
Book sections hal-03526733v1
Image document

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 : ⟩
Theses tel-00609903v1