Documents de cours

• Logique symbolique pour l'IA (en anglais) Préparé dans le cadre du FAIP - Fundamentals of AI Programme, TUDelft, Delft, Pays-Bas.
• TD du cours ci-dessus avec sa correction
• Logique symbolique pour l'IA (en français) Version traduite, étendue, et illustrée du cours ci-dessus.
• Introduction à la logique pour la représentation des connaissances et raisonnement (logique propositionnelle, logique du premier ordre, et logiques de description), avec un polycopié d'exercices (à venir) ainsi qu'une feuille de commandes LaTeX. 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.

Thèse

• Sur les systèmes de formes normales pour représenter efficacement des fonctions multi-valuées
• Les diapositives de la soutenance (15 décembre 2020).

Publications choisies

• Couceiro, Miguel, Erkko Lehtonen, Pierre Mercuriali, and Romain Péchoux. "On the efficiency of normal form systems for representing Boolean functions." Theoretical Computer Science 813 (2020): 341-361.
• Miguel Couceiro, Pierre Mercuriali, Romain Péchoux, Abdallah Saffidine. On the complexity of minimizing median normal forms of monotone Boolean functions and lattice polynomials. Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing, In press, 33 (3), pp.197-218. ⟨hal-01905491⟩
• M. Couceiro, P. Mercuriali, R. Péchoux and A. Saffidine, "Median Based Calculus for Lattice Polynomials and Monotone Boolean Functions," 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL), 2017, pp. 37-42, doi: 10.1109/ISMVL.2017.18.

Divers

• Poster créé pour la conférence ESHE 2022 (European Society for the study of Human Evolution), sur les travaux effectués dans le cadre du projet ROCA.