- 15
- 1
MC
Madalina Croitoru
16
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
- 4
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 16
- 7
- 5
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 16
- 1
- 1
- 3
- 7
- 3
- 3
- 7
- 3
- 3
- 1
- 2
|
|
Explanatory dialogues with argumentative faculties over inconsistent knowledge basesExpert Systems with Applications, 2017, 80, pp.244-262. ⟨10.1016/j.eswa.2017.03.009⟩
Article dans une revue
lirmm-01596665v1
|
|
|
Logic-based argumentation with existential rulesInternational Journal of Approximate Reasoning, 2017, 90, pp.76-106. ⟨10.1016/j.ijar.2017.07.004⟩
Article dans une revue
lirmm-01596666v1
|
|
|
An empirical evaluation of argumentation in explaining inconsistency tolerant query answeringDL: Description Logics, Jul 2017, Montpellier, France
Communication dans un congrès
lirmm-01586155v1
|
Explanation Dialogues on Erroneous SameAs Using Argumentation TheoryICCS 2016 - 22nd International Conference on Conceptual Structures, Jul 2016, Annecy, France. pp.52-65
Communication dans un congrès
lirmm-01328668v1
|
|
|
|
DALEK: a Tool for Dialectical Explanations in Inconsistent Knowledge BasesCOMMA 2016 - 6th International Conference on Computational Models of Argument, Sep 2016, Potsdam, Germany. pp.461-462, ⟨10.3233/978-1-61499-686-6-461⟩
Communication dans un congrès
lirmm-01337019v1
|
|
|
Dialectical Characterization of Consistent Query Explanation with Existential RulesFLAIRS 2016 - 29th International Florida Artificial Intelligence Research Society Conference, May 2016, Key Largo, United States. pp.621-625
Communication dans un congrès
lirmm-01328679v1
|
|
|
On the Explanation of SameAs Statements using ArgumentationSUM 2016 - 10th International Conference on Scalable Uncertainty Management, Sep 2016, Nice, France. pp.51-66, ⟨10.1007/978-3-319-45856-4_4⟩
Communication dans un congrès
lirmm-01337012v1
|
|
|
Explanation Dialogues in the Service of Durum Wheat Sustainability ImprovementIC 2016 - 4ième édition Atelier IN-OVIVE, Jun 2016, Montpellier, France
Communication dans un congrès
lirmm-03172920v1
|
|
|
A Datalog+/-Domain-Specific Durum Wheat Knowledge BaseMTSR: Metadata and Semantics Research, Nov 2016, Göttingen, Germany. pp.132-143, ⟨10.1007/978-3-319-49157-8_11⟩
Communication dans un congrès
lirmm-01399096v1
|
|
|
A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-based Argumentation FrameworksECAI 2016 - 22nd European Conference on Artificial Intelligence, Aug 2016, The Hague, Netherlands. pp.55-63, ⟨10.3233/978-1-61499-672-9-55⟩
Communication dans un congrès
lirmm-01333368v1
|
|
|
Query Answering Explanation in Inconsistent Datalog+/- Knowledge BasesDEXA 2015 - 26th International Conference on Database and Expert Systems Applications, Sep 2015, Valence, Spain. pp.203-219, 2015, ⟨10.1007/978-3-319-22849-5_15⟩
Communication dans un congrès
lirmm-01164702v1
|
|
|
Formalizing Explanatory DialoguesSUM 2015 - 9th Scalable International Conference on Scalable Uncertainty Management, Sep 2015, Quebec City, Canada. pp.282-297, ⟨10.1007/978-3-319-23540-0_19⟩
Communication dans un congrès
lirmm-01164705v1
|
|
|
Investigating the Mapping between Default Logic and Inconsistency-Tolerant SemanticsICAISC 2015 - 14th International Conference on Artificial Intelligence and Soft Computing, Jun 2015, Zakopane, Poland. pp.554-564, ⟨10.1007/978-3-319-19369-4_49⟩
Communication dans un congrès
lirmm-01164696v1
|
|
|
On Conceptual Graphs and Explanation of Query Answering Under InconsistencyICCS 2014 - 21st International Conference on Conceptual Structures, Jul 2014, Iaşi, Romania. pp.51-64, ⟨10.1007/978-3-319-08389-6_6⟩
Communication dans un congrès
lirmm-03846400v1
|
|
|
Query Failure Explanation in Inconsistent Knowledge Bases: A Dialogical ApproachSGAI 2014 - 34th International Conference on Innovative Techniques and Applications of Artificial Intelligence, Dec 2014, Cambridge, United Kingdom. pp.119-133, ⟨10.1007/978-3-319-12069-0_8⟩
Communication dans un congrès
lirmm-01091082v1
|
|
|
Query Failure Explanation in Inconsistent Knowledge Bases Using ArgumentationCOMMA 2014 - 5th International Conference on Computational Models of Argument, Sep 2014, Scottish Highlands, Pitlochry, United Kingdom. pp.101-108, ⟨10.3233/978-1-61499-436-7-101⟩
Communication dans un congrès
hal-01089146v1
|