| Document |
Description |
Date |
 |
Une photographie de mon visage. |
2023, janvier |
mercuriali.pierre@gmail.com |
Mon adresse e-mail personnelle. |
2010+ |
pierre.mercuriali@inria.fr |
Mon adresse e-mail académique. |
2023, janvier |
pierre.mercuriali@univ-lorraine.fr |
Mon adresse e-mail universitaire. |
2023, janvier |
| CV_analytique.pdf |
Mon curriculum vitae détaillé. |
2024, mars |
| CV_une page.pdf |
Mon curriculum vitae en une page. |
2024, mars |
| CV_one page.pdf |
Mon CV in one page (in English!). |
March 2024 |
| Document |
Description |
Date |
| Lien HAL |
IA symbolique : Une douce introduction à la logique propositionnelle pour l'intelligence artificielle. Contient un Lexique bilingue d'IA symbolique (anglais, français). |
2023, début |
| Cours,
exercices (à venir),
feuille de commandes LaTeX. |
Introduction à la logique pour la représentation des connaissances et raisonnement (en anglais), préparé dans le cadre du cours RO47014: Knowledge Representation and Symbolic Reasoning, TUDelft, Delft, Pays-Bas. Un grand merci aux membres de l'équipe
KAS,
dirigée par Carlos Hernandez Corbato,
pour leur aide précieuse durant l'élaboration de ces documents. |
2022 |
| Cours, exercices, exercices avec correction, vidéos de cours : Introduction,
What are symbols?,
Why use symbols?,
How to build propositionl logic formulas?,
Interpretation(s) and truth(s),
Limits of PL; other logics. |
Logique symbolique pour l'IA (en anglais), préparé dans le cadre du FAIP - Fundamentals of AI Programme, TUDelft, Delft, Pays-Bas. |
2022 |
