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

Lifo > Current events - Sabine Fritella HDR defence

Site en Français



Contact

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



Sabine Fritella HDR defence

Title : 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.