Accéder directement au contenu
MC

Madalina Croitoru

139
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

Image document

A Decision-Making approach where Argumentation added value tackles Social Choice deficiencies

Pierre Bisquert , Madalina Croitoru , Christos Kaklamanis , Nikos Karanikolas
Progress in Artificial Intelligence, 2019, 8 (2), pp.229-239. ⟨10.1007/s13748-019-00173-3⟩
Article dans une revue lirmm-02180318v1
Image document

Choice of environment-friendly food packagings through argumentation systems and preferences

Bruno Yun , Pierre Bisquert , Patrice Buche , Madalina Croitoru , Jean Guillard
Ecological Informatics, 2018, 48, pp.24-36. ⟨10.1016/j.ecoinf.2018.07.006⟩
Article dans une revue lirmm-01892712v1
Image document

Consumer perception data and scientific arguments about food packaging functionalities for fresh strawberries

Bruno Yun , Patrice Buche , Pierre Bisquert , Sandrine Costa , Madalina Croitoru
Data in Brief, 2018, 20 (October), pp.1924-1927. ⟨10.1016/j.dib.2018.09.034⟩
Article dans une revue hal-01889268v1
Image document

Formalizing Cognitive Acceptance of Arguments: Durum Wheat Selection Interdisciplinary Study

Pierre Bisquert , Madalina Croitoru , Florence Dupin de Saint-Cyr , Abdelraouf Hecham
Minds and Machines, 2017, 27 (1), pp.233-252. ⟨10.1007/s11023-017-9424-7⟩
Article dans une revue lirmm-01590035v1
Image document

Explanatory dialogues with argumentative faculties over inconsistent knowledge bases

Abdallah Arioua , Patrice Buche , Madalina Croitoru
Expert Systems with Applications, 2017, 80, pp.244-262. ⟨10.1016/j.eswa.2017.03.009⟩
Article dans une revue lirmm-01596665v1
Image document

Logic-based argumentation with existential rules

Abdallah Arioua , Madalina Croitoru , Srdjan Vesic
International Journal of Approximate Reasoning, 2017, 90, pp.76-106. ⟨10.1016/j.ijar.2017.07.004⟩
Article dans une revue lirmm-01596666v1
Image document

Decision Support for Agri-Food Chains: A Reverse Engineering Argumentation-Based Approach

Rallou Thomopoulos , Madalina Croitoru , Nouredine Tamani
Ecological Informatics, 2015, 26, pp.182-191. ⟨10.1016/j.ecoinf.2014.05.010⟩
Article dans une revue lirmm-01242932v1
Image document

A Decision Support System to design modified atmosphere packaging for fresh produce based on a bipolar flexible querying approach

Valérie Guillard , Patrice Buche , Sébastien Destercke , Nouredine Tamani , Madalina Croitoru
Computers and Electronics in Agriculture, 2015, 111, pp.131-139. ⟨10.1016/j.compag.2014.12.010⟩
Article dans une revue hal-01104835v1
Image document

An argumentation system for eco-efficient packaging material selection

Nouredine Tamani , Patricio Mosse , Madalina Croitoru , Patrice Buche , Valérie Guillard
Computers and Electronics in Agriculture, 2015, 113, pp.174-192. ⟨10.1016/j.compag.2015.02.012⟩
Article dans une revue lirmm-01160802v1
Image document

Argumentation et négociation pour le choix d'emballages alimentaires biodégradables

Patrice Buche , Madalina Croitoru , Jérôme Fortin , Patricio Mosse , Nouredine Tamani
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2013, 27 (4/5), pp.515-537. ⟨10.3166/ria.27.515-537⟩
Article dans une revue lirmm-00830429v1
Image document

Aide à la décision en ingénierie inverse : une approche s'appuyant sur l'argumentation

Rallou Thomopoulos , Madalina Croitoru
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2013, 27 (4-5), pp.493-513. ⟨10.3166/ria.27.493-513⟩
Article dans une revue lirmm-00835197v1
Image document

Visual reasoning with graph-based mechanisms: the good, the better and the best

Michel Chein , Marie-Laure Mugnier , Madalina Croitoru
Knowledge Engineering Review, 2013, 28 (Special Issue 3), pp.249-271. ⟨10.1017/S0269888913000234⟩
Article dans une revue lirmm-00856811v1
Image document

Graphical norms via conceptual graphs

Madalina Croitoru , Oren Nir , Miles Simon , Luck Michael
Knowledge-Based Systems, 2012, 29, pp.31-43. ⟨10.1016/j.knosys.2011.06.025⟩
Article dans une revue lirmm-00763678v1

A Knowledge-Rich Distributed Decision Support Framework: A Case Study for Brain Tumour Diagnosis

David Dupplaw , Madalina Croitoru , Srinandan Dasmahapatra , Alex Gibbs , Horacio Gonzales-Velez
Knowledge Engineering Review, 2011, 26 (3), pp.247-260. ⟨10.1017/S0269888911000105⟩
Article dans une revue lirmm-00618606v1
Image document

The Design and Implementation of a Novel Security Model for HealthAgents

Liang Xiao , Srinandan Dasmahapatra , Paul Lewis , Bo Hu , Andrew Peet
Knowledge Engineering Review, 2011, 26 (3), pp.261-282. ⟨10.1017/S0269888911000117⟩
Article dans une revue lirmm-00618611v1
Image document

The HealthAgents ontology: Knowledge representation in a distributed decision support system for brain tumours

Bo Hu , Madalina Croitoru , Roman Roset , David Dupplaw , Miguel Lurgi
Knowledge Engineering Review, 2011, 26 (3), pp.303-328. ⟨10.1017/S0269888911000130⟩
Article dans une revue lirmm-00410648v1

A knowledgeable security model for distributed health information systems

Liang Xiao , Bo Hu , Madalina Croitoru , Paul Lewis , Srinandan Dasmahapatra
Computers and Security, 2010, 29 (4), pp.331-349. ⟨10.1016/j.cose.2009.08.002⟩
Article dans une revue lirmm-00538410v1
Image document

Dance, Dance, Dance With My Hands: Third-Party Human Robot-Human Interactions

Sorina-Silvia Cîrcu , Bruno Yun , Abderrahmane Kheddar , Chu-Yin Chen , Madalina Croitoru
RO-MAN 2023 - 32nd IEEE International Conference on Robot and Human Interactive Communication, Aug 2023, Busan, South Korea. pp.1997-2002, ⟨10.1109/RO-MAN57019.2023.10309353⟩
Communication dans un congrès hal-04317927v1
Image document

A Knowledge Rich Task Planning Framework for Human-Robot Collaboration

Shashank Shekhar , Anthony Favier , Rachid Alami , Madalina Croitoru
AI 2023 - 43rd SGAI International Conference on Artificial Intelligence, Dec 2023, Cambridge, United Kingdom. pp.259-265, ⟨10.1007/978-3-031-47994-6_25⟩
Communication dans un congrès hal-04385641v1
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

Scrutable Robot Actions Using a Hierarchical Ontological Model

Martin Jedwabny , Pierre Bisquert , Madalina Croitoru
ICCS 2022 - 27th International Conference on Conceptual Structures, Sep 2022, Münster, Germany. pp.11-24, ⟨10.1007/978-3-031-16663-1_2⟩
Communication dans un congrès hal-03808914v1
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

Generating preferred plans with ethical features

Martin Jedwabny , Pierre Bisquert , Madalina Croitoru
FLAIRS-34: Neural Networks and Data Mining, May 2021, Florida, United States. ⟨10.32473/flairs.v34i1.128492⟩
Communication dans un congrès hal-03337097v1
Image document

Probabilistic rule induction for transparent CBR under uncertainty

Martin Jedwabny , Pierre Bisquert , Madalina Croitoru
AI 2021 - 41st BCS SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Dec 2021, Cambridge, United Kingdom. pp.117-130, ⟨10.1007/978-3-030-91100-3_9⟩
Communication dans un congrès hal-03337243v1
Image document

Ranking Semantics for Argumentation Systems With Necessities

Dragan Doder , Srdjan Vesic , Madalina Croitoru
IJCAI 2020 - 29th International Joint Conference on Artificial Intelligence, Jan 2021, Yokohama / Virtual, Japan. pp.1912-1918, ⟨10.24963/ijcai.2020/265⟩
Communication dans un congrès hal-03002056v1
Image document

Assessing the Impact of Agents in Weighted Bipolar Argumentation Frameworks

Areski Himeur , Bruno Yun , Pierre Bisquert , Madalina Croitoru
AI 2021 - 41st BCS SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Dec 2021, Cambridge (virtual), United Kingdom. pp.75-88, ⟨10.1007/978-3-030-91100-3_6⟩
Communication dans un congrès hal-03351536v1
Image document

Explaining ethical planning using ASP

Martin Jedwabny , Pierre Bisquert , Madalina Croitoru
XLoKR 2020 - 1st International Workshop on Explainable Logic-Based Knowledge Representation, Nov 2020, Rhodes, Greece
Communication dans un congrès hal-03337263v1
Image document

Ranking-Based Semantics for Sets of Attacking Arguments

Bruno Yun , Srdjan Vesic , Madalina Croitoru
AAAI 2020 - 34th AAAI Conference on Artificial Intelligence, Feb 2020, New York, United States. pp.3033-3040, ⟨10.1609/aaai.v34i03.5697⟩
Communication dans un congrès lirmm-02374712v1
Image document

A formalism unifying Defeasible Logics and Repair Semantics for existential rules

Abdelraouf Hecham , Pierre Bisquert , Madalina Croitoru
ICCS 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
Image document

Efficient Construction of Structured Argumentation Systems

Bruno Yun , Nir Oren , Madalina Croitoru
COMMA 2020 - 8th International Conference on Computational Models of Argument, Sep 2020, Perugia, Italy. pp.411-418, ⟨10.3233/FAIA200525⟩
Communication dans un congrès hal-03034538v1
Image document

DAMN: Defeasible Reasoning Tool for Multi-Agent Reasoning

Abdelraouf Hecham , Madalina Croitoru , Pierre Bisquert
AAAI 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
Image document

An Incremental Algorithm for Computing All Repairs in Inconsistent Knowledge Bases

Bruno Yun , Madalina Croitoru
ICCS 2020 - 25th International Conference on Conceptual Structures, Sep 2020, Bolzano / Virtual, Italy. pp.33-47, ⟨10.1007/978-3-030-57855-8_3⟩
Communication dans un congrès lirmm-02613466v1
Image document

Sets of Attacking Arguments for Inconsistent Datalog Knowledge Bases

Bruno Yun , Srdjan Vesic , Madalina Croitoru
COMMA 2020 - 8th International Conference on Computational Models of Argument, Sep 2020, Perugia / Virtual), Italy. pp.419-430, ⟨10.3233/FAIA200526⟩
Communication dans un congrès hal-03002140v1
Image document

Gradual Semantics for Logic-Based Bipolar Graphs Using T-(Co)norms

Martin Jedwabny , Madalina Croitoru , Pierre Bisquert
ECAI 2020 - 24th European Conference on Artificial Intelligence, Aug 2020, Santiago de Compostela (virtual), Spain. pp.777-783, ⟨10.3233/FAIA200166⟩
Communication dans un congrès lirmm-03037284v1
Image document

NAKED: N-Ary Graphs from Knowledge Bases Expressed in Datalog±

Bruno Yun , Madalina Croitoru , Srdjan Vesic , Pierre Bisquert
AAMAS 2019 - 18th International Conference on Autonomous Agents and MultiAgent Systems, May 2019, Montréal, Canada. pp.2390-2392, ⟨10.5555/3306127.3332122⟩
Communication dans un congrès lirmm-02180395v2
Image document

Deliberation Towards Transitivity with Unshared Features

Arthur Boixel , Pierre Bisquert , Madalina Croitoru
PRIMA 2019 - 22nd International Conference on Principles and Practice of Multi-Agent Systems, Oct 2019, Torino, Italy. pp.16, ⟨10.1007/978-3-030-33792-6_1⟩
Communication dans un congrès hal-02388879v1
Image document

PAPOW: Papow Aggregates Preferences and Orderings to select Winners

Martin Jedwabny , Pierre Bisquert , Madalina Croitoru
AAMAS 2019 - 18th International Conference on Autonomous Agents and MultiAgent Systems, May 2019, Montréal, Canada. pp.2363-2365, ⟨10.5555/3306127.3332113⟩
Communication dans un congrès lirmm-02180361v1
Image document

On a Flexible Representation for Defeasible Reasoning Variants

Abdelraouf Hecham , Pierre Bisquert , Madalina Croitoru
AAMAS 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
Image document

Inconsistency Measures for Repair Semantics in OBDA

Bruno Yun , Srdjan Vesic , Madalina Croitoru , Pierre Bisquert
27th International Joint Conference on Artificial Intelligence (IJCAI-ECAI), Jul 2018, Stockholm, Sweden. pp.1977-1983, ⟨10.24963/ijcai.2018/273⟩
Communication dans un congrès lirmm-01892704v1
Image document

How to generate a benchmark of logical argumentation graphs?

Bruno Yun , Madalina Croitoru , Srdjan Vesic
COMMA: Conference on Computational Models of Argument, Sep 2018, Varsovie, Poland. pp.475-476, ⟨10.3233/978-1-61499-906-5-475⟩
Communication dans un congrès lirmm-01892705v1
Image document

Demonstrating a benchmark for defeasible reasoning

Abdelraouf Hecham , Madalina Croitoru , Pierre Bisquert
COMMA: 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
Image document

Viewpoints using ranking-based argumentation semantics

Bruno Yun , Srdjan Vesic , Madalina Croitoru , Pierre Bisquert
COMMA 2018 - 7th International Conference on Computational Models of Argument, Sep 2018, Varsovie, Poland. pp.381-392, ⟨10.3233/978-1-61499-906-5-381⟩
Communication dans un congrès lirmm-01892709v1
Image document

DAGGER: Datalog+/- Argumentation Graph GEneRator

Bruno Yun , Madalina Croitoru , Srdjan Vesic , Pierre Bisquert
AAMAS 2018 - 17th International Conference on Autonomous Agents and MultiAgent Systems, Jul 2018, Stockholm, Sweden. pp.1841-1843, ⟨10.5555/3237383.3237996⟩
Communication dans un congrès lirmm-01892588v1
Image document

Graph Theoretical Properties of Logic Based Argumentation Frameworks

Bruno Yun , Madalina Croitoru , Pierre Bisquert , Srdjan Vesic
AAMAS 2018 - 17th International Conference on Autonomous Agents and MultiAgent Systems, Jul 2018, Stockholm, Sweden. pp.2148-2149, ⟨10.5555/3237383.3238101⟩
Communication dans un congrès lirmm-01892594v1
Image document

Defining argumentation attacks in practice: an experiment in food packaging consumer expectations

Bruno Yun , Rallou Thomopoulos , Pierre Bisquert , Madalina Croitoru
23rd International Conference on Conceptual Structures (ICCS 2018), Jun 2018, Edinburgh, United Kingdom. pp.73-87, ⟨10.1007/978-3-319-91379-7_6⟩
Communication dans un congrès lirmm-01892545v1
Image document

Multi-Criteria Decision Making with Existential Rules using Repair Techniques

Nikos Karanikolas , Madalina Croitoru , Pierre Bisquert , Christos Kaklamanis , Rallou Thomopoulos
AI: Artificial Intelligence, Dec 2018, Cambridge, United Kingdom. pp.177-183, ⟨10.1007/978-3-030-04191-5_15⟩
Communication dans un congrès hal-01977952v1
Image document

A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling

Abdelraouf Hecham , Madalina Croitoru , Pierre Bisquert
RuleML+RR, Sep 2018, Luxembourg, Luxembourg. pp.81-97, ⟨10.1007/978-3-319-99906-7_6⟩
Communication dans un congrès lirmm-01894747v1
Image document

Toward a More Efficient Generation of Structured Argumentation Graphs

Bruno Yun , Srdjan Vesic , Madalina Croitoru
COMMA 2018 - 7th International Conference on Computational Models of Argument, Sep 2018, Varsovie, Poland. pp.205-212, ⟨10.3233/978-1-61499-906-5-205⟩
Communication dans un congrès lirmm-01892707v1
Image document

Argumentation-Based Defeasible Reasoning For Existential Rules

Abdelraouf Hecham , Madalina Croitoru , Pierre Bisquert
AAMAS: Autonomous Agents and MultiAgent Systems, May 2017, Sao Paulo, Brazil. pp.1568-1569
Communication dans un congrès lirmm-01520171v1
Image document

Graph theoretical properties of logic based argumentation frameworks: proofs and general results

Bruno Yun , Madalina Croitoru , Srdjan Vesic , Pierre Bisquert
5th International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR 2017), Revised Selected Papers, Aug 2017, Melbourne, Australia. pp.118-138, ⟨10.1007/978-3-319-78102-0_7⟩
Communication dans un congrès lirmm-01892703v1
Image document

Selection of agro-waste valorisation routes based on a computational social choice and argumentation decision support tool

Pierre Bisquert , Patrice Buche , Madalina Croitoru , Nikos Karanikolas , Rallou Thomopoulos
EFITA WCCA CONGRESS, Jul 2017, Montpellier, France
Communication dans un congrès lirmm-01580598v1
Image document

An empirical evaluation of argumentation in explaining inconsistency tolerant query answering

Abdelraouf Hecham , Abdallah Arioua , Gem Stapleton , Madalina Croitoru
DL: Description Logics, Jul 2017, Montpellier, France
Communication dans un congrès lirmm-01586155v1
Image document

On the Chase for All Provenance Paths With Existential Rules

Abdelraouf Hecham , Pierre Bisquert , Madalina Croitoru
RuleML+RR, Jul 2017, London, United Kingdom. pp.135-150, ⟨10.1007/978-3-319-61252-2_10⟩
Communication dans un congrès lirmm-01520172v1
Image document

A structural benchmark for logical argumentation frameworks

Bruno Yun , Srdjan Vesic , Madalina Croitoru , Pierre Bisquert , Rallou Thomopoulos
IDA: Intelligence Data Analysis, Oct 2017, Londres, United Kingdom. pp.334-346, ⟨10.1007/978-3-319-68765-0_28⟩
Communication dans un congrès lirmm-01668017v1
Image document

Are ranking semantics sensitive to the notion of core?

Bruno Yun , Madalina Croitoru , Pierre Bisquert
AAMAS: Autonomous Agents and MultiAgent Systems, May 2017, Sao Paulo, Brazil. pp.943-951
Communication dans un congrès hal-01605720v2
Image document

Representing Multi-Scale Datalog +/- Using Hierarchical Graphs

Cornelius Croitoru , Madalina Croitoru
ICCS: International Conference on Conceptual Structures, Jul 2016, Annecy, France. pp.59-71, ⟨10.1007/978-3-319-40985-6_5⟩
Communication dans un congrès lirmm-01328673v1

Explanation Dialogues on Erroneous SameAs Using Argumentation Theory

Abdallah Arioua , Madalina Croitoru , Laura Papaleo , Nathalie Pernelle , Swan Rocher
ICCS 2016 - 22nd International Conference on Conceptual Structures, Jul 2016, Annecy, France. pp.52-65
Communication dans un congrès lirmm-01328668v1

On The Use Of Non-Objection Inference In Inconsistent Lightweight Ontologies

Zied Bouraoui , Salem Benferhat , Madalina Croitoru , Odile Papini , Karim Tabia
IJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States
Communication dans un congrès lirmm-01328661v1

A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering

Jean-François Baget , Salem Benferhat , Zied Bouraoui , Madalina Croitoru , Marie-Laure Mugnier
KR: Principles of Knowledge Representation and Reasoning, Apr 2016, Cape Town, South Africa. pp.513-516
Communication dans un congrès lirmm-01328690v1
Image document

Substantive irrationality in cognitive systems

Pierre Bisquert , Madalina Croitoru , Florence Dupin de Saint-Cyr , Abdelraouf Hecham
22th 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
Image document

Non-Objection Inference for Inconsistency-Tolerant Query Answering

Salem Benferhat , Zied Bouraoui , Madalina Croitoru , Odile Papini , Karim Tabia
25th International Joint Conference on Artificial Intelligence (IJCAI 2016), Jul 2016, New York, United States. pp.3684-3690
Communication dans un congrès hal-03299707v1
Image document

DALEK: a Tool for Dialectical Explanations in Inconsistent Knowledge Bases

Abdallah Arioua , Madalina Croitoru , Patrice Buche
COMMA 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
Image document

A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-based Argumentation Frameworks

Abdallah Arioua , Madalina Croitoru
ECAI 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

A Proposal for Modelling Agrifood Chains as Multi Agent Systems

Madalina Croitoru , Patrice Buche , Brigitte Charnomordic , Jérôme Fortin , Hazael Jones
IPMU: Information Processing and Management of Uncertainty, Jun 2016, Eindhoven, Netherlands. pp.498-509, ⟨10.1007/978-3-319-40596-4_42⟩
Communication dans un congrès lirmm-01328678v1

Extending GWAPs for Building Profile Aware Associative Networks

Abdelraouf Hecham , Madalina Croitoru , Pierre Bisquert , Patrice Buche
22nd 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
Image document

Towards an Understanding of Human Persuasion and Biases in Argumentation (CAF 2016)

Pierre Bisquert , Madalina Croitoru , Florence Dupin de Saint-Cyr , Abdelraouf Hecham
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
Image document

Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis

Jean-François Baget , Salem Benferhat , Zied Bouraoui , Madalina Croitoru , Marie-Laure Mugnier
JELIA: Logics in Artificial Intelligence, Nov 2016, Larnaca, Cyprus. pp.64-80, ⟨10.1007/978-3-319-48758-8_5⟩
Communication dans un congrès lirmm-01412864v1
Image document

Dialectical Characterization of Consistent Query Explanation with Existential Rules

Abdallah Arioua , Madalina Croitoru
FLAIRS 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
Image document

On the Explanation of SameAs Statements using Argumentation

Abdallah Arioua , Madalina Croitoru , Laura Papaleo , Nathalie Pernelle , Swan Rocher
SUM 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
Image document

Key Discovery for Numerical Data: Application to Oenological Practices

Danai Symeonidou , Isabelle Sanchez , Madalina Croitoru , Pascal Neveu , Nathalie Pernelle
ICCS: International Conference on Conceptual Structures, Jul 2016, Annecy, France. pp.222-236, ⟨10.1007/978-3-319-40985-6_17⟩
Communication dans un congrès hal-01837440v1
Image document

Arguing About End-of-Life of Packagings: Preferences to the Rescue

Bruno Yun , Pierre Bisquert , Patrice Buche , Madalina Croitoru
MTSR: Metadata and Semantics Research, Nov 2016, Göttingen, Germany. pp.119-131, ⟨10.1007/978-3-319-49157-8_10⟩
Communication dans un congrès lirmm-01401481v1
Image document

A Datalog+/-Domain-Specific Durum Wheat Knowledge Base

Abdallah Arioua , Patrice Buche , Madalina Croitoru
MTSR: 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
Image document

An argumentation workflow for reasoning in Ontology Based Data Access

Bruno Yun , Madalina Croitoru
COMMA: Computational Models of Argument, Sep 2016, Postdam, Germany. pp.61-68, ⟨10.3233/978-1-61499-686-6-61⟩
Communication dans un congrès lirmm-01401316v1
Image document

Explanation Dialogues in the Service of Durum Wheat Sustainability Improvement

Abdallah Arioua , Patrice Buche , Madalina Croitoru
IC 2016 - 4ième édition Atelier IN-OVIVE, Jun 2016, Montpellier, France
Communication dans un congrès lirmm-03172920v1

Towards a dual process cognitive model for argument evaluation

Pierre Bisquert , Madalina Croitoru , Florence Dupin de Saint-Cyr
9th International Conference on Scalable Uncertainty Management (SUM 2015), Sep 2015, Quebec City, Canada. pp.298-313, ⟨10.1007/978-3-319-23540-0_20⟩
Communication dans un congrès lirmm-01164251v1
Image document

Formalizing Explanatory Dialogues

Abdallah Arioua , Madalina Croitoru
SUM 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
Image document

Investigating the Mapping between Default Logic and Inconsistency-Tolerant Semantics

Abdallah Arioua , Nouredine Tamani , Madalina Croitoru , Jérôme Fortin , Patrice Buche
ICAISC 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
Image document

Query Answering Explanation in Inconsistent Datalog+/- Knowledge Bases

Abdallah Arioua , Nouredine Tamani , Madalina Croitoru
DEXA 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
Image document

Information for decision-making is ubiquitous: Revisiting the reverse engineering mode in breadmaking technology

Rallou Thomopoulos , Ahmed Chadli , Madalina Croitoru , Joel Abecassis , Gérard Brochoire
RCIS: Research Challenges in Information Science, May 2015, Athens, Greece. pp.250-261, ⟨10.1109/RCIS.2015.7128886⟩
Communication dans un congrès lirmm-01382351v1
Image document

Four Ways to Evaluate Arguments According to Agent Engagement

Pierre Bisquert , Madalina Croitoru , Florence Dupin de Saint-Cyr
8th International Conference on Brain Informatics and Health (BIH 2015), Aug 2015, London, United Kingdom. pp.445-456, ⟨10.1007/978-3-319-23344-4_43⟩
Communication dans un congrès lirmm-01245121v1
Image document

Introducing Preference-Based Argumentation to Inconsistent Ontological Knowledge Bases

Madalina Croitoru , Rallou Thomopoulos , Srdjan Vesic
PRIMA: Principles and Practice of Multi-Agent Systems, Oct 2015, Bertino, Italy. pp.594-602, ⟨10.1007/978-3-319-25524-8_42⟩
Communication dans un congrès lirmm-01242937v1
Image document

A quantitative preference-based structured argumentation system for decision support

Nouredine Tamani , Madalina Croitoru
FUZZ-IEEE, Jul 2014, Beijing, China. pp.1408-1415, ⟨10.1109/FUZZ-IEEE.2014.6891601⟩
Communication dans un congrès lirmm-01089588v1
Image document

On Conceptual Graphs and Explanation of Query Answering Under Inconsistency

Abdallah Arioua , Nouredine Tamani , Madalina Croitoru
ICCS 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
Image document

Query Failure Explanation in Inconsistent Knowledge Bases Using Argumentation

Abdallah Arioua , Nouredine Tamani , Madalina Croitoru , Patrice Buche
COMMA 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
Image document

A Food Packaging Use Case for Argumentation

Nouredine Tamani , Patricio Mosse , Madalina Croitoru , Patrice Buche , Valérie Guillard
MTSR: Metadata and Semantics Research, Karlsruhe University of Applied Sciences. DEU., Nov 2014, Karlsruhe, Germany. pp.344-358, ⟨10.1007/978-3-319-13674-5_31⟩
Communication dans un congrès lirmm-01089612v1
Image document

Defining Key Semantics for the RDF Datasets: Experiments and Evaluations

Manuel Atencia , Michel Chein , Madalina Croitoru , Jérôme David , Michel Leclère
ICCS: International Conference on Conceptual Structures, Jul 2014, Iasi, Romania. pp.65-78, ⟨10.1007/978-3-319-08389-6_7⟩
Communication dans un congrès lirmm-01090357v1
Image document

Investigating the quality of a bibliographic knowledge base using partitioning semantics

Léa Guizol , Madalina Croitoru
FUZZ: Fuzzy Systems, Jul 2014, Beijing, China. pp.948-955, ⟨10.1109/FUZZ-IEEE.2014.6891541⟩
Communication dans un congrès lirmm-01090451v1
Image document

Définition de la sémantique des clés dans le Web sémantique : un point de vue théorique

Michel Chein , Madalina Croitoru , Michel Leclère , Nathalie Pernelle , Fatiha Saïs
IC: Ingénierie des Connaissances, May 2014, Clermont-Ferrand, France. pp.225-236
Communication dans un congrès hal-01015297v1
Image document

Eco-Efficient Packaging Material Selection for Fresh Produce: Industrial Session

Nouredine Tamani , Patricio Mosse , Madalina Croitoru , Patrice Buche , Valérie V. Guillard
ICCS: International Conference on Conceptual Structures, Jul 2014, Lasi, Romania. pp.305-310, ⟨10.1007/978-3-319-08389-6_27⟩
Communication dans un congrès lirmm-01089599v1
Image document

Update Operators for Inconsistent Query Answering: A New Point of View

Ricardo Rodriguez , Madalina Croitoru
SUM: Scalable Uncertainty Management, Sep 2014, Oxford, United Kingdom. pp.100-105, ⟨10.1007/978-3-319-11508-5_9⟩
Communication dans un congrès lirmm-01088098v1
Image document

Contextual Itemset Mining in DBpedia

Julien Rabatel , Madalina Croitoru , Dino Ienco , Pascal Poncelet
LD4KD: Linked Data for Knowledge Discovery, Sep 2014, Nancy, France. pp.27-36
Communication dans un congrès lirmm-01076887v1
Image document

An Analysis of the SUDOC Bibliographic Knowledge Base from a Link Validity Viewpoint

Léa Guizol , Olivier Rousseaux , Madalina Croitoru , Yann Nicolas , Aline Le Provost
IPMU: Information Processing and Management of Uncertainty, Jul 2014, Montpellier, France. pp.204-213, ⟨10.1007/978-3-319-08855-6_21⟩
Communication dans un congrès lirmm-01090261v1

Fuzzy Argumentation System for Decision Support

Nouredine Tamani , Madalina Croitoru
IPMU: Information Processing and Management of Uncertainty, Jul 2014, Montpellier, France. pp.77-86, ⟨10.1007/978-3-319-08795-5_9⟩
Communication dans un congrès lirmm-01089603v1
Image document

On Ontological Expressivity and Modelling Argumentation Schemes Using COGUI

Wael Hamdan , Rady Khazem , Ghaida Rebdawi , Madalina Croitoru , Alain Gutierrez
Thirty-fourth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, 2014, Cambridge, United Kingdom. pp.5-18, ⟨10.1007/978-3-319-12069-0_1⟩
Communication dans un congrès lirmm-01109928v1
Image document

Enriching queries using argumentation: an industrial application of argumentation

Nouredine Tamani , Patricio Mosse , Madalina Croitoru , Patrice Buche
COMMA: Computational Models of Argument, Sep 2014, Pitlochry, United Kingdom. pp.477-478, ⟨10.3233/978-1-61499-436-7-477⟩
Communication dans un congrès lirmm-01089583v1
Image document

Conflicting viewpoint relational database querying: an argumentation approach

Nouredine Tamani , Madalina Croitoru , Patrice Buche
AAMAS: Autonomous Agents and Multiagent Systems, IFAAMAS/ACM, May 2014, Paris, France. pp.1553-1554
Communication dans un congrès lirmm-01089139v1
Image document

Query Failure Explanation in Inconsistent Knowledge Bases: A Dialogical Approach

Abdallah Arioua , Nouredine Tamani , Madalina Croitoru , Patrice Buche
SGAI 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
Image document

ALASKA for Ontology Based Data Access

Jean-François Baget , Madalina Croitoru , Bruno Paiva Lima da Silva
ESWC: European Semantic Web Conference, May 2013, Montpellier, France. pp.157-161, ⟨10.1007/978-3-642-41242-4_16⟩
Communication dans un congrès lirmm-00936487v1

How Much Should You Pay for Information?

Ioannis Vetsikas , Madalina Croitoru
ICEBE: International Conference on e-Business Engineering, Sep 2013, Coventry, United Kingdom. pp.44-49, ⟨10.1109/ICEBE.2013.7⟩
Communication dans un congrès lirmm-00936483v1
Image document

Coalitional Games via Network Flows

Talal Rahwan , Tri-Dung Nguyen , Tomasz P. Michalak , Maria Polukarov , Madalina Croitoru
IJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. pp.324-331
Communication dans un congrès lirmm-00936484v1

A Viewpoint Approach to Structured Argumentation

Nouredine Tamani , Madalina Croitoru , Patrice Buche
AI: Artificial Intelligence, Dec 2013, Cambridge, United Kingdom. pp.265-271, ⟨10.1007/978-3-319-02621-3_19⟩
Communication dans un congrès lirmm-00936485v1

What Can Argumentation Do for Inconsistent Ontology Query Answering?

Madalina Croitoru , Srdjan Vesic
SUM: Scalable Uncertainty Management, Sep 2013, Washington, DC, United States. pp.15-29, ⟨10.1007/978-3-642-40381-1_2⟩
Communication dans un congrès lirmm-00936486v1
Image document

Aggregation Semantics for Link Validity

Léa Guizol , Madalina Croitoru , Michel Leclère
AI: Artificial Intelligence, Dec 2013, Cambridge, United Kingdom. pp.359-372, ⟨10.1007/978-3-319-02621-3_27⟩
Communication dans un congrès lirmm-00921018v1

On Link Validity in Bibliographic Knowledge Bases

Madalina Croitoru , Léa Guizol , Michel Leclère
IPMU: Information Processing and Management of Uncertainty, Jul 2012, Catania, Italy. pp.380-389, ⟨10.1007/978-3-642-31709-5_39⟩
Communication dans un congrès lirmm-00763664v1

Multi-Agent Knowledge Allocation

Sebastian Rudolph , Madalina Croitoru
AI: Artificial Intelligence, Dec 2012, Cambridge, United Kingdom. pp.165-178, ⟨10.1007/978-1-4471-4739-8_12⟩
Communication dans un congrès lirmm-00763642v1
Image document

Arguing with Preferences in EcoBioCap

Madalina Croitoru , Jérôme Fortin , Oren Nir
COMMA 2012 - 4th International Conference on Computational Models of Argument, Sep 2012, Vienne, Austria. pp.51-58, ⟨10.3233/978-1-61499-111-3-51⟩
Communication dans un congrès lirmm-00763656v1
Image document

Exclusivity-based allocation of knowledge

Madalina Croitoru , Sebastian Rudolph
AAMAS: Autonomous Agents and Multiagent Systems, Jun 2012, Valencia, Spain. pp.1249-1250
Communication dans un congrès lirmm-00763649v1
Image document

A Generic Platform for Ontological Query Answering

Bruno Paiva Lima da Silva , Jean-François Baget , Madalina Croitoru
AI: Artificial Intelligence, Dec 2012, Cambridge, United Kingdom. pp.151-164, ⟨10.1007/978-1-4471-4739-8_11⟩
Communication dans un congrès lirmm-00763634v1
Image document

Ontological Conjunctive Query Answering over Semi-Structured KBs

Bruno Paiva Lima da Silva , Jean-François Baget , Madalina Croitoru
GDM'11: The 2nd International Workshop on Graph Data Management: Techniques and Applications, 2011, Hanovre, Germany. pp.118-123
Communication dans un congrès lirmm-00618151v1
Image document

Negotiating the Web Science Curriculum through Shared Educational Artefacts

Madalina Croitoru , Stéphane Bazan , Stefano A. Cerri , Hugh C. Davis , Raffaella Folgieri
3rd International Conference on Web Science (WebSci 2011), honorable mention award, Jun 2011, Koblenz, Germany. pp.14-17
Communication dans un congrès lirmm-00652085v1
Image document

Translations between RDF(S) and Conceptual Graphs

Jean-François Baget , Madalina Croitoru , Michel Leclère , Marie-Laure Mugnier
ICCS: International Conference on Conceptual Structures, Jul 2010, Kuching, Sarawak, Malaysia. pp.28-41
Communication dans un congrès lirmm-00537334v1
Image document

Logical, graph based knowledge representation with CoGui

Jean-François Baget , Michel Chein , Madalina Croitoru , Alain Gutierrez , Michel Leclère
GAOC: Graphes et Appariement d'Objets Complexes, Jan 2010, Hammamet, Tunisia. pp.15-25
Communication dans un congrès lirmm-00537351v1

Graph-based Norm Explanation

Madalina Croitoru , Oren Nir , Miles Simon , Luck Michael
AI: Artificial Intelligence, Dec 2010, Cambridge, United Kingdom. pp.35-48, ⟨10.1007/978-0-85729-130-1_3⟩
Communication dans un congrès lirmm-00538437v1
Image document

Argumentation Map Generation with Conceptual Graphs: the Case for ESSENCE

Aldo de Moor , Jack Park , Madalina Croitoru
CS-TIW: Conceptual Structures Tool Interoperability Workshop, Jul 2009, Moscow, Russia. pp.58-69
Communication dans un congrès lirmm-00410627v1
Image document

Default Conceptual Graph Rules: Preliminary Results for an Agronomy Application

Jean-François Baget , Madalina Croitoru , Jérôme Fortin , Rallou Thomopoulos
ICCS 2009 - 17th International Conference on Conceptual Structures, Jul 2009, Moscow, Russia. pp.86-99, ⟨10.1007/978-3-642-03079-6_7⟩
Communication dans un congrès lirmm-00410640v1
Image document

A Generalised Network Flow Approach to Combinatorial Auctions

Madalina Croitoru , Cornelius Croitoru
GKR: Graph Structures for Knowledge Representation and Reasoning, 2009, CA, United States. pp.45-52
Communication dans un congrès lirmm-00410650v1
Image document

Representing and reasoning about different viewpoints: an agronomy application

Madalina Croitoru , Rallou Thomopoulos
ICCS: International Conference on Conceptual Structures, Jul 2009, Moscow, Russia. pp.128-140, ⟨10.1007/978-3-642-03079-6_10⟩
Communication dans un congrès lirmm-00410637v1
Image document

RDF to Conceptual Graphs Translations

Jean-François Baget , Michel Chein , Madalina Croitoru , Jérôme Fortin , David Genest
CS-TIW: Conceptual Structures Tool Interoperability Workshop, Jul 2009, Moscow, Russia. pp.17
Communication dans un congrès lirmm-00410621v1
Image document

Distinguishing Answers in Conceptual Graph Knowledge Bases

Nicolas Moreau , Michel Leclère , Madalina Croitoru
ICCS: International Conference on Conceptual Structures, Jul 2009, Moscow, Russia. pp.233-246, ⟨10.1007/978-3-642-03079-6_18⟩
Communication dans un congrès lirmm-00374749v1

A qualitative decision-making approach overlapping argumentation and social choice

Pierre Bisquert , Madalina Croitoru , Nikolaos Karanikolas
ADT: Algorithmic Decision Theory, Oct 2017, Luxembourg, Luxembourg. 5th International Conference on Algorithmic Decision Theory, 2017, ADT 2017: Algorithmic Decision Theory. ⟨10.1007/978-3-319-67504-6_25⟩
Poster de conférence hal-01606501v1

Bio-Sourced and Biodegradable Packaging design Using Argumentation to Aggregate Stakeholder Preferences

Madalina Croitoru , Jérôme Fortin , Patricio Mosse , Patrice Buche , Valérie Guillard
EFFoST'12 Annual Meeting, 2012, Montpellier, France. , 2012
Poster de conférence lirmm-00765000v1
Image document

Graphically explaining norms

Madalina Croitoru , Oren Nir , Miles Simon , Luck Michael
Wiebe van der Hoek; Gal A. Kaminka; Yves Lespérance; Michael Luck; Sandip Sen. AAMAS: Autonomous Agents and Multiagent Systems, 2010, Toronto, Canada. IFAAMAS 2010, 9th International Conference on Autonomous Agents and Multiagent Systems, 1, pp.1405-1406, 2010, AAMAS'10: 9th International Conference on Autonomous Agents and Multiagent Systems
Poster de conférence lirmm-00538391v1
Image document

A Network Flow Approach to Coalitional Games

Rahwan Talal , Michalak Tomasz , Madalina Croitoru , Sroka Jacek , Jennings Nicholas
Helder Coelho; Rudi Studer; Michael Wooldridge. ECAI: European Conference on Artificial Intelligence, Aug 2010, Lisbon, Portugal. IOS Press, 19th European Conference on Artificial Intelligence, Frontiers in Artificial Intelligence and Applications (215), pp.1017-1018, 2010, ECAI'10: 19th European Conference on Artificial Intelligence
Poster de conférence lirmm-00538403v1

Graph Structures for Knowledge Representation and Reasoning, Proceeding of Second International Workshop, GKR 2011

Madalina Croitoru , Sebastian Rudolph , Nic Wilson , Howse John , Olivier Corby
Madalina Croitoru and Sebastian Rudolph and Nic Wilson and Howse John and Olivier Corby. Springer, 7205, pp.1-77, 2012, Lecture Notes in Computer Science, 978-3-642-29449-5
Ouvrages lirmm-00763674v1

Conceptual Structures: From Information to Intelligence

Madalina Croitoru , Ferre Sebastien , Lukose Dickson
Madalina Croitoru, Sébastien Ferré, Dickson Lukose. Springer, 6208, 207 p., 2010, Lecture Notes in Computer Science, 978-3-642-14196-6
Ouvrages lirmm-00538396v1
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

On the Chase for All Provenance Paths with Existential Rules

Abdelraouf Hecham , Pierre Bisquert , Madalina Croitoru
Rules 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
Image document

Aggregation Semantics for Link Validity: Technical Report

Léa Guizol , Madalina Croitoru , Michel Leclère
RR-14003, 2013
Rapport lirmm-00936246v1
Image document

Using Argumentation in a French Agrifood Chain Application: Technical Report

Madalina Croitoru , Rallou Thomopoulos , Nouredine Tamani
[Research Report] RR-13036, LIRMM. 2013
Rapport lirmm-00915839v1
Image document

Defining Key Semantics for the Semantic Web : a Theoretical View

Michel Chein , Madalina Croitoru , Michel Leclère , Nathalie Pernelle , Fatiha Saïs
[Technical Report] LRI, Université Paris-Sud, CNRS, Universitée Paris-Saclay, France. 2013
Rapport hal-00915798v1
Image document

Argumentation for conflicting viewpoint relational database querying

Nouredine Tamani , Madalina Croitoru
RR-13037, 2013
Rapport lirmm-00915967v1
Image document

How Much Should You Pay for Information?: Technical Report

Ioannis Vetsikas , Madalina Croitoru
RR-13018, 2013, pp.16
Rapport lirmm-00830805v1
Image document

What Can Argumentation Do for Inconsistent Ontology Query Answering?

Madalina Croitoru , Srdjan Vesic
RR-13007, 2013, pp.17
Rapport lirmm-00812630v1

Backward chaining argumentation in agrifood chains: a practical use case

Rallou Thomopoulos , Madalina Croitoru , Nouredine Tamani
[Research Report] RR-13024, LIRMM. 2013
Rapport lirmm-00835250v1
Image document

On Link Validity and Entity Resolution

Léa Guizol , Madalina Croitoru , Michel Leclère
RR-11010, 2012, pp.17
Rapport lirmm-00647284v1
Image document

Towards Multi-Agent Knowledge Allocation

Madalina Croitoru , Sebastian Rudolph
RR-12003, 2012, pp.18
Rapport lirmm-00657422v2