Follow
Faustine Maffre
Faustine Maffre
IRIT, University of Toulouse
No verified email
Title
Cited by
Cited by
Year
A Simple Account of Multi-Agent Epistemic Planning.
MC Cooper, A Herzig, F Maffre, F Maris, P Régnier
ECAI, 193-201, 2016
512016
How to share knowledge by gossiping
A Herzig, F Maffre
AI Communications 30 (1), 1-17, 2017
452017
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
402015
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
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
242021
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
212017
Simple epistemic planning: generalised gossiping
MC Cooper, A Herzig, F Maffre, F Maris, P Régnier
arXiv preprint arXiv:1606.03244, 2016
212016
The epistemic gossip problem
MC Cooper, A Herzig, F Maffre, F Maris, P Régnier
Discrete Mathematics 342 (3), 654-663, 2019
192019
Epistemic boolean games based on a logic of visibility and control
A Herzig, E Lorini, F Maffre, F Schwarzentruber
AAAI Press, 2016
142016
Ignorance is bliss: observability-based dynamic epistemic logics and their applications
F Maffre
Université Paul Sabatier-Toulouse III, 2016
102016
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
92018
Alternating-time temporal logic with explicit programs
A Herzig, E Lorini, F Maffre, D Walther
Proceedings of LAMAS, 2014
52014
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
22019
Le bonheur est dans l'ignorance: logiques épistémiques dynamiques basées sur l'observabilité et leurs applications
F Maffre
Toulouse 3, 2016
12016
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
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
Une logique épistémique modeste basée sur les observations d’ordre supérieur
A Herzig, E Lorini, F Maffre
The system can't perform the operation now. Try again later.
Articles 1–19