Follow
François Schwarzentruber
François Schwarzentruber
ENS Rennes
Verified email at ens-rennes.fr - Homepage
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
1022011
Properties of logics of individual and group agency.
A Herzig, F Schwarzentruber
Advances in modal logic 7, 133-149, 2008
882008
Complexity results in epistemic planning
T Bolander, MH Jensen, F Schwarzentruber
24th International Joint Conference on Artificial Intelligence, 2791-2797, 2015
842015
On the complexity of dynamic epistemic logic
G Aucher, F Schwarzentruber
arXiv preprint arXiv:1310.6406, 2013
712013
Epistemic protocols for dynamic gossip
H van Ditmarsch, J van Eijck, P Pardo, R Ramezanian, ...
Journal of Applied Logic 20, 1-31, 2017
512017
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
392016
Arbitrary public announcement logic with mental programs.
T Charrier, F Schwarzentruber
AAMAS 15, 1471-1479, 2015
382015
A modal logic of epistemic games
E Lorini, F Schwarzentruber
Games 1 (4), 478-526, 2010
372010
Epistemic probability logic simplified
J van Eijck, F Schwarzentruber
Advances in modal logic, 2014
332014
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
322016
Dynamic gossip
H van Ditmarsch, J van Eijck, P Pardo, R Ramezanian, ...
Bulletin of the Iranian Mathematical Society 45, 701-728, 2019
312019
The ceteris paribus structure of logics of game forms
D Grossi, E Lorini, F Schwarzentruber
Journal of Artificial Intelligence Research 53, 91-126, 2015
312015
On the Impact of Modal Depth in Epistemic Planning.
T Charrier, B Maubert, F Schwarzentruber
IJCAI, 1030-1036, 2016
302016
Agents that look at one another
P Balbiani, O Gasquet, F Schwarzentruber
Logic Journal of IGPL 21 (3), 438-467, 2013
302013
A succinct language for dynamic epistemic logic
T Charrier, F Schwarzentruber
Proceedings of the 16th Conference on Autonomous Agents and Multiagent …, 2017
292017
Complexity results of STIT fragments
F Schwarzentruber
Studia logica 100 (5), 1001-1045, 2012
292012
DEL-based epistemic planning: Decidability and complexity
T Bolander, T Charrier, S Pinchinat, F Schwarzentruber
Artificial Intelligence 287, 103304, 2020
282020
Kripke’s World
O Gasquet, A Herzig, B Said, F Schwarzentruber
Studies in Universal Logic. Basel: Birkhaüser, 2014
262014
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
252014
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
222019
The system can't perform the operation now. Try again later.
Articles 1–20