| A logic for reasoning about counterfactual emotions E Lorini, F Schwarzentruber Artificial Intelligence 175 (3-4), 814-847, 2011 | 115 | 2011 |
| Complexity results in epistemic planning T Bolander, MH Jensen, F Schwarzentruber 24th International Joint Conference on Artificial Intelligence, 2791-2797, 2015 | 93 | 2015 |
| Properties of logics of individual and group agency. A Herzig, F Schwarzentruber Advances in modal logic 7, 133-149, 2008 | 93 | 2008 |
| On the complexity of dynamic epistemic logic G Aucher, F Schwarzentruber arXiv preprint arXiv:1310.6406, 2013 | 77 | 2013 |
| Epistemic protocols for dynamic gossip H van Ditmarsch, J van Eijck, P Pardo, R Ramezanian, ... Journal of Applied Logic 20, 1-31, 2017 | 56 | 2017 |
| DEL-based epistemic planning: Decidability and complexity T Bolander, T Charrier, S Pinchinat, F Schwarzentruber Artificial Intelligence 287, 103304, 2020 | 43 | 2020 |
| Building Epistemic Logic from Observations and Public Announcements. T Charrier, A Herzig, E Lorini, F Maffre, F Schwarzentruber KR, 268-277, 2016 | 42 | 2016 |
| Arbitrary public announcement logic with mental programs. T Charrier, F Schwarzentruber AAMAS 15, 1471-1479, 2015 | 41 | 2015 |
| A modal logic of epistemic games E Lorini, F Schwarzentruber Games 1 (4), 478-526, 2010 | 40 | 2010 |
| The ceteris paribus structure of logics of game forms D Grossi, E Lorini, F Schwarzentruber Journal of Artificial Intelligence Research 53, 91-126, 2015 | 37 | 2015 |
| Kripke’s World O Gasquet, A Herzig, B Said, F Schwarzentruber An Introduction to Modal Logics via Tableaux, 2014 | 36 | 2014 |
| 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 | 35 | 2016 |
| Epistemic probability logic simplified J van Eijck, F Schwarzentruber Advances in modal logic, 2014 | 35 | 2014 |
| Dynamic gossip H van Ditmarsch, J van Eijck, P Pardo, R Ramezanian, ... Bulletin of the Iranian Mathematical Society 45 (3), 701-728, 2019 | 34 | 2019 |
| Complexity results of STIT fragments F Schwarzentruber Studia logica 100 (5), 1001-1045, 2012 | 34 | 2012 |
| A succinct language for dynamic epistemic logic T Charrier, F Schwarzentruber Proceedings of the 16th Conference on Autonomous Agents and Multiagent …, 2017 | 33 | 2017 |
| On the Impact of Modal Depth in Epistemic Planning. T Charrier, B Maubert, F Schwarzentruber IJCAI, 1030-1036, 2016 | 33 | 2016 |
| Agents that look at one another P Balbiani, O Gasquet, F Schwarzentruber Logic Journal of IGPL 21 (3), 438-467, 2013 | 30 | 2013 |
| Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students O Gasquet, F Schwarzentruber, M Strecker International Congress on Tools for Teaching Logic, 85-92, 2011 | 30 | 2011 |
| 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 | 27 | 2014 |
Emiliano LoriniCNRS Research Director (DR2), IRIT (CNRS-UT3), TMBI (Univ.Toulouse)Verified email at irit.fr
