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.