Accéder directement au contenu
MC

Madalina Croitoru

3
Documents
Identifiants chercheurs

Présentation

My research focuses on graph-based knowledge representation and reasoning with a focus on symbolic reasoning in presnce of conflict. I am currently interested in reasoning with inconsistent or incoherent existential rules knowledge bases using various techniques (defeasible reasoning, argumentation, inconsistency tolerant semantics). I am a full professor at the [University of Montpellier](https://sciences.edu.umontpellier.fr/) and member of the [INRIA GraphIK](https://team.inria.fr/graphik/) team. My email is mysurname@lirmm.fr. My postal address is: INRIA Bt 5, CC05 017, Univ. Montpellier, 860 Rue Saint Priest, 34095 Montpellier, France.

Publications

aziz-sfar
Image document

Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking

Aziz Sfar , David Carral , Dina Irofti , Madalina Croitoru
FMICS 2023 - Formal Methods for Industrial Critical Systems, Sep 2023, Antwerp, Netherlands. pp.189-204, ⟨10.1007/978-3-031-43681-9_11⟩
Communication dans un congrès lirmm-04214807v1
Image document

A graph based semantics for Logical Functional Diagrams in power plant controllers

Mohamed Aziz Sfar Gandoura , Dina Irofti , Madalina Croitoru
FoIKS 2022 - 12th International Symposium on Foundations of Information and Knowledge Systems, Jun 2022, Helsinki, Finland. pp.55-74, ⟨10.1007/978-3-031-11321-5_4⟩
Communication dans un congrès lirmm-03822964v1
Image document

A graph based semantics for Logical Functional Diagrams

Aziz Sfar , Dina Irofti , Madalina Croitoru
Foundations of Information and Knowledge Systems, Springer International Publishing, pp.55-74, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-11321-5_4⟩
Chapitre d'ouvrage hal-03870015v1