- 98
- 17
- 9
- 6
- 4
- 2
- 1
- 1
- 1
- 1
MC
Madalina Croitoru
140
Documents
Researcher identifiers
- madalina-croitoru
- IdRef : 175044694
- 0000-0001-5456-7684
Presentation
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
- 15
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 38
- 24
- 22
- 19
- 16
- 16
- 16
- 12
- 11
- 9
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 132
- 7
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 3
- 4
- 8
- 4
- 13
- 11
- 19
- 12
- 17
- 16
- 10
- 5
- 7
- 6
- 11
- 8
- 7
- 3
- 1
- 1
- 1
- 1
- 14
- 7
- 2
- 1
- 1
- 1
|
Enhancing JAAD with Knowledge Graphs for Improved Pedestrian Crossing PredictionsCONCEPTS 2024 - 1st International Joint Conference on Conceptual Knowledge Structures, Sep 2024, Cadiz, Spain. pp.319-326, ⟨10.1007/978-3-031-67868-4_21⟩
Conference papers
hal-04695528v1
|
|
A Knowledge Rich Task Planning Framework for Human-Robot CollaborationAI 2023 - 43rd SGAI International Conference on Artificial Intelligence, Dec 2023, Cambridge, United Kingdom. pp.259-265, ⟨10.1007/978-3-031-47994-6_25⟩
Conference papers
hal-04385641v1
|
|
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⟩
Conference papers
lirmm-04214807v1
|
|
Dance, Dance, Dance With My Hands: Third-Party Human Robot-Human InteractionsRO-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⟩
Conference papers
hal-04317927v1
|
|
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⟩
Conference papers
lirmm-03822964v1
|
|
Scrutable Robot Actions Using a Hierarchical Ontological ModelICCS 2022 - 27th International Conference on Conceptual Structures, Sep 2022, Münster, Germany. pp.11-24, ⟨10.1007/978-3-031-16663-1_2⟩
Conference papers
hal-03808914v1
|
|
Ranking Semantics for Argumentation Systems With NecessitiesIJCAI 2020 - 29th International Joint Conference on Artificial Intelligence, Jan 2021, Yokohama / Virtual, Japan. pp.1912-1918, ⟨10.24963/ijcai.2020/265⟩
Conference papers
hal-03002056v1
|
|
Assessing the Impact of Agents in Weighted Bipolar Argumentation FrameworksAI 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⟩
Conference papers
hal-03351536v1
|
|
Probabilistic rule induction for transparent CBR under uncertaintyAI 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⟩
Conference papers
hal-03337243v1
|
|
Generating preferred plans with ethical featuresFLAIRS-34: Neural Networks and Data Mining, May 2021, Florida, United States. ⟨10.32473/flairs.v34i1.128492⟩
Conference papers
hal-03337097v1
|
|
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⟩
Conference papers
lirmm-03037374v1
|
|
Ranking-Based Semantics for Sets of Attacking ArgumentsAAAI 2020 - 34th AAAI Conference on Artificial Intelligence, Feb 2020, New York, United States. pp.3033-3040, ⟨10.1609/aaai.v34i03.5697⟩
Conference papers
lirmm-02374712v1
|
|
Sets of Attacking Arguments for Inconsistent Datalog Knowledge BasesCOMMA 2020 - 8th International Conference on Computational Models of Argument, Sep 2020, Perugia / Virtual), Italy. pp.419-430, ⟨10.3233/FAIA200526⟩
Conference papers
hal-03002140v1
|
|
An Incremental Algorithm for Computing All Repairs in Inconsistent Knowledge BasesICCS 2020 - 25th International Conference on Conceptual Structures, Sep 2020, Bolzano / Virtual, Italy. pp.33-47, ⟨10.1007/978-3-030-57855-8_3⟩
Conference papers
lirmm-02613466v1
|
|
Efficient Construction of Structured Argumentation SystemsCOMMA 2020 - 8th International Conference on Computational Models of Argument, Sep 2020, Perugia, Italy. pp.411-418, ⟨10.3233/FAIA200525⟩
Conference papers
hal-03034538v1
|
|
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⟩
Conference papers
lirmm-02393877v1
|
|
Gradual Semantics for Logic-Based Bipolar Graphs Using T-(Co)normsECAI 2020 - 24th European Conference on Artificial Intelligence, Aug 2020, Santiago de Compostela (virtual), Spain. pp.777-783, ⟨10.3233/FAIA200166⟩
Conference papers
lirmm-03037284v1
|
|
Explaining ethical planning using ASPXLoKR 2020 - 1st International Workshop on Explainable Logic-Based Knowledge Representation, Nov 2020, Rhodes, Greece
Conference papers
hal-03337263v1
|
|
Deliberation Towards Transitivity with Unshared FeaturesPRIMA 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⟩
Conference papers
hal-02388879v1
|
|
PAPOW: Papow Aggregates Preferences and Orderings to select WinnersAAMAS 2019 - 18th International Conference on Autonomous Agents and MultiAgent Systems, May 2019, Montréal, Canada. pp.2363-2365, ⟨10.5555/3306127.3332113⟩
Conference papers
lirmm-02180361v1
|
|
NAKED: N-Ary Graphs from Knowledge Bases Expressed in Datalog±AAMAS 2019 - 18th International Conference on Autonomous Agents and MultiAgent Systems, May 2019, Montréal, Canada. pp.2390-2392, ⟨10.5555/3306127.3332122⟩
Conference papers
lirmm-02180395v2
|
|
DAGGER: Datalog+/- Argumentation Graph GEneRatorAAMAS 2018 - 17th International Conference on Autonomous Agents and MultiAgent Systems, Jul 2018, Stockholm, Sweden. pp.1841-1843, ⟨10.5555/3237383.3237996⟩
Conference papers
lirmm-01892588v1
|
|
Viewpoints using ranking-based argumentation semanticsCOMMA 2018 - 7th International Conference on Computational Models of Argument, Sep 2018, Varsovie, Poland. pp.381-392, ⟨10.3233/978-1-61499-906-5-381⟩
Conference papers
lirmm-01892709v1
|
|
Demonstrating a benchmark for defeasible reasoningCOMMA 2018 - 7th International Conference on Computational Models of Argument, Sep 2018, Warso, Poland. pp.461-462, ⟨10.3233/978-1-61499-906-5-461⟩
Conference papers
lirmm-01894744v1
|
|
How to generate a benchmark of logical argumentation graphs?COMMA: Conference on Computational Models of Argument, Sep 2018, Varsovie, Poland. pp.475-476, ⟨10.3233/978-1-61499-906-5-475⟩
Conference papers
lirmm-01892705v1
|
|
Defining argumentation attacks in practice: an experiment in food packaging consumer expectations23rd International Conference on Conceptual Structures (ICCS 2018), Jun 2018, Edinburgh, United Kingdom. pp.73-87, ⟨10.1007/978-3-319-91379-7_6⟩
Conference papers
lirmm-01892545v1
|
|
Graph Theoretical Properties of Logic Based Argumentation FrameworksAAMAS 2018 - 17th International Conference on Autonomous Agents and MultiAgent Systems, Jul 2018, Stockholm, Sweden. pp.2148-2149, ⟨10.5555/3237383.3238101⟩
Conference papers
lirmm-01892594v1
|
|
Toward a More Efficient Generation of Structured Argumentation GraphsCOMMA 2018 - 7th International Conference on Computational Models of Argument, Sep 2018, Varsovie, Poland. pp.205-212, ⟨10.3233/978-1-61499-906-5-205⟩
Conference papers
lirmm-01892707v1
|
|
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⟩
Conference papers
lirmm-01894747v1
|
|
Multi-Criteria Decision Making with Existential Rules using Repair TechniquesAI: Artificial Intelligence, Dec 2018, Cambridge, United Kingdom. pp.177-183, ⟨10.1007/978-3-030-04191-5_15⟩
Conference papers
hal-01977952v1
|
|
Inconsistency Measures for Repair Semantics in OBDA27th International Joint Conference on Artificial Intelligence (IJCAI-ECAI), Jul 2018, Stockholm, Sweden. pp.1977-1983, ⟨10.24963/ijcai.2018/273⟩
Conference papers
lirmm-01892704v1
|
|
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⟩
Conference papers
lirmm-01894742v1
|
|
Selection of agro-waste valorisation routes based on a computational social choice and argumentation decision support toolEFITA WCCA CONGRESS, Jul 2017, Montpellier, France
Conference papers
lirmm-01580598v1
|
|
A structural benchmark for logical argumentation frameworksIDA: Intelligence Data Analysis, Oct 2017, Londres, United Kingdom. pp.334-346, ⟨10.1007/978-3-319-68765-0_28⟩
Conference papers
lirmm-01668017v1
|
|
An empirical evaluation of argumentation in explaining inconsistency tolerant query answeringDL: Description Logics, Jul 2017, Montpellier, France
Conference papers
lirmm-01586155v1
|
|
On the Chase for All Provenance Paths With Existential RulesRuleML+RR 2017 - International joint conference on rules and reasoning, Jul 2017, London, United Kingdom. pp.135-150, ⟨10.1007/978-3-319-61252-2_10⟩
Conference papers
lirmm-01520172v1
|
|
Are ranking semantics sensitive to the notion of core?AAMAS: Autonomous Agents and MultiAgent Systems, May 2017, Sao Paulo, Brazil. pp.943-951
Conference papers
hal-01605720v2
|
|
Graph theoretical properties of logic based argumentation frameworks: proofs and general results5th 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⟩
Conference papers
lirmm-01892703v1
|
|
Argumentation-Based Defeasible Reasoning For Existential RulesAAMAS 2017 - 16th International Conference on Autonomous Agents and MultiAgent Systems, May 2017, Sao Paulo, Brazil. pp.1568-1569
Conference papers
lirmm-01520171v1
|
|
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⟩
Conference papers
lirmm-01337019v1
|
|
Non-Objection Inference for Inconsistency-Tolerant Query Answering25th International Joint Conference on Artificial Intelligence (IJCAI 2016), Jul 2016, New York, United States. pp.3684-3690
Conference papers
hal-03299707v1
|
|
Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity AnalysisJELIA: Logics in Artificial Intelligence, Nov 2016, Larnaca, Cyprus. pp.64-80, ⟨10.1007/978-3-319-48758-8_5⟩
Conference papers
lirmm-01412864v1
|
|
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⟩
Conference papers
lirmm-01333368v1
|
A Proposal for Modelling Agrifood Chains as Multi Agent SystemsIPMU: Information Processing and Management of Uncertainty, Jun 2016, Eindhoven, Netherlands. pp.498-509, ⟨10.1007/978-3-319-40596-4_42⟩
Conference papers
lirmm-01328678v1
|
|
|
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
Conference papers
hal-03155070v1
|
Extending GWAPs for Building Profile Aware Associative NetworksICCS 2016 - 22nd International Conferences on Conceptual Structures, Jul 2016, Annecy, France. pp.43-58, ⟨10.1007/978-3-319-40985-6_4⟩
Conference papers
lirmm-01328671v1
|
|
|
Explanation Dialogues in the Service of Durum Wheat Sustainability ImprovementIC 2016 - 4ième édition Atelier IN-OVIVE, Jun 2016, Montpellier, France
Conference papers
lirmm-03172920v1
|
|
An argumentation workflow for reasoning in Ontology Based Data AccessCOMMA: Computational Models of Argument, Sep 2016, Postdam, Germany. pp.61-68, ⟨10.3233/978-1-61499-686-6-61⟩
Conference papers
lirmm-01401316v1
|
|
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⟩
Conference papers
lirmm-01399096v1
|
|
Key Discovery for Numerical Data: Application to Oenological PracticesICCS: International Conference on Conceptual Structures, Jul 2016, Annecy, France. pp.222-236, ⟨10.1007/978-3-319-40985-6_17⟩
Conference papers
hal-01837440v1
|
|
Arguing About End-of-Life of Packagings: Preferences to the RescueMTSR: Metadata and Semantics Research, Nov 2016, Göttingen, Germany. pp.119-131, ⟨10.1007/978-3-319-49157-8_10⟩
Conference papers
lirmm-01401481v1
|
|
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
Conference papers
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⟩
Conference papers
lirmm-01337012v1
|
|
Representing Multi-Scale Datalog +/- Using Hierarchical GraphsICCS: International Conference on Conceptual Structures, Jul 2016, Annecy, France. pp.59-71, ⟨10.1007/978-3-319-40985-6_5⟩
Conference papers
lirmm-01328673v1
|
On The Use Of Non-Objection Inference In Inconsistent Lightweight OntologiesIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States
Conference papers
lirmm-01328661v1
|
|
Explanation Dialogues on Erroneous SameAs Using Argumentation TheoryICCS 2016 - 22nd International Conference on Conceptual Structures, Jul 2016, Annecy, France. pp.52-65
Conference papers
lirmm-01328668v1
|
|
A General Modifier-Based Framework for Inconsistency-Tolerant Query AnsweringKR: Principles of Knowledge Representation and Reasoning, Apr 2016, Cape Town, South Africa. pp.513-516
Conference papers
lirmm-01328690v1
|
|
|
Substantive irrationality in cognitive systemsECAI 2016 - 22nd European Conference on Artificial Intelligence, Aug 2016, La Haye, Netherlands. pp.1642-1643, ⟨10.3233/978-1-61499-672-9-1642⟩
Conference papers
lirmm-01344696v1
|
|
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⟩
Conference papers
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⟩
Conference papers
lirmm-01164696v1
|
|
Four Ways to Evaluate Arguments According to Agent Engagement8th 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⟩
Conference papers
lirmm-01245121v1
|
|
Introducing Preference-Based Argumentation to Inconsistent Ontological Knowledge BasesPRIMA: Principles and Practice of Multi-Agent Systems, Oct 2015, Bertino, Italy. pp.594-602, ⟨10.1007/978-3-319-25524-8_42⟩
Conference papers
lirmm-01242937v1
|
|
Information for decision-making is ubiquitous: Revisiting the reverse engineering mode in breadmaking technologyRCIS: Research Challenges in Information Science, May 2015, Athens, Greece. pp.250-261, ⟨10.1109/RCIS.2015.7128886⟩
Conference papers
lirmm-01382351v1
|
|
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⟩
Conference papers
lirmm-01164702v1
|
Towards a dual process cognitive model for argument evaluation9th International Conference on Scalable Uncertainty Management (SUM 2015), Sep 2015, Quebec City, Canada. pp.298-313, ⟨10.1007/978-3-319-23540-0_20⟩
Conference papers
lirmm-01164251v1
|
|
|
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⟩
Conference papers
lirmm-03846400v1
|
|
A quantitative preference-based structured argumentation system for decision supportFUZZ-IEEE, Jul 2014, Beijing, China. pp.1408-1415, ⟨10.1109/FUZZ-IEEE.2014.6891601⟩
Conference papers
lirmm-01089588v1
|
|
Eco-Efficient Packaging Material Selection for Fresh Produce: Industrial SessionICCS: International Conference on Conceptual Structures, Jul 2014, Lasi, Romania. pp.305-310, ⟨10.1007/978-3-319-08389-6_27⟩
Conference papers
lirmm-01089599v1
|
|
Définition de la sémantique des clés dans le Web sémantique : un point de vue théoriqueIC: Ingénierie des Connaissances, May 2014, Clermont-Ferrand, France. pp.225-236
Conference papers
hal-01015297v1
|
|
Update Operators for Inconsistent Query Answering: A New Point of ViewSUM: Scalable Uncertainty Management, Sep 2014, Oxford, United Kingdom. pp.100-105, ⟨10.1007/978-3-319-11508-5_9⟩
Conference papers
lirmm-01088098v1
|
|
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⟩
Conference papers
hal-01089146v1
|
|
Defining Key Semantics for the RDF Datasets: Experiments and EvaluationsICCS: International Conference on Conceptual Structures, Jul 2014, Iasi, Romania. pp.65-78, ⟨10.1007/978-3-319-08389-6_7⟩
Conference papers
lirmm-01090357v1
|
|
A Food Packaging Use Case for ArgumentationMTSR: 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⟩
Conference papers
lirmm-01089612v1
|
|
Investigating the quality of a bibliographic knowledge base using partitioning semanticsFUZZ: Fuzzy Systems, Jul 2014, Beijing, China. pp.948-955, ⟨10.1109/FUZZ-IEEE.2014.6891541⟩
Conference papers
lirmm-01090451v1
|
|
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⟩
Conference papers
lirmm-01091082v1
|
|
Enriching queries using argumentation: an industrial application of argumentationCOMMA: Computational Models of Argument, Sep 2014, Pitlochry, United Kingdom. pp.477-478, ⟨10.3233/978-1-61499-436-7-477⟩
Conference papers
lirmm-01089583v1
|
|
Conflicting viewpoint relational database querying: an argumentation approachAAMAS: Autonomous Agents and Multiagent Systems, IFAAMAS/ACM, May 2014, Paris, France. pp.1553-1554
Conference papers
lirmm-01089139v1
|
|
An Analysis of the SUDOC Bibliographic Knowledge Base from a Link Validity ViewpointIPMU: Information Processing and Management of Uncertainty, Jul 2014, Montpellier, France. pp.204-213, ⟨10.1007/978-3-319-08855-6_21⟩
Conference papers
lirmm-01090261v1
|
Fuzzy Argumentation System for Decision SupportIPMU: Information Processing and Management of Uncertainty, Jul 2014, Montpellier, France. pp.77-86, ⟨10.1007/978-3-319-08795-5_9⟩
Conference papers
lirmm-01089603v1
|
|
|
Contextual Itemset Mining in DBpediaLD4KD: Linked Data for Knowledge Discovery, Sep 2014, Nancy, France. pp.27-36
Conference papers
lirmm-01076887v1
|
|
On Ontological Expressivity and Modelling Argumentation Schemes Using COGUIThirty-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⟩
Conference papers
lirmm-01109928v1
|
A Viewpoint Approach to Structured ArgumentationAI: Artificial Intelligence, Dec 2013, Cambridge, United Kingdom. pp.265-271, ⟨10.1007/978-3-319-02621-3_19⟩
Conference papers
lirmm-00936485v1
|
|
|
Coalitional Games via Network FlowsIJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. pp.324-331
Conference papers
lirmm-00936484v1
|
|
Aggregation Semantics for Link ValidityAI: Artificial Intelligence, Dec 2013, Cambridge, United Kingdom. pp.359-372, ⟨10.1007/978-3-319-02621-3_27⟩
Conference papers
lirmm-00921018v1
|
What Can Argumentation Do for Inconsistent Ontology Query Answering?SUM: Scalable Uncertainty Management, Sep 2013, Washington, DC, United States. pp.15-29, ⟨10.1007/978-3-642-40381-1_2⟩
Conference papers
lirmm-00936486v1
|
|
|
ALASKA for Ontology Based Data AccessESWC: European Semantic Web Conference, May 2013, Montpellier, France. pp.157-161, ⟨10.1007/978-3-642-41242-4_16⟩
Conference papers
lirmm-00936487v1
|
How Much Should You Pay for Information?ICEBE: International Conference on e-Business Engineering, Sep 2013, Coventry, United Kingdom. pp.44-49, ⟨10.1109/ICEBE.2013.7⟩
Conference papers
lirmm-00936483v1
|
|
Multi-Agent Knowledge AllocationAI: Artificial Intelligence, Dec 2012, Cambridge, United Kingdom. pp.165-178, ⟨10.1007/978-1-4471-4739-8_12⟩
Conference papers
lirmm-00763642v1
|
|
On Link Validity in Bibliographic Knowledge BasesIPMU: Information Processing and Management of Uncertainty, Jul 2012, Catania, Italy. pp.380-389, ⟨10.1007/978-3-642-31709-5_39⟩
Conference papers
lirmm-00763664v1
|
|
|
Exclusivity-based allocation of knowledgeAAMAS: Autonomous Agents and Multiagent Systems, Jun 2012, Valencia, Spain. pp.1249-1250
Conference papers
lirmm-00763649v1
|
|
Arguing with Preferences in EcoBioCapCOMMA 2012 - 4th International Conference on Computational Models of Argument, Sep 2012, Vienne, Austria. pp.51-58, ⟨10.3233/978-1-61499-111-3-51⟩
Conference papers
lirmm-00763656v1
|
|
A Generic Platform for Ontological Query AnsweringAI: Artificial Intelligence, Dec 2012, Cambridge, United Kingdom. pp.151-164, ⟨10.1007/978-1-4471-4739-8_11⟩
Conference papers
lirmm-00763634v1
|
|
Negotiating the Web Science Curriculum through Shared Educational Artefacts3rd International Conference on Web Science (WebSci 2011), honorable mention award, Jun 2011, Koblenz, Germany. pp.14-17
Conference papers
lirmm-00652085v1
|
|
Ontological Conjunctive Query Answering over Semi-Structured KBsGDM'11: The 2nd International Workshop on Graph Data Management: Techniques and Applications, 2011, Hanovre, Germany. pp.118-123
Conference papers
lirmm-00618151v1
|
|
Translations between RDF(S) and Conceptual GraphsICCS: International Conference on Conceptual Structures, Jul 2010, Kuching, Sarawak, Malaysia. pp.28-41
Conference papers
lirmm-00537334v1
|
|
Logical, graph based knowledge representation with CoGuiGAOC: Graphes et Appariement d'Objets Complexes, Jan 2010, Hammamet, Tunisia. pp.15-25
Conference papers
lirmm-00537351v1
|
Graph-based Norm ExplanationAI: Artificial Intelligence, Dec 2010, Cambridge, United Kingdom. pp.35-48, ⟨10.1007/978-0-85729-130-1_3⟩
Conference papers
lirmm-00538437v1
|
|
|
RDF to Conceptual Graphs TranslationsCS-TIW: Conceptual Structures Tool Interoperability Workshop, Jul 2009, Moscow, Russia. pp.17
Conference papers
lirmm-00410621v1
|
|
Default Conceptual Graph Rules: Preliminary Results for an Agronomy ApplicationICCS 2009 - 17th International Conference on Conceptual Structures, Jul 2009, Moscow, Russia. pp.86-99, ⟨10.1007/978-3-642-03079-6_7⟩
Conference papers
lirmm-00410640v1
|
|
A Generalised Network Flow Approach to Combinatorial AuctionsGKR: Graph Structures for Knowledge Representation and Reasoning, 2009, CA, United States. pp.45-52
Conference papers
lirmm-00410650v1
|
|
Representing and reasoning about different viewpoints: an agronomy applicationICCS: International Conference on Conceptual Structures, Jul 2009, Moscow, Russia. pp.128-140, ⟨10.1007/978-3-642-03079-6_10⟩
Conference papers
lirmm-00410637v1
|
|
Distinguishing Answers in Conceptual Graph Knowledge BasesICCS: International Conference on Conceptual Structures, Jul 2009, Moscow, Russia. pp.233-246, ⟨10.1007/978-3-642-03079-6_18⟩
Conference papers
lirmm-00374749v1
|
|
Argumentation Map Generation with Conceptual Graphs: the Case for ESSENCECS-TIW: Conceptual Structures Tool Interoperability Workshop, Jul 2009, Moscow, Russia. pp.58-69
Conference papers
lirmm-00410627v1
|
A qualitative decision-making approach overlapping argumentation and social choiceADT: 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⟩
Conference poster
hal-01606501v1
|
|
Bio-Sourced and Biodegradable Packaging design Using Argumentation to Aggregate Stakeholder PreferencesConference poster lirmm-00765000v1 |
|
|
Graphically explaining normsWiebe 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
Conference poster
lirmm-00538391v1
|
|
A Network Flow Approach to Coalitional GamesHelder 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
Conference poster
lirmm-00538403v1
|
Graph Structures for Knowledge Representation and Reasoning, Proceeding of Second International Workshop, GKR 2011Madalina 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
Books
lirmm-00763674v1
|
|
Conceptual Structures: From Information to IntelligenceMadalina Croitoru, Sébastien Ferré, Dickson Lukose. Springer, 6208, 207 p., 2010, Lecture Notes in Computer Science, 978-3-642-14196-6
Books
lirmm-00538396v1
|
|
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⟩
Book sections
hal-03870015v1
|
Combinatorial results on directed hypergraphs for the SAT problem2015
Other publications
lirmm-01160360v1
|
|
Using Kernel Consolidation for Query Answering in Inconsistent OBDA2015
Other publications
lirmm-01160358v1
|
|
Towards a moral robot: Reward, effort, and risk distribution to humans following social norms2024
Preprints, Working Papers, ...
hal-04695550v1
|
|
Graph Based Knowledge Representation and Reasoning: Practical AI ApplicationsArtificial Intelligence [cs.AI]. Université Montpellier 2, 2014
Habilitation à diriger des recherches
tel-01110342v1
|