François Schwarzentruber

Cited by

	All	Since 2018
Citations	1287	764
h-index	21	15
i10-index	39	29

180

135

200720082009201020112012201320142015201620172018201920202021202220234 5 11 23 38 21 40 82 81 91 105 155 162 123 146 135 41

Public access

View all

12 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
Emiliano LoriniCNRS Research Director (DR2), IRIT (CNRS-UT3), TMBI (Univ.Toulouse)Verified email at irit.fr
Olivier GasquetProfesseur d'informatique, Université Paul SabatierVerified email at irit.fr
Sophie PinchinatUniv Rennes/CNRSVerified email at irisa.fr
Hans van DitmarschUniversity of Toulouse, CNRS, IRITVerified 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
Ocan SankurUniv Rennes, CNRSVerified email at irisa.fr
rahim ramezanianPhD, Sharif University of TechnologyVerified email at student.sharif.ir
Queffelec ArthurUniv Rennes, CNRS, IRISAVerified email at irisa.fr
Philippe BalbianiInstitut de recherche en informatique de ToulouseVerified email at irit.fr
Valentin GorankoProfessor of Logic and Theoretical Philosophy, Stockholm UniversityVerified email at philosophy.su.se
Jérôme EuzenatINRIA & Univ. Grenoble AlpesVerified email at inria.fr
Raul FervariFAMAF, Universidad Nacional de Córdoba and CONICETVerified email at unc.edu.ar
Davide GrossiUniversity of Groningen (Bernoulli Institute) & University of Amsterdam (ILLC, ACLE)Verified email at rug.nl
Jerome Langsenior researcher at CNRSVerified email at lamsade.dauphine.fr
Carlos ArecesUniversidad Nacional de Córdoba - CONICETVerified email at famaf.unc.edu.ar

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	100	2011
Properties of logics of individual and group agency. A Herzig, F Schwarzentruber Advances in modal logic 7, 133-149, 2008	83	2008
Complexity Results in Epistemic Planning. T Bolander, MH Jensen, F Schwarzentruber IJCAI, 2791-2797, 2015	75	2015
On the complexity of dynamic epistemic logic G Aucher, F Schwarzentruber arXiv preprint arXiv:1310.6406, 2013	65	2013
Epistemic protocols for dynamic gossip H van Ditmarsch, J van Eijck, P Pardo, R Ramezanian, ... Journal of Applied Logic 20, 1-31, 2017	50	2017
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	39	2016
Arbitrary public announcement logic with mental programs. T Charrier, F Schwarzentruber AAMAS, 1471-1479, 2015	38	2015
A modal logic of epistemic games E Lorini, F Schwarzentruber Games 1 (4), 478-526, 2010	36	2010
Dynamic gossip H van Ditmarsch, J van Eijck, P Pardo, R Ramezanian, ... Bulletin of the Iranian Mathematical Society 45, 701-728, 2019	32	2019
Agents that look at one another P Balbiani, O Gasquet, F Schwarzentruber Logic Journal of IGPL 21 (3), 438-467, 2013	31	2013
Epistemic probability logic simplified J van Eijck, F Schwarzentruber Advances in modal logic, 2014	30	2014
On the Impact of Modal Depth in Epistemic Planning. T Charrier, B Maubert, F Schwarzentruber IJCAI, 1030-1036, 2016	29	2016
Announcements to attentive agents T Bolander, H Van Ditmarsch, A Herzig, E Lorini, P Pardo, ... Journal of Logic, Language and Information 25, 1-35, 2016	29	2016
A succinct language for dynamic epistemic logic T Charrier, F Schwarzentruber Proceedings of the 16th Conference on Autonomous Agents and Multiagent …, 2017	27	2017
Complexity Results of STIT Fragments F Schwarzentruber Studia logica 100, 1001-1045, 2012	25	2012
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	24	2014
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	22	2019
Small Undecidable Problems in Epistemic Planning. S Lê Cong, S Pinchinat, F Schwarzentruber IJCAI, 4780-4786, 2018	22	2018
The ceteris paribus structure of logics of game forms D Grossi, E Lorini, F Schwarzentruber Journal of Artificial Intelligence Research 53, 91-126, 2015	22	2015
Kripke’s worlds: An introduction to modal logics via tableaux O Gasquet, A Herzig, B Said, F Schwarzentruber Springer Science & Business Media, 2013	22	2013

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

Cited by

Co-authors