- 7
- 5
MC
Madalina Croitoru
12
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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 12
- 12
- 3
- 1
- 12
- 1
- 2
- 3
- 4
- 3
- 2
- 2
- 1
- 2
|
Formalizing Cognitive Acceptance of Arguments: Durum Wheat Selection Interdisciplinary StudyMinds and Machines, 2017, 27 (1), pp.233-252. ⟨10.1007/s11023-017-9424-7⟩
Article dans une revue
lirmm-01590035v1
|
|
A formalism unifying Defeasible Logics and Repair Semantics for existential rulesICCS 2020 - 25th International Conference on Conceptual Structures, Sep 2020, Bolzano / Virtual, Italy. pp.3-17, ⟨10.1007/978-3-030-57855-8_1⟩
Communication dans un congrès
lirmm-03037374v1
|
|
DAMN: Defeasible Reasoning Tool for Multi-Agent ReasoningAAAI 2020 - 34th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, Feb 2020, New York, United States. pp.13612-13613, ⟨10.1609/aaai.v34i09.7093⟩
Communication dans un congrès
lirmm-02393877v1
|
|
A First Order Logic Benchmark for Defeasible Reasoning Tool ProfilingRuleML+RR, Sep 2018, Luxembourg, Luxembourg. pp.81-97, ⟨10.1007/978-3-319-99906-7_6⟩
Communication dans un congrès
lirmm-01894747v1
|
|
On a Flexible Representation for Defeasible Reasoning VariantsAAMAS 2018 - 17th International Conference on Autonomous Agents and MultiAgent Systems, Jul 2018, Stockholm, Sweden. pp.1123-1131, ⟨10.5555/3237383.3237863⟩
Communication dans un congrès
lirmm-01894742v1
|
|
Demonstrating a benchmark for defeasible reasoningCOMMA: Conference on Computational Models of Argument, Sep 2018, Warso, Poland. pp.461-462, ⟨10.3233/978-1-61499-906-5-461⟩
Communication dans un congrès
lirmm-01894744v1
|
|
Argumentation-Based Defeasible Reasoning For Existential RulesAAMAS: Autonomous Agents and MultiAgent Systems, May 2017, Sao Paulo, Brazil. pp.1568-1569
Communication dans un congrès
lirmm-01520171v1
|
|
On the Chase for All Provenance Paths With Existential RulesRuleML+RR, Jul 2017, London, United Kingdom. pp.135-150, ⟨10.1007/978-3-319-61252-2_10⟩
Communication dans un congrès
lirmm-01520172v1
|
|
Substantive irrationality in cognitive systems22th European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, La Haye, Netherlands. pp.1642-1643, ⟨10.3233/978-1-61499-672-9-1642⟩
Communication dans un congrès
lirmm-01344696v1
|
|
Towards an Understanding of Human Persuasion and Biases in Argumentation (CAF 2016)Cardiff Argumentation Forum (CAF 2016), Federico Cerutti (School of Computer Science & Informatis at Cardiff University); Francesca Toni (Department of Computing at Imperial College London), Jul 2016, Cardiff, United Kingdom
Communication dans un congrès
hal-03155070v1
|
Extending GWAPs for Building Profile Aware Associative Networks22nd International Conferences on Conceptual Structures (ICCS 2016), Jul 2016, Annecy, France. pp.43-58, ⟨10.1007/978-3-319-40985-6_4⟩
Communication dans un congrès
lirmm-01328671v1
|
On the Chase for All Provenance Paths with Existential RulesRules and Reasoning, 10364, Editions Springer, 2017, Lecture Notes in Computer Science, 978-3-319-61251-5. ⟨10.1007/978-3-319-61252-2_10⟩
Chapitre d'ouvrage
hal-01606503v1
|