- 1
- 1
- 1
MC
Madalina Croitoru
3
Documents
Identifiants chercheurs
- madalina-croitoru
- IdRef : 175044694
- 0000-0001-5456-7684
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
- 2
- 2
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 1
- 2
- 1
|
Testing Logical Diagrams in Power Plants: A Tale of LTL Model CheckingFMICS 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
|
|
A graph based semantics for Logical Functional Diagrams in power plant controllersFoIKS 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
|
|
A graph based semantics for Logical Functional DiagramsFoundations 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
|