François Schwarzentruber

Cited by

	All	Since 2018
Citations	1386	870
h-index	22	17
i10-index	42	33

160

120

20082009201020112012201320142015201620172018201920202021202220236 10 24 38 20 42 78 83 91 104 156 160 126 147 138 140

Public access

View all

13 articles

1 article

available

not available

Based on funding mandates

Co-authors

Emiliano LoriniCNRS Research Director (DR2), IRIT (CNRS-UT3), TMBI (Univ.Toulouse)Verified email at irit.fr
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
Sophie PinchinatUniv Rennes/CNRSVerified email at irisa.fr
Hans van DitmarschCNRSVerified 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 PardoUniversity of LuxembourgVerified email at ruhr-uni-bochum.de
Thomas BolanderProfessor, Technical University of DenmarkVerified email at dtu.dk
Bilal SaidResearcher & Project Manager at Softeam DocaposteVerified email at ul.edu.lb
Queffelec ArthurUniv Rennes, CNRS, IRISAVerified email at irisa.fr
Ocan SankurCNRS, Université de RennesVerified email at irisa.fr
rahim ramezanianPhD, Sharif University of TechnologyVerified email at student.sharif.ir
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
Jerome Langsenior researcher at CNRSVerified email at lamsade.dauphine.fr
Davide GrossiUniversity of Groningen (Bernoulli Institute) & University of Amsterdam (ILLC, ACLE)Verified email at rug.nl
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

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	102	2011
Properties of logics of individual and group agency. A Herzig, F Schwarzentruber Advances in modal logic 7, 133-149, 2008	86	2008
Complexity Results in Epistemic Planning. T Bolander, MH Jensen, F Schwarzentruber IJCAI, 2791-2797, 2015	85	2015
On the complexity of dynamic epistemic logic G Aucher, F Schwarzentruber arXiv preprint arXiv:1310.6406, 2013	69	2013
Epistemic protocols for dynamic gossip H van Ditmarsch, J van Eijck, P Pardo, R Ramezanian, ... Journal of Applied Logic 20, 1-31, 2017	53	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	38	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	37	2010
Epistemic probability logic simplified J van Eijck, F Schwarzentruber Advances in modal logic, 2014	34	2014
Dynamic gossip H van Ditmarsch, J van Eijck, P Pardo, R Ramezanian, ... Bulletin of the Iranian Mathematical Society 45, 701-728, 2019	32	2019
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	32	2016
On the Impact of Modal Depth in Epistemic Planning. T Charrier, B Maubert, F Schwarzentruber IJCAI, 1030-1036, 2016	31	2016
Agents that look at one another P Balbiani, O Gasquet, F Schwarzentruber Logic Journal of IGPL 21 (3), 438-467, 2013	30	2013
A succinct language for dynamic epistemic logic T Charrier, F Schwarzentruber Proceedings of the 16th Conference on Autonomous Agents and Multiagent …, 2017	29	2017
Complexity Results of STIT Fragments F Schwarzentruber Studia logica 100, 1001-1045, 2012	29	2012
DEL-based epistemic planning: Decidability and complexity T Bolander, T Charrier, S Pinchinat, F Schwarzentruber Artificial Intelligence 287, 103304, 2020	26	2020
The ceteris paribus structure of logics of game forms D Grossi, E Lorini, F Schwarzentruber Journal of Artificial Intelligence Research 53, 91-126, 2015	26	2015
Small Undecidable Problems in Epistemic Planning. S Lê Cong, S Pinchinat, F Schwarzentruber IJCAI, 4780-4786, 2018	23	2018
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	23	2014
Kripke’s World O Gasquet, A Herzig, B Said, F Schwarzentruber An Introduction to Modal Logics via Tableaux, 2014	23	2014

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