Journée commune RTR DIAMS-CaSciModOT
(39e journée du projet CaSciModOT)

le 18 décembre 2023
au Centre International Universitaire pour la Recherche, hôtel Dupanloup
(1 rue Dupanloup - 45000 Orléans)

Le RTR DIAMS et CaSciModOT s'associent pour proposer une journée scientifique le 18 décembre 2023 à l'hôtel Dupanloup. Cette journée qui clôture le RTR Diams sera centrée sur l'IA et ses applications.

La pause repas sur place sera l'occasion d'une session Posters Diams/CaSciModOT. Nous vous invitons à participer à cette session pour présenter vos travaux en nous envoyant au préalable le titre de votre poster

15/12/23 - 14:00 - Maël Dumas : Modification de graphes : approches paramétrée et exponentielle

13/12/23 - 14:00 - Olivier Gracianne : Détection d'événements cibles d'actualité à travers les signaux faibles dans des tweets

08/12/23 - 14:00 - Aurélien Emmanuel : Courbes d'accumulations de machines à signaux

https://comemov.github.io/jobs.html

Titre : Non-classical logics & reasoning about uncertainty

Résumé :

This ``HDR, habilitation à diriger des recherches'' covers my research on knowledge representation and reasoning with uncertainty spanning various types of information, from crisp to probabilistic and contradictory data. I will first discuss my research axes: (1) Epistemic modal logics, where I focuses my research on Dynamic Epistemic Logic and epistemic modal logic for categorisation theory, and (2) Paraconsistent and paracomplete logics, where I focuses my research on two-layered logics for reasoning based on incomplete and contradictory information and paraconsistent Gödel modal logics. Then I will present in more details my work on reasoning with belief functions over Belnap Dunn logic and future lines of research.