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 | 39 | 2016 |
Arbitrary public announcement logic with mental programs. T Charrier, F Schwarzentruber AAMAS 15, 1471-1479, 2015 | 38 | 2015 |
DEL-based epistemic planning: Decidability and complexity T Bolander, T Charrier, S Pinchinat, F Schwarzentruber Artificial Intelligence 287, 103304, 2020 | 30 | 2020 |
On the Impact of Modal Depth in Epistemic Planning. T Charrier, B Maubert, F Schwarzentruber IJCAI, 1030-1036, 2016 | 30 | 2016 |
A succinct language for dynamic epistemic logic T Charrier, F Schwarzentruber Proceedings of the 16th Conference on Autonomous Agents and Multiagent …, 2017 | 29 | 2017 |
Reachability and coverage planning for connected agents T Charrier, A Queffelec, O Sankur, F Schwarzentruber IJCAI 2019-28th International Joint Conference on Artificial Intelligence, 1-7, 2019 | 14 | 2019 |
Fogoite-(Y), Na3Ca2Y2Ti(Si2O7)2OF3, a Group I TS-block mineral from the Lagoa do Fogo, the Fogo volcano, São Miguel Island, the Azores: Description … F Cámara, E Sokolova, YA Abdu, FC Hawthorne, T Charrier, V Dorcet, ... Mineralogical Magazine 81 (2), 369-381, 2017 | 14 | 2017 |
Complexity of planning for connected agents T Charrier, A Queffelec, O Sankur, F Schwarzentruber Autonomous Agents and Multi-Agent Systems 34, 1-31, 2020 | 8 | 2020 |
Complexity of Dynamic Epistemic Logic with Common Knowledge. T Charrier, F Schwarzentruber, G Bezhanishvili, G D’Agostino, G Metcalfe, ... Advances in Modal Logic 12, 27-31, 2018 | 8 | 2018 |
Symbolic model checking of public announcement protocols T Charrier, S Pinchinat, F Schwarzentruber Journal of Logic and Computation 29 (8), 1211-1249, 2019 | 7 | 2019 |
Model checking against arbitrary public announcement logic: A first-order-logic prover approach for the existential fragment T Charrier, S Pinchinat, F Schwarzentruber Dynamic Logic. New Trends and Applications: First International Workshop …, 2018 | 6 | 2018 |
Fogoite-(Y), IMA 2014-098. CNMNC Newsletter No. 24, April 2015 F Cámara, E Sokolova, YA Abdu, FC Hawthorne, T Charrier, V Dorcet, ... Mineralogical Magazine 79, 247-251, 2015 | 5 | 2015 |
Hintikka's World: Scalable Higher-order Knowledge T Charrier, S Gamblin, A Niveau, F Schwarzentruber IJCAI, 6494-6496, 2019 | 4 | 2019 |
Generating Plans for Cooperative Connected UAVs. F Bodin, T Charrier, A Queffelec, F Schwarzentruber IJCAI, 5811-5813, 2018 | 4 | 2018 |
On the Impact of Modal Depth in Epistemic Planning (Extended version) T Charrier, B Maubert, F Schwarzentruber IRISA, équipe LogicA, 2016 | 2 | 2016 |
Big brother logic: reasoning about agents equipped with surveillance cameras in the plane T Charrier, F Ouchet, F Schwarzentruber Proceedings of the 2014 international conference on Autonomous agents and …, 2014 | 2 | 2014 |
Complexité théorique du raisonnement en logique épistémique dynamique et étude d’une approche symbolique T Charrier Rennes 1, 2018 | 1 | 2018 |
A succinct language for dynamic epistemic logic (long version) T Charrier, F Schwarzentruber Irisa; Ens Rennes, 2017 | 1 | 2017 |
Actes de la conférence CAID 2021 (Conference on Artificial Intelligence for Defense) A Dey, B Costé, É Totel, A Bécue, E Aguas, A Lambert, G Blanc, H Debar, ... | | 2021 |
Actes de la conférence CAID 2020 F de Vieilleville, S May, A Lagrange, A Dupuis, R Ruiloba, FN Mboula, ... CAID 2020-Second Conference on Artificial Intelligence for Defence, 2021 | | 2021 |