| Normative multi-agent systems G Andrighetto, G Governatori, P Noriega, LWN van der Torre Normative Multi-Agent Systems 4, 2013 | 120 | 2013 |
| A logic for reasoning about counterfactual emotions E Lorini, F Schwarzentruber Artificial Intelligence 175 (3-4), 814-847, 2011 | 88 | 2011 |
| Properties of logics of individual and group agency. A Herzig, F Schwarzentruber Advances in modal logic 7, 133-149, 2008 | 71 | 2008 |
| Complexity Results in Epistemic Planning. T Bolander, MH Jensen, F Schwarzentruber IJCAI, 2791-2797, 2015 | 52 | 2015 |
| On the complexity of dynamic epistemic logic G Aucher, F Schwarzentruber arXiv preprint arXiv:1310.6406, 2013 | 48 | 2013 |
| A modal logic of epistemic games E Lorini, F Schwarzentruber Games 1 (4), 478-526, 2010 | 34 | 2010 |
| Epistemic protocols for dynamic gossip H van Ditmarsch, J van Eijck, P Pardo, R Ramezanian, ... Journal of Applied Logic 20, 1-31, 2017 | 31 | 2017 |
| Arbitrary public announcement logic with mental programs T Charrier, F Schwarzentruber Proceedings of the 2015 International Conference on Autonomous Agents and …, 2015 | 28 | 2015 |
| Epistemic probability logic simplified J Van Eijck, F Schwarzentruber Advances in modal logic, 2014 | 26 | 2014 |
| Agents that look at one another P Balbiani, O Gasquet, F Schwarzentruber Logic Journal of IGPL 21 (3), 438-467, 2013 | 25 | 2013 |
| 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 | 23 | 2016 |
| Dynamic gossip H van Ditmarsch, J van Eijck, P Pardo, R Ramezanian, ... Bulletin of the Iranian Mathematical Society 45 (3), 701-728, 2019 | 22 | 2019 |
| On the Impact of Modal Depth in Epistemic Planning. T Charrier, B Maubert, F Schwarzentruber IJCAI, 1030-1036, 2016 | 20 | 2016 |
| 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 | 19 | 2016 |
| Complexity results of STIT fragments F Schwarzentruber Studia logica 100 (5), 1001-1045, 2012 | 19 | 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 | 18 | 2014 |
| Kripke’s worlds: An introduction to modal logics via tableaux O Gasquet, A Herzig, B Said, F Schwarzentruber Springer Science & Business Media, 2013 | 18 | 2013 |
| Coalition games over Kripke semantics: expressiveness and complexity P Balbiani, O Gasquet, A Herzig, F Schwarzentruber, N Troquard Festschrift in Honour of Shahid Rahman. College Publications, 2008 | 17 | 2008 |
| Generalized DEL-sequents G Aucher, B Maubert, F Schwarzentruber European Workshop on Logics in Artificial Intelligence, 54-66, 2012 | 16 | 2012 |
| A succinct language for dynamic epistemic logic T Charrier, F Schwarzentruber Proceedings of the 16th Conference on Autonomous Agents and Multiagent …, 2017 | 15 | 2017 |
Andreas HerzigCNRS Research Director, IRIT (CNRS, Univ. Toulouse), TMBI (Univ. Toulouse)Adresse e-mail validée de irit.fr
