关注
Faustine Maffre
Faustine Maffre
IRIT, University of Toulouse
没有经过验证的电子邮件地址
标题
引用次数
引用次数
年份
A simple account of multi-agent epistemic planning
MC Cooper, A Herzig, F Maffre, F Maris, P Régnier
ECAI 2016, 193-201, 2016
532016
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
382016
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
262021
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
242017
Simple epistemic planning: generalised gossiping
MC Cooper, A Herzig, F Maffre, F Maris, P Régnier
ECAI 2016, 1563-1564, 2016
212016
The epistemic gossip problem
MC Cooper, A Herzig, F Maffre, F Maris, P Régnier
Discrete Mathematics 342 (3), 654-663, 2019
202019
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
132016
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
42019
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
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
系统目前无法执行此操作,请稍后再试。
文章 1–19