Publications

International journals

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.

2008 Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomoshiro Hoshi, Tiago de Lima, Arbitrary announcement logic (abstract) in The Bulletin of Symbolic Logic,vol. 14, n° 3, pp. 438-439, 2008.

International conferences

2021 Knowledge 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 Knowledge 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.

2018 Constraints 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 Constraints 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 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.

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.

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.

2012 Andreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard, Trois traditions en logiques d'action: vers une unification in 6èmes Journées de l'Intelligence Artificielle Fondamentale (JIAF 2012),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 Emiliano Lorini, Hans van Ditmarsch, Tiago de Lima, A Logical Model of Intention and Plan Dynamics in 19th European Conference on Artificial Intelligence (ECAI 2010),IOS Press, pp. 1075-1076, 2010.

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.

2008 Andreas Herzig, Tiago de Lima, Emiliano Lorini, What do we accept after an announcement? in Prague International Colloquium "Logic of change, change of logic" (LoCCoL 2008),2008.

National conferences

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.

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.

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.

Book and proceedings editions

2019 Caroline Chanel, Tiago de Lima, Sylvie Doutre, Amal Elfallah-Seghrouchni, Frederick Garcia, Nathalie Hernandez, Jérôme Lang, Maxime Lefrançois, Juliette Mattioli, Emmanuel Rachelson, Olivier Simonin, Pierre Zweigenbaum, Yves Demazeau, Dominique Longin, Conférence Nationale d'Intelligence Artificielle Année 2019 Association Française d'Intelligence Artificielle, 2019.

2017 Sandra Bringay, Catherine Garbay, Matthieu Geist, Tiago de Lima, Catherine Roussey, Christian de Sainte Marie, Bruno Zanuttini, Carole Adam, Yves Demazeau, Conférence Nationale d’Intelligence Artificielle Année 2017 Association Française pour l'Intelligence Artificielle, 2017.

Book chapters

2013 Andreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard, Three traditions in the logic of action: bringing them together in Krister Segerberg on Logic of Action,vol. 1, pp. 61-84, Springer, 2013.