Tiago de Lima - Maître de conférences
Coordonnées
- poste 15 80 25
- delima@cril.fr
- http://www.cril.univ-artois.fr/~delima
https://orcid.org/0000-0001-9559-1736
-
- fac
UFR des Sciences Jean Perrin
Rue Jean Souvraz SP 18
62307 Lens Cedex
France
Diplôme(s) en cours ou obtenu(s) en étant au CRIL
- Habilitation à diriger des recherches : Un peu d'Action, de Connaissance, de Croyance et Beaucoup de Logique Modale 2019-12-05
Axe(s) de recherche
- Connaissances
- Contraintes
-
Projet(s) récent(s)
Doctorant(s) actuel(s)
- Alix Goudyme : Modélisation logique de l'intentionnalité dans les jeux épistémiques
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 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.
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.
Éditions d'actes de conférences
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 2017.
Ancien(s) doctorant(s)
- 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
-
Projet(s) ancien(s)
- Projet joint CNRS et FACEPE (Brésil) 2017-2019
- Projet LoRMAE 2013-2015