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.