Tiago de Lima - Maître de conférences, habilité à diriger des recherches
Coordonnées
- poste 15 80 25
- delima@cril-lab.fr
- http://www.cril.univ-artois.fr/~delima
https://orcid.org/0000-0001-9559-1736
- idHaltiago-de-lima
-
- fac
UFR des Sciences Jean Perrin
Rue Jean Souvraz SP 18
62307 Lens Cedex
France
Diplôme en cours ou obtenu en étant au CRIL
- Habilitation à diriger des recherches : Un peu d'Action, de Connaissance, de Croyance et Beaucoup de Logique Modale 2019-12-05
Axes de recherche
- Connaissances
- Contraintes
-
Projets récents
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.
Anciens doctorants
- Alix Goudyme : Modélisation logique de l'intentionnalité dans les jeux épistémiques soutenue le : 2022-06-16
- Valentin Montmirail : Résolution pratique de la cohérence de formules en logique modale soutenue le : 2018-09-17
- Thomas Caridroit : Changement de croyances et logiques modales soutenue le : 2016-12-13
-
Projets anciens
- Projet joint CNRS et FACEPE (Brésil) 2017-2019
- Projet LoRMAE 2013-2015