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.

2012 Hans van Ditmarsch, Andreas Herzig, Tiago de Lima, Public announcements, public assignments and the complexity of their logic in Journal of Applied Non-Classical Logics,vol. 22, n° 3, pp. 249-273, 2012.

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 Bulletin of Symbolic Logic,vol. 14, n° 3, pp. 438--439, 2008.

International conferences

2024 Knowledge Tiago de Lima, Emiliano Lorini, Model Checking Causality in 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024),International Joint Conferences on Artificial Intelligence Organization, pp. 3324--3332, 2024.

2023 Knowledge Tiago de Lima, Emiliano Lorini, François Schwarzentruber, Base-Based Model Checking for Multi-agent only Believing in 18th European Conference on Logics in Artificial Intelligence (JELIA 2023),Springer Nature Switzerland, vol. 14281, pp. 437-445, 2023.

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, 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.

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.

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, Trois traditions en logiques d'action: vers une unification in 6èmes Journées de l'Intelligence Artificielle Fondamentale (JIAF 2012),2012.

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 Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima, Some truths are best left unsaid in 9th conference on Advances in Modal logic (AiML 2012),College Publications, vol. 9, pp. 36-54, 2012.

2011 Hans Ditmarsch, Tiago de Lima, Emiliano Lorini, Intention change via local assignments in 3rd international Workshop on Language, Methodologies and Development Tools for Multi-Agent Systems (LADS 2010),Springer-Verlag, vol. LNCS 6822, pp. 136-151, 2011.

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.

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.

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.

2008 Andreas Herzig, Tiago de Lima, Emiliano Lorini, What Do We Accept After an Announcement ? (KRAMAS 2008) in 1st International Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008),Springer, vol. 5605, 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.