A simple account of multi-agent epistemic planning MC Cooper, A Herzig, F Maffre, F Maris, P Régnier ECAI 2016, 193-201, 2016 | 56 | 2016 |
How to share knowledge by gossiping A Herzig, F Maffre AI Communications 30 (1), 1-17, 2017 | 45 | 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 | 40 | 2016 |
A poor man’s epistemic logic based on propositional assignment and higher-order observation A Herzig, E Lorini, F Maffre International Workshop on Logic, Rationality and Interaction, 156-168, 2015 | 40 | 2015 |
A lightweight epistemic logic and its application to planning MC Cooper, A Herzig, F Maffre, F Maris, E Perrotin, P Régnier Artificial Intelligence 298, 103437, 2021 | 27 | 2021 |
A dynamic logic framework for abstract argumentation: adding and removing arguments S Doutre, F Maffre, P McBurney International conference on industrial, engineering and other applications …, 2017 | 26 | 2017 |
Simple epistemic planning: generalised gossiping MC Cooper, A Herzig, F Maffre, F Maris, P Régnier ECAI 2016, 1563-1564, 2016 | 22 | 2016 |
The epistemic gossip problem MC Cooper, A Herzig, F Maffre, F Maris, P Régnier Discrete Mathematics 342 (3), 654-663, 2019 | 20 | 2019 |
Epistemic boolean games based on a logic of visibility and control A Herzig, E Lorini, F Maffre, F Schwarzentruber AAAI Press, 2016 | 14 | 2016 |
Ignorance is bliss: observability-based dynamic epistemic logics and their applications F Maffre Université Paul Sabatier-Toulouse III, 2016 | 13 | 2016 |
Possible worlds semantics based on observation and communication A Herzig, E Lorini, F Maffre Jaakko Hintikka on knowledge and game-theoretical semantics, 339-362, 2018 | 9 | 2018 |
Alternating-time temporal logic with explicit programs A Herzig, E Lorini, F Maffre, D Walther Proceedings of LAMAS, 2014 | 5 | 2014 |
When'knowing whether'is better than'knowing that' M Cooper, A Herzig, F Maffre, F Maris, E Perrotin, P Régnier 13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), 2019 | 4 | 2019 |
Le bonheur est dans l'ignorance: logiques épistémiques dynamiques basées sur l'observabilité et leurs applications F Maffre Toulouse 3, 2016 | 1 | 2016 |
Possible Worlds Semantics Based on Observation and Communication F Maffre, E Lorini, A Herzig | | 2018 |
Planifier grâce au bavardage A Herzig, F Maffre Interstices, 2017 | | 2017 |
Une logique épistémique modeste basée sur les observations d'ordre supérieur (IAF 2015) A Herzig, E Lorini, F Maffre 9es Journées d'Intelligence Artificielle Fondamentale (IAF 2015), 2015 | | 2015 |
Une logique épistémique modeste basée sur les observations d’ordre supérieur A Herzig, E Lorini, F Maffre Le titre d’un article, 2015 | | 2015 |
Alternating-time Temporal Logic with Explicit Programs (LAMAS 2014) A Herzig, E Lorini, F Maffre, D Walther Workshop on Logical Aspects of Multi-Agent Systems@ AAMAS 2014 (LAMAS 2014), 2014 | | 2014 |