Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Actualité - Soutenance HDR de Sabine Fritella (14/12/23)

 English Version


LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37

Soutenance HDR de Sabine Fritella (14/12/23)

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.