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 |