Stéphane Demri
Directeur de recherche, CNRS
- Présentations récentes
- Transparents et notes de cours
- Cours "Aspects logiques de l'IA" (2023 -- 2024). Cf. la page du cours
ici.
- Cours "Initiation à la recherche: veille scientifique: incertitude / raisonnement temporel en IA" (2023--2024).
Cf. la page du cours
ici.
-
Membre du groupe Theory of structured data
du LIA SINFIN.
-
GDR RADIA: Raisonnement, Apprentissage, et Décision en Intelligence Artificielle
-
Comment soumettre un article au Fundamenta Informaticae
-
Comment soumettre un article à Bulletin of the Section of Logic
-
Second Workshop on Automated Deduction for Separation Logics
(ADSL 2020)
New Orleans, Louisiana, USA, January 20th, 2020.
-
34th AAAI Conference on Artificial Intelligence
(AAAI-20)
New York, NY, USA, February 7-12, 2020.
-
International Joint Conference on Automated Reasoning (IJCAR 2020),
Paris, France, July 2020
-
29th International Joint Conference on Artificial Intelligence
(IJCAI'20), Yokohama, July 2020.
-
13th International Conference on
Advances in Modal Logic (AiML 2020),
Helsinki, Finland, August 2020
-
Highlights of Logic, Games and Automata 2020
(Highlights 2020),
Aachen, Germany, September 14-18, 2020
-
Third International Workshop on Formal Methods in Artificial Intelligence
(FMAI 2021),
April 2021, London, UK
-
28th International Conference on Automated Deduction
(CADE-28),
July 2021, Pittsburgh, USA
-
30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
(Tableaux'21),
Birmingham, UK, September 6-9, 2021
- Clé PGP