François Schwarzentruber

Cited by

	All	Since 2017
Citations	1082	692
h-index	18	14
i10-index	35	27

160

120

20072008200920102011201220132014201520162017201820192020202120223 5 8 23 38 21 40 76 77 91 112 137 156 110 123 53

Public access

View all

10 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Andreas HerzigCNRS Research Director, IRIT (CNRS, Univ. Toulouse), TMBI (Univ. Toulouse)Verified email at irit.fr
Olivier GasquetProfesseur d'informatique, Université Paul SabatierVerified email at irit.fr
Emiliano LoriniCNRS Research Director (DR2), IRIT (CNRS-UT3), TMBI (Univ.Toulouse)Verified email at irit.fr
Sophie PinchinatUniv Rennes/CNRSVerified email at irisa.fr
Hans van DitmarschOpen University of the NetherlandsVerified email at loria.fr
Bastien MaubertUniversità degli Studi di Napoli Federico IIVerified email at unina.it
Jan van Eijckprofessor at ILLC Amsterdam, researcher at CWIVerified email at cwi.nl
Pere PardoUniversità degli Studi di MilanoVerified email at ruhr-uni-bochum.de
Bilal SaidResearcher & Project Manager at Softeam DocaposteVerified email at ul.edu.lb
Thomas BolanderProfessor, Technical University of DenmarkVerified email at dtu.dk
rahim ramezanianPhD, Sharif University of TechnologyVerified email at student.sharif.ir
Philippe BalbianiInstitut de recherche en informatique de ToulouseVerified email at irit.fr
Queffelec ArthurUniv Rennes, CNRS, IRISAVerified email at irisa.fr
Ocan SankurUniv Rennes, CNRSVerified email at irisa.fr
Valentin GorankoProfessor of Logic and Theoretical Philosophy, Stockholm UniversityVerified email at philosophy.su.se
Raul FervariFAMAF, Universidad Nacional de Córdoba and CONICETVerified email at unc.edu.ar
Carlos ArecesUniversidad Nacional de Córdoba - CONICETVerified email at famaf.unc.edu.ar
Nicolas TroquardKRDB, Free University of Bozen-BolzanoVerified email at unibz.it
Davide GrossiUniversity of Groningen (Bernoulli Institute) & University of Amsterdam (ILLC, ACLE)Verified email at rug.nl
Martin Holm JensenFreelancer, PhDVerified email at dtu.dk

François Schwarzentruber

ENS Rennes

Verified email at ens-rennes.fr - Homepage

logic modal logic artificial intelligence multi-agent systems formal methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A logic for reasoning about counterfactual emotions E Lorini, F Schwarzentruber Artificial Intelligence 175 (3-4), 814-847, 2011	95	2011
Properties of logics of individual and group agency. A Herzig, F Schwarzentruber Advances in modal logic 7, 133-149, 2008	77	2008
Complexity results in epistemic planning T Bolander, MH Jensen, F Schwarzentruber Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015	63	2015
On the complexity of dynamic epistemic logic G Aucher, F Schwarzentruber arXiv preprint arXiv:1310.6406, 2013	55	2013
Epistemic protocols for dynamic gossip H van Ditmarsch, J van Eijck, P Pardo, R Ramezanian, ... Journal of Applied Logic 20, 1-31, 2017	42	2017
Arbitrary public announcement logic with mental programs. T Charrier, F Schwarzentruber AAMAS, 1471-1479, 2015	36	2015
A modal logic of epistemic games E Lorini, F Schwarzentruber Games 1 (4), 478-526, 2010	34	2010
Epistemic probability logic simplified J Van Eijck, F Schwarzentruber Advances in modal logic, 2014	29	2014
Building epistemic logic from observations and public announcements T Charrier, A Herzig, E Lorini, F Maffre, F Schwarzentruber Fifteenth International Conference on the Principles of Knowledge …, 2016	27	2016
Dynamic gossip H van Ditmarsch, J van Eijck, P Pardo, R Ramezanian, ... Bulletin of the Iranian Mathematical Society 45 (3), 701-728, 2019	26	2019
On the Impact of Modal Depth in Epistemic Planning. T Charrier, B Maubert, F Schwarzentruber IJCAI, 1030-1036, 2016	26	2016
Agents that look at one another P Balbiani, O Gasquet, F Schwarzentruber Logic Journal of IGPL 21 (3), 438-467, 2013	26	2013
A succinct language for dynamic epistemic logic T Charrier, F Schwarzentruber Proceedings of the 16th Conference on Autonomous Agents and Multiagent …, 2017	23	2017
Announcements to attentive agents T Bolander, H Van Ditmarsch, A Herzig, E Lorini, P Pardo, ... Journal of Logic, Language and Information 25 (1), 1-35, 2016	23	2016
DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE P Balbiani, A Herzig, F Schwarzentruber, N Troquard arXiv preprint arXiv:1411.7825, 2014	21	2014
Kripke’s worlds: An introduction to modal logics via tableaux O Gasquet, A Herzig, B Said, F Schwarzentruber Springer Science & Business Media, 2013	21	2013
Complexity results of STIT fragments F Schwarzentruber Studia logica 100 (5), 1001-1045, 2012	21	2012
Small Undecidable Problems in Epistemic Planning. S Lê Cong, S Pinchinat, F Schwarzentruber IJCAI, 4780-4786, 2018	19	2018
Reasoning about knowledge and messages in asynchronous multi-agent systems S Knight, B Maubert, F Schwarzentruber Mathematical Structures in Computer Science 29 (1), 127-168, 2019	18	2019
The ceteris paribus structure of logics of game forms D Grossi, E Lorini, F Schwarzentruber Journal of Artificial Intelligence Research 53, 91-126, 2015	18	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors