Publications

Articles de revues internationales

2013 Sébastien Magnier, Tiago de Lima, A soundness & Completeness Proof on Dialogs and Dynamic Epistemic Logic in Logique et Analyse,pp. 24, 2013.

2011 Hans Van-Ditmarsch, Andreas Herzig, Tiago de Lima, From situation calculus to dynamic epistemic logic in Journal of Logic and Computation,vol. 21, n° 2, pp. 179-204, 2011.

Articles de conférences internationales

2021 Nathalie Chetcuti-Sperandio, Alix Goudyme, Tiago de Lima, Sylvain Lagrue, Checking Agent Intentions in Games in 33rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2021),IEEE, pp. 815-822, 2021.

2020 Nathalie Chetcuti-Sperandio, Alix Goudyme, Sylvain Lagrue, Tiago de Lima, First Steps for Determining Agent Intention in Dynamic Epistemic Logic in 12th International Conference on Agents and Artificial Intelligence (ICAART 2020),SCITEPRESS - Science and Technology Publications, pp. 725-733, 2020.

2019 Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail, Une approche SAT sensible à la mémoire pour les logiques modales PSPACE in JIAF 2019 - 13es Journées de l'Intelligence Artificielle Fondamentale,2019.

2018 Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail, A SAT-Based Approach For PSPACE Modal Logics in Principles of Knowledge Representation and Reasoning: Sixteenth International Conference,2018.

2018 Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail, An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem in Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018,pp. 1-18, 2018.

2017 Thomas Caridroit, Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail, A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem in Thirty-First AAAI Conference on Artificial Intelligence,2017.

2017 Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail, A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem in Twenty-Sixth International Joint Conference on Artificial Intelligence,International Joint Conferences on Artificial Intelligence Organization, pp. 674-680, 2017.

2016 Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail, On Checking Kripke Models for Modal Logic K in Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016.,2016.

2012 Andreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard, A computationally grounded dynamic logic of agency, with application to legal actions in 11h International Conference on Deontic Logic in Computer Science (DEON 2012),Springer, vol. 7393, pp. 170-183, 2012.

2011 Tiago de Lima, Alternating-time temporal announcement logic in Compuational Logic in Multi-Agent Systems (CLIMA XII),Springer, vol. 6814, pp. 105-121, 2011.

2010 Tiago de Lima, Lambèr Royakkers, Frank Dignum, Modeling the problem of many hands in organisations in 19th European Conference on Artificial Intelligence (ECAI'10),pp. 79-84, 2010.

2008 Tiago de Lima, Lambèr Royakkers, Frank Dignum, Towards a Formalization of Responsibility in 3rd International Workshop on Normative Multiagent Systems(NoRMAS'08),pp. 66--79, 2008.

Articles de conférences nationales

2019 Alix Goudyme, Nathalie Chetcuti-Sperandio, Sylvain Lagrue, Tiago de Lima, Intention et logique épistémique dynamique in Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA 2019),pp. 1-9, 2019.

2017 Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail, Un raccourci récursif pour CEGAR : Application au problème de satisfiabilité en logique modale K in 11e Journées d'Intelligence Artificielle Fondamentale,2017.

2016 Valentin Montmirail, Daniel Le Berre, Tiago de Lima, Jean-Marie Lagniez, A propos de la vérification de modèles en logique modale K in 10es Journées d’Intelligence Artificielle Fondamentale (IAF 2016),2016.