GraphiK: Graphs for Inferences on Knowledge
Les travaux de GraphIK se situent dans le domaine de la représentation des connaissances et des raisonnements.
Nous avons une approche fondée sur la logique mais utilisant également des graphes / hypergraphes étiquetés.
Notre activité repose sur trois pieds : théorie (expressivité, propriétés structurelles, décidabilité et complexité des problèmes, algorithmes), développement logiciel (des outils qui implémentent nos résultats théoriques), et applications (qui nourrissent en retour les questions théoriques).
Pour plus de précisions, voir le site web de l'équipe : http://team.inria.fr/graphik
Membres
Permanents
- Jean-François Baget, Chargé de Recherche INRIA
- Madalina Croitoru, Maître de Conférences UM
- Alain Gutierrez, Ingénieur d'Etudes CNRS
- Michel Leclere, Maître de Conférences UM
- Marie-Laure Mugnier, Professeur des Universités UM
- Federico Ulliana, Maître de Conférences UM
Non permanents
- Michel Chein, Invité longue durée, Professeur Emérite UM
- Martin Jedwabny, Doctorant UM
- Elie Najm, Doctorant INRIA
- Olivier Rodriguez, Doctorant INRIA
Collaborateurs réguliers
- Rallou Thomopoulos, Directeur de Recherche INRA
- Patrice Buche, Ingénieur de Recherche INRA
- Jérôme Fortin, Maître de Conférences UM
- Pierre Bisquert, Chargé de Recherche INRA
Publications depuis 2014 - Evaluation 2019
Articles de revues internationales
2019
- Cross-European initial survey on the use of mathematical models in food industryIlija Djekic, Alen Mujčinović, Aleksandra Nikolić, Anet Režek Jambrak, Photis Papademas, Aberham Hailu Feyissa, Kamal Kansou, Rallou Thomopoulos, Heiko Briesen, Nickolas Kavallieratos, Christos Athanassiou, Cristina L.M. Silva, Alexandrina Sirbu, Alexandru Mihnea Moisescu, Igor Tomasevic, Urška Vrabič Brodnjak, Maria Charalambides, Alberto TondaJournal of Food Engineering, Elsevier, 2019, Journal of Food Engineering, 261, pp.109-116.
- Expertise-based decision support for managing food quality in agri-food companiesPatrice Buche, Bernard Cuq, Jerome Fortin, Clément SipieterComputers and Electronics in Agriculture, Elsevier, 2019, 163, pp.104843.
- A Decision-Making approach where Argumentation added value tackles Social Choice deficienciesPierre Bisquert, Madalina Croitoru, Christos Kaklamanis, Nikos KaranikolasProgress in Artificial Intelligence, Springer, 2019, 8 (2), pp.229-239.
- Computing and Explaining Query Answers over Inconsistent DL-Lite Knowledge BasesMeghyn Bienvenu, Camille Bourgaux, François GoasdouéJournal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2019, 64, pp.563-644.
- Multi-Criteria Reverse Engineering for Food: Genesis and Ongoing AdvancesRallou Thomopoulos, Cédric Baudrit, Nadia Boukhelifa, Rachel Boutrou, Patrice Buche, Elisabeth Guichard, Valérie Guillard, Evelyne Lutton, Pierre-Sylvain Mirade, Amadou Ndiaye, Nathalie Perrot, Franck Taillandier, Thierry Thomas-Danguin, Alberto TondaFood Engineering Reviews, Springer, 2019, pp.44-60.
- Reduced Meat Consumption: from Multicriteria Argument Modeling to Agent-Based Social SimulationRallou Thomopoulos, Nicolas Salliou, Carolina Abreu, Vincent Cohen, Timothée FouquerayInternational Journal of Food Studies, ISEKI Food Association, In press.
2018
- The Next Generation of Sustainable Food Packaging to Preserve Our Environment in a Circular Economy ContextValérie Guillard, Sebastien Gaucel, Claudio Fornaciari, Hélène Angellier-Coussy, Patrice Buche, Nathalie GontardFrontiers in nutrition, Frontiers media, 2018, 5. <10.3389/fnut.2018.00121>
- Je mange moins de viande ! Quels arguments ?Nicolas Salliou, Rallou ThomopoulosModélisation de réseaux d’arguments multicritères sur la réduction de consommation de produits animaux. La revue française de la recherche en viandes et produits carnés, AB CORP INTERNATIONAL, 2018, pp.VPC-2018-34-4-5.
- Choice of environment-friendly food packagings through argumentation systems and preferencesBruno Yun, Pierre Bisquert, Patrice Buche, Madalina Croitoru, Valérie Guillard, Rallou ThomopoulosEcological Informatics, Elsevier, 2018, 48, pp.24-36.
- Consumer perception data and scientific arguments about food packaging functionalities for fresh strawberriesBruno Yun, Patrice Buche, Pierre Bisquert, Sandrine Costa, Madalina Croitoru, Julien Cufi, Valérie Guillard, Alrick Oudot, Rallou ThomopoulosData in Brief, Elsevier, 2018, 20, pp.1924-1927.
- Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit ComplexityMeghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii, Michael ZakharyaschevJournal of the ACM (JACM), Association for Computing Machinery, 2018, 65 (5), pp.1-51.
- A Decision Support Tool for Agricultural Applications Based on Computational Social Choice and ArgumentationNikos Karanikolas, Pierre Bisquert, Patrice Buche, Christos Kaklamanis, Rallou ThomopoulosInternational Journal of Agricultural and Environmental Information Systems, IGI Global, 2018, 9 (3), pp.54-73.
- An Automated Design Framework for Multicellular Recombinase LogicSarah Guiziou, Federico Ulliana, Violaine Moreau, Michel Leclère, Jérôme BonnetACS Synthetic Biology, American Chemical Society, 2018, 7 (5), pp.1406-1412.
- The virtual food system: Innovative models and experiential feedback in technologies for winemaking, the cereals chain, food packaging and eco-designed starter productionCesar Arturo Aceves-Lara, Violaine Athès, Patrice Buche, Guy Valle, Vincent Farines, Fernanda Fonseca, Valérie Guillard, Kamal Kansou, Magdalena Kristiawan, Vincent Monclus, Jean-Roch Mouret, Amadou Ndiaye, Pascal Neveu, Stéphanie Passot, Caroline Pénicaud, Jean-Marie Sablayrolles, Jean-Michel Salmon, Rallou Thomopoulos, Ioan Cristian TréléaInnovative Food Science and Emerging Technologies, Elsevier, 2018, Food Science and Technology in France: INRA’s contribution to this area, 46, pp.54-64.
- Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coinJean-François Baget, Laurent Garcia, Fabien Garreau, Claire Lefèvre, Swan Rocher, Igor StéphanAnnals of Mathematics and Artificial Intelligence, Springer Verlag, 2018, 82 (1-3), pp.3-41.
- A practical application approach to argumentation for multicriteria analysis and decision supportRallou ThomopoulosEURO journal on decision processes, 2018, 6 (3-4), pp.237-255.
- Supporting decision for environment-friendly practices in the agri-food sectorRallou Thomopoulos, Bernard Moulin, Laurent BedoussacWhen argumentation and system dynamics simulation complete each other. International Journal of Agricultural and Environmental Information Systems, IGI Global, 2018, 9 (3), pp.1-21.
2017
- Logic-based argumentation with existential rulesAbdallah Arioua, Madalina Croitoru, Srdjan VesicInternational Journal of Approximate Reasoning, Elsevier, 2017, 90, pp.76-106.
- Explanatory dialogues with argumentative faculties over inconsistent knowledge basesAbdallah Arioua, Patrice Buche, Madalina CroitoruExpert Systems with Applications, Elsevier, 2017, 80, pp.244-262.
- Formalizing Cognitive Acceptance of Arguments: Durum Wheat Selection Interdisciplinary StudyPierre Bisquert, Madalina Croitoru, Florence Dupin de Saint-Cyr, Abdelraouf HechamMinds and Machines, Springer Verlag, 2017, 27 (1), pp.233-252.
- MAP-OPT: A software for supporting decision-making in the field of modified atmosphere packaging of fresh non respiring foodsValérie Guillard, Olivier Couvert, Valérie Stahl, Patrice Buche, Aurélie Hanin, Catherine Denis, Juliette Dibie, Stéphane Dervaux, Catherine Loriot, Thierry Vincelot, Véronique Huchet, Bruno Perret, Dominique ThuaultPackaging Research, De Gruyter OPEN, 2017, 2 (1), pp.28.
- A generic ontological network for Agri-food experiment integration – Application to viticulture and winemakingAunur Rofiq Muljarto, Jean-Michel Salmon, Brigitte Charnomordic, Patrice Buche, Anne Tireau, Pascal NeveuComputers and Electronics in Agriculture, Elsevier, 2017, 140, pp.433-442.
- Developing data interoperability using standards: A wheat community use caseEsther Yeumo, Michaël Alaux, Elizabeth Arnaud, Sophie Aubin, Ute Baumann, Patrice Buche, Laurel Cooper, Hanna Ćwiek-Kupczyńska, Robert Davey, Richard Fulss, Clement Jonquet, Marie-Angélique Laporte, Pierre Larmande, Cyril Pommier, Vassilis Protonotarios, Carmen Reverte, Rosemary Shrestha, Imma Subirats, Aravind Venkatesan, Alex Whan, Hadi QuesnevilleF1000Research, Faculty of 1000, 2017, 6 (1843). <10.12688/f1000research.12234.2>
- Xart: Discovery of correlated arguments of n-ary relations in textSoumia Lilia Berrahou, Patrice Buche, Juliette Dibie, Mathieu RocheExpert Systems with Applications, Elsevier, 2017, 73, pp.115-124.
2016
- A decision support system for eco-efficient biorefinery process comparison using a semantic approachCharlotte Lousteau-Cazalet, Abdellatif Barakat, Jean-Pierre Belaud, Patrice Buche, Guillaume Busset, Brigitte Charnomordic, Stéphane Dervaux, Sébastien Destercke, Juliette Dibie, Caroline Sablayrolles, Claire VialleComputers and Electronics in Agriculture, Elsevier, 2016, 127, pp.351-367.
- Argumentation update in YALLA (Yet Another Logic Language for Argumentation)Florence Dupin de Saint-Cyr, Pierre Bisquert, Claudette Cayrol, Marie-Christine Lagasquie-SchiexInternational Journal of Approximate Reasoning, Elsevier, 2016, 75, pp. 57-92.
- Dynamic Vehicle Emissions Reduction with Technical and Behavioral ApproachMohammad Syafrizal, Bambang Sugiarto, Setyo Sarwanto Moersidik, Jérôme Fortin, Nadia Hamani, Estelle BretagneInternational Journal of Technology Management, Inderscience, 2016, 7 (5), pp.871-880.
- Ontology evolution for an experimental data integration systemLiliana Ibanescu, Patrice Buche, Stéphane Dervaux, Juliette Dibie, Rim TouhamiInternational Journal of Metadata, Semantics and Ontologies, Inderscience, 2016, 11 (4), pp.231-242.
- Query and Predicate Emptiness in Ontology-Based Data AccessFranz Baader, Meghyn Bienvenu, Carsten Lutz, Frank WolterJournal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2016, 56, pp.1-59.
2015
- Decision Support for Agri-Food Chains: A Reverse Engineering Argumentation-Based ApproachRallou Thomopoulos, Madalina Croitoru, Nouredine TamaniEcological Informatics, Elsevier, 2015, 26, pp.182-191.
- An argumentation system for eco-efficient packaging material selectionNouredine Tamani, Patricio Mosse, Madalina Croitoru, Patrice Buche, Valérie Guillard, Carole Guillaume, Nathalie GontardComputers and Electronics in Agriculture, Elsevier, 2015, 113, pp.174-192.
- A Decision Support System to design modified atmosphere packaging for fresh produce based on a bipolar flexible querying approachValérie Guillard, Patrice Buche, Sébastien Destercke, Nouredine Tamani, Madalina Croitoru, Luc Menut, Carole Guillaume, Nathalie GontardComputers and Electronics in Agriculture, Elsevier, 2015, 111, pp.131-139.
- My Corporis Fabrica Embryo: An ontology-based 3D spatio-temporal modeling of human embryo developmentPierre-Yves Rabattu, Benoit Massé, Federico Ulliana, Marie-Christine Rousset, Damien Rohmer, Jean-Claude Léon, Olivier PalombiJournal of Biomedical Semantics, BioMed Central, 2015, 6, pp.36:1-15.
- Sound, Complete and Minimal UCQ-Rewriting for Existential RulesMélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël ThomazoSemantic Web – Interoperability, Usability, Applicability, IOS Press, 2015, 6 (5), pp.451-475.
2014
- Valued preference-based instantiation of argumentation frameworks with varied strength defeatsSouhila Kaci, Christophe LabreucheInternational Journal of Approximate Reasoning, Elsevier, 2014, 55 (9), pp.2004-2027.
- Ontology-Aware Prediction from Rules: A Reconciliation-Based ApproachFatiha Saïs, Rallou ThomopoulosKnowledge-Based Systems, Elsevier, 2014, 67, pp.117-130.
- A postulate-based analysis of comparative preference statementsSouhila Kaci, Namrata PatelJournal of Applied Logic, Elsevier, 2014, 12 (4), pp.501-521.
Communications internationales
2020
- Ranking-Based Semantics for Sets of Attacking ArgumentsBruno Yun, Srdjan Vesic, Madalina CroitoruThe Thirty-Fourth AAAI Conference on Artificial Intelligence, Feb 2020, New York, United States.
- DAMN: Defeasible Reasoning Tool for Multi-Agent ReasoningAbdelraouf Hecham, Madalina Croitoru, Pierre Bisquert34th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, Feb 2020, New York, United States. <https://aaai.org/Conferences/AAAI-20/>
2019
- A General Framework to Build and Assess the Quality of Authority LinksMichel Chein, Alain Gutierrez, Michel Leclèreuild and Assess the Quality of Authority Links. K-CAP 2019 - Tenth International Conference on Knowledge Capture, Nov 2019, Los Angeles, United States. <10.1145/nnnnnnn.nnnnnnn>
- Deliberation Towards Transitivity with Unshared FeaturesArthur Boixel, Pierre Bisquert, Madalina CroitoruPRIMA 2019: Principles and Practice of Multi-Agent Systems, Oct 2019, Torino, Italy. pp.16.
- Coupling agent-based models and argumentation framework to simulate opinion dynamics: application to vegetarian diet diffusionPatrick Taillandier, Nicolas Salliou, Rallou ThomopoulosSocial Simulation Conference 2019, Sep 2019, Mainz, Germany.
- Oblivious and Semi-Oblivious Boundedness for Existential RulesPierre Bourhis, Michel Leclère, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana, Lily GaloisIJCAI 2019 - International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. <https://www.ijcai19.org>
- Recent progresses in data and knowledge integration for decision support in agri-food chainsSophie Aubin, Pierre Bisquert, Patrice Buche, Juliette Dibie, Liliana Ibanescu, Clement Jonquet, Catherine RousseyIC 2019 - Journées francophones d'Ingénierie des Connaissances, AFIA, Jul 2019, Toulouse, France. pp.43-59.
- Assessing Arguments with Schemes and FallaciesPierre Bisquert, Florence Dupin de Saint-Cyr, Philippe BesnardLPNMR 2019 - 15th International Conference on Logic Programming and Non-monotonic Reasoning, Jun 2019, Philadelphia, United States. pp.61-74.
- Reformulation-based query answering for RDF graphs with RDFS ontologiesMaxime Buron, François Goasdoué, Ioana Manolescu, Marie-Laure MugnierESWC 2019 - European Semantic Web Conference, Jun 2019, Portoroz, Slovenia.
- Querying Key-Value Stores under Single-Key Constraints: Rewriting and ParallelizationOlivier Rodriguez, Reza Akbarinia, Federico UllianaRuleML+RR 2019 - the 3rd International Joint Conference on Rules and Reasoning, Sep 2019, Bolzano, Italy. <https://rulemlrr19.inf.unibz.it/>
- A Voting Argumentation Framework: Considering the Reasoning behind PreferencesNikos Karanikolas, Pierre Bisquert, Christos KaklamanisICAART 2019 - 11th International Conference on Agents and Artificial Intelligence, Feb 2019, Prague, Czech Republic. pp.42-53.
- A Single Approach to Decide Chase Termination on Linear Existential RulesMichel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico UllianaICDT 2019 - International Conference on Database Theory, Mar 2019, Lisbonne, Portugal. <10.4230/LIPIcs.ICDT.2019.15>
- PAPOW: Papow Aggregates Preferences and Orderings to select WinnersMartin Jedwabny, Pierre Bisquert, Madalina CroitoruAAMAS 2019 - Autonomous Agents and Multiagent Systems, May 2019, Montréal, Canada. pp.2363-2365.
- NAKED: N-Ary Graphs from Knowledge Bases Expressed in Datalog±Bruno Yun, Madalina Croitoru, Srdjan Vesic, Pierre BisquertAAMAS 2019 - Autonomous Agents and MultiAgent Systems, May 2019, Montréal, Canada. pp.2390-2392.
2018
- A First Order Logic Benchmark for Defeasible Reasoning Tool ProfilingAbdelraouf Hecham, Madalina Croitoru, Pierre BisquertRuleML+RR, Sep 2018, Luxembourg, Luxembourg. pp.81-97.
- Demonstrating a benchmark for defeasible reasoningAbdelraouf Hecham, Madalina Croitoru, Pierre BisquertCOMMA: Conference on Computational Models of Argument, Sep 2018, Warso, Poland. pp.461-462.
- On a Flexible Representation for Defeasible Reasoning VariantsAbdelraouf Hecham, Pierre Bisquert, Madalina CroitoruAAMAS: Autonomous Agents and MultiAgent Systems, Jul 2018, Stockholm, Sweden. pp.1123-1131.
- Modelling multicriteria argument networks about reduced meat consumptionNicolas Salliou, Rallou ThomopoulosFOODSIM'2018, Apr 2018, Ghent, Belgium. pp.1-6.
- Consumer Demand for Sustainable versus Low-Cost Food Products: An Agent-based Modelling ApproachRallou Thomopoulos, Serafim BakalisFOODSIM'2018, Apr 2018, Ghent, Belgium. pp.1-6.
- Rewriting-Based Query Answering for Semantic Data Integration SystemsMaxime Buron, François Goasdoué, Ioana Manolescu, Marie-Laure MugnierBDA: Gestion de Données – Principes, Technologies et Applications, Oct 2018, Bucarest, Romania. <https://bda2018.ensea.fr>
- On the k-Boundedness for Existential RulesStathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico UllianaRuleML+RR, Sep 2018, Luxembourg, Luxembourg. pp.48-64.
- Multi-Criteria Decision Making with Existential Rules using Repair TechniquesNikos Karanikolas, Madalina Croitoru, Pierre Bisquert, Christos Kaklamanis, Rallou Thomopoulos, Bruno YunAI: Artificial Intelligence, Dec 2018, Cambridge, United Kingdom. pp.177-183.
- User-guided Repairing of Inconsistent Knowledge BasesAbdallah Arioua, Angela BonifatiEDBT: Extending Database Technology, Mar 2018, Vienna, Austria. pp.133-144.
- How Can You Mend a Broken Inconsistent KBs in Existential Rules Using ArgumentationBruno YunSSA: Summer School on Argumentation, Sep 2018, Varsovie, Poland. <http://ssa2018.argdiap.pl/>
- DAGGER: Datalog+/-Argumentation Graph GEneRatorBruno Yun, Madalina Croitoru, Srdjan Vesic, Pierre BisquertAAMAS: Autonomous Agents and Multiagent Systems, Jul 2018, Stockholm, Sweden. pp.1841-1843.
- Defining argumentation attacks in practice: an experiment in food packaging consumer expectationsBruno Yun, Rallou Thomopoulos, Pierre Bisquert, Madalina CroitoruICCS: International Conference on Conceptual Structures, Jun 2018, Edinburgh, United Kingdom. pp.73-87.
- Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into AccountMeghyn BienvenuIJCAI-ECAI: International Joint Conference on Artificial Intelligence - European Conference on Artificial Intelligence, Jul 2018, Stockholm, Sweden. pp.1721-1729.
- Finite LTL Synthesis with Environment Assumptions and Quality MeasuresAlberto Camacho, Meghyn Bienvenu, Sheila McilraithKR: Knowledge Representation and Reasoning, Oct 2018, Tempe, United States. <http://reasoning.eas.asu.edu/kr2018/>
- Graph Theoretical Properties of Logic Based Argumentation FrameworksBruno Yun, Madalina Croitoru, Pierre Bisquert, Srdjan VesicAAMAS: Autonomous Agents and Multiagent Systems, Jul 2018, Stockholm, Sweden. pp.2148-2149.
- A Single Approach to Decide Chase Termination on Linear Existential RulesMichel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico UllianaDL: Description Logics, Oct 2018, Tempe, United States. <http://www.dcs.bbk.ac.uk/~michael/dl2018/>
- Graph theoretical properties of logic based argumentation frameworks: proofs and general resultsBruno Yun, Madalina Croitoru, Srdjan Vesic, Pierre BisquertGKR: Graph Structures for Knowledge Representation and Reasoning, Aug 2017, Melbourne, Australia. pp.118-138.
- Inconsistency Measures for Repair Semantics in OBDABruno Yun, Srdjan Vesic, Madalina Croitoru, Pierre BisquertIJCAI-ECAI: International Joint Conference on Artificial Intelligence - European Conference on Artificial Intelligence, Jul 2018, Stockholm, Sweden. pp.1977-1983.
- How to generate a benchmark of logical argumentation graphs?Bruno Yun, Madalina Croitoru, Srdjan VesicCOMMA: Conference on Computational Models of Argument, Sep 2018, Varsovie, Poland. pp.475-476.
- Toward a More Efficient Generation of Structured Argumentation GraphsBruno Yun, Srdjan Vesic, Madalina CroitoruCOMMA: Conference on Computational Models of Argument, Sep 2018, Varsovie, Poland. pp.205-212.
- Viewpoints using ranking-based argumentation semanticsBruno Yun, Srdjan Vesic, Madalina Croitoru, Pierre BisquertCOMMA: Conference on Computational Models of Argument, Sep 2018, Varsovie, Poland. pp.381-392.
- Argumentation-based Explanation of Linked Data FusionFatiha Saïs, Rallou Thomopoulos, Anderson Carlos Ferreira da SilvaWETICE: Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2018, Paris, France. <10.1109/WETICE.2018.00059>
2017
- Ontology-Mediated Query Answering for Key-Value StoresMeghyn Bienvenu, Pierre Bourhis, Marie-Laure Mugnier, Sophie Tison, Federico UllianaIJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia. <https://ijcai-17.org>
- Answering Conjunctive Regular Path Queries over Guarded Existential RulesJean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Michaël ThomazoIJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia. <https://ijcai-17.org>
- An empirical evaluation of argumentation in explaining inconsistency tolerant query answeringAbdelraouf Hecham, Abdallah Arioua, Gem Stapleton, Madalina CroitoruDL: Description Logics, Jul 2017, Montpellier, France. <https://project.inria.fr/dl2017/>
- The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth QueriesMeghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii, Vladislav Ryzhikov, Michael ZakharyaschevPODS: Principles of Database Systems, Jun 2017, Chicago, United States.
- Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width QueriesMeghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael ZakharyaschevDL: Description Logics, Jul 2017, Montpellier, France.
- On the Parameterised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QLMeghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael ZakharyaschevDL: Description Logics, Jul 2017, Montpellier, France.
- Querying Key-Value Stores Under Simple Semantic Constraints : Rewriting and ParallelizationOlivier Rodriguez, Corentin Colomier, Cecilie Rivière, Reza Akbarinia, Federico UllianaBDA: Gestion de Données — Principes, Technologies et Applications, Nov 2017, Nancy, France. <https://project.inria.fr/bda2017/>
- Argumentation-Based Defeasible Reasoning For Existential RulesAbdelraouf Hecham, Madalina Croitoru, Pierre BisquertAAMAS: Autonomous Agents and MultiAgent Systems, May 2017, Sao Paulo, Brazil. pp.1568-1569.
- On the Chase for All Provenance Paths With Existential RulesAbdelraouf Hecham, Pierre Bisquert, Madalina CroitoruRuleML+RR, Jul 2017, London, United Kingdom. pp.135-150.
- A structural benchmark for logical argumentation frameworksBruno Yun, Srdjan Vesic, Madalina Croitoru, Pierre Bisquert, Rallou ThomopoulosIDA: Intelligence Data Analysis, Oct 2017, Londres, United Kingdom. pp.334-346.
- A termino-ontological resource to compare ligno-cellulosic biomass and agro-waste valorisation routesAmélie Breysse, Abdellatif Barakat, Helene Angellier-Coussy, Claire Mayer-Laigle, Patrice BucheEFITA WCCA CONGRESS, Jul 2017, Montpellier, France. <https://www.efita2017.org/>
- Combined Argumentation and Simulation to Support DecisionRallou Thomopoulos, Bernard Moulin, Laurent BedoussacExample to Assess the Attractiveness of a Change in Agriculture. IEA/AIE, Jun 2017, Arras, France. pp.275-281.
- Multidimensional Analysis Through Argumentation?Rallou Thomopoulos, Dominique PaturelContributions from a Short Food Supply Chain Experience. IEA/AIE, Jun 2017, Arras, France. pp.268-274.
- Combining argumentation and system dynamics simulation for decision support in the agri-food sectorRallou Thomopoulos, Bernard Moulin, Laurent BedoussacEFITA WCCA CONGRESS, Jul 2017, Montpellier, France. <http://www.efita2017.org>
- Selection of agro-waste valorisation routes based on a computational social choice and argumentation decision support toolPierre Bisquert, Patrice Buche, Madalina Croitoru, Nikos Karanikolas, Rallou ThomopoulosEFITA WCCA CONGRESS, Jul 2017, Montpellier, France. <http://www.efita2017.org>
- Information systems and computational methods for decision support in agricultural and food policies: A worst-case scenario in the wheat-to-bread chainRallou Thomopoulos, Serafim BakalisEFITA WCCA CONGRESS, Jul 2017, Montpellier, France. <http://www.efita2017.org>
- An Application of AOC-Posets: Indexing Large Corpuses for Text Generation Under ConstraintsAlain Gutierrez, Michel Chein, Marianne Huchard, Pierre PompidorISMIS: International Symposium on Methodologies for Intelligent Systems, Warsaw University of Technology, Poland, Jun 2017, Warsaw, Poland. pp.642-652.
- Are ranking semantics sensitive to the notion of core?Bruno Yun, Madalina Croitoru, Pierre BisquertAAMAS: Autonomous Agents and MultiAgent Systems, May 2017, Sao Paulo, Brazil. pp.943-951.
2016
- A Datalog+/-Domain-Specific Durum Wheat Knowledge BaseAbdallah Arioua, Patrice Buche, Madalina CroitoruMTSR: Metadata and Semantics Research, Nov 2016, Göttingen, Germany. pp.132-143.
- Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity AnalysisJean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim TabiaJELIA: Logics in Artificial Intelligence, Nov 2016, Larnaca, Cyprus. pp.64-80.
- ∃-ASP for Computing Repairs with Existential OntologiesJean-François Baget, Zied Bouraoui, Farid Nouioua, Odile Papini, Swan Rocher, Eric WürbelSUM: Scalable Uncertainty Management, Andrea G. B. Tettamanzi, Oct 2016, Nice, France. pp.230-245.
- DALEK: a Tool for Dialectical Explanations in Inconsistent Knowledge BasesAbdallah Arioua, Madalina Croitoru, Patrice BucheCOMMA: Computational Models of Argument, Sep 2016, Potsdam, Germany. pp.461-462.
- A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-based Argumentation FrameworksAbdallah Arioua, Madalina CroitoruECAI : European Conference on Artificial Intelligence, Aug 2016, The Hague, Netherlands. pp.55-63.
- Ontology-Mediated Queries for NOSQL DatabasesMarie-Laure Mugnier, Marie-Christine Rousset, Federico UllianaDL: Description Logics, Apr 2016, Cape Town, South Africa. pp.1051-1057.
- Ontology-Mediated Queries for NOSQL DatabasesMarie-Laure Mugnier, Marie-Christine Rousset, Federico UllianaAAAI Conference on Artificial Intelligence, Feb 2016, Phoenix, United States. pp.1051-1057.
- Revisiting Grounded Circumscription in Description LogicsStathis Delivorias, Sebastian RudolphRR: Web Reasoning and Rule Systems, Sep 2016, Aberdeen, United Kingdom. pp.46-60.
- What if machines could be creative?Fabian Suchanek, Colette Menard, Meghyn Bienvenu, Cyril ChapellierISWC: International Semantic Web Conference, Oct 2016, Kobe, Japan. <http://iswc2016.semanticweb.org>
- Can You Imagine... A Language for Combinatorial Creativity?Fabian Suchanek, Colette Menard, Meghyn Bienvenu, Cyril ChapellierISWC: International Semantic Web Conference, Oct 2016, Kobe, Japan. pp.532-548.
- Representing Multi-Scale Datalog +/- Using Hierarchical GraphsCornelius Croitoru, Madalina CroitoruICCS: International Conference on Conceptual Structures, Jul 2016, Annecy, France. pp.59-71.
- A decision support system using multi-source scientific data, an ontological approach and soft computing - application to eco-efficient biorefineryCharlotte Lousteau-Cazalet, Abdellatif Barakat, Jean-Pierre Belaud, Patrice Buche, Brigitte Charnomordic, Stéphane Dervaux, Sébastien Destercke, Juliette Dibie, Caroline Sablayrolles, Claire VialleFUZZ-IEEE, Jul 2016, Vancouver, Canada. pp.249-256.
- On the Complexity of Evaluating Regular Path Queries over Linear Existential RulesMeghyn Bienvenu, Michaël ThomazoRR: Web Reasoning and Rule Systems, Sep 2016, Aberdeen, United Kingdom. pp.1-17.
- Dialectical Characterization of Consistent Query Explanation with Existential RulesAbdallah Arioua, Madalina CroitoruFLAIRS: Florida Artificial Intelligence Research Society, May 2016, Key Largo, United States. <http://www.flairs-29.info>
- On The Use Of Non-Objection Inference In Inconsistent Lightweight OntologiesZied Bouraoui, Salem Benferhat, Madalina Croitoru, Odile Papini, Karim TabiaIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States. <http://ijcai-16.org/>
- Extending GWAPs for Building Profile Aware Associative NetworksAbdelraouf Hecham, Madalina Croitoru, Pierre Bisquert, Patrice BucheICCS: International Conference on Conceptual Structures, Jul 2016, Annecy, France. pp.43-58.
- A General Modifier-Based Framework for Inconsistency-Tolerant Query AnsweringJean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim TabiaKR: Principles of Knowledge Representation and Reasoning, Apr 2016, Cape Town, South Africa. pp.513-516.
- Arguing About End-of-Life of Packagings: Preferences to the RescueBruno Yun, Pierre Bisquert, Patrice Buche, Madalina CroitoruMTSR: Metadata and Semantics Research, Nov 2016, Göttingen, Germany. pp.119-131.
- An argumentation workflow for reasoning in Ontology Based Data AccessBruno Yun, Madalina CroitoruCOMMA: Computational Models of Argument, Sep 2016, Postdam, Germany. pp.61-68.
- Xart system: discovering and extracting correlated arguments of n-ary relations from textSoumia Lilia Berrahou, Patrice Buche, Juliette Dibie, Mathieu Roche6th International Conference on Web Intelligence, Mining and Semantics (WIMS), Jun 2016, Nimes, France. pp.8:1-8:12.
- Query-based Comparison of Mappings in Ontology-based Data AccessMeghyn Bienvenu, Riccardo RosatiKR: Knowledge Representation and Reasoning, Apr 2016, Cape Town, South Africa.
- Ontology-Mediated Query Answering: Harnessing Knowledge to Get More From DataMeghyn BienvenuIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States. <http://ijcai-16.org/>
- First Order-Rewritability and Containment of Conjunctive Queries in Horn Description LogicsMeghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank WolterIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States. <http://ijcai-16.org/>
- Associer argumentation et simulation en aide à la décision : Illustration en agroalimentaireRallou Thomopoulos, Sébastien Gaucel, Bernard MoulinEGC: Extraction et Gestion des Connaissances, Jan 2016, Reims, France. <http://egc2016.univ-reims.fr/>
- Substantive irrationality in cognitive systemsPierre Bisquert, Madalina Croitoru, Florence Dupin de Saint-Cyr, Abdelraouf HechamECAI: European Conference on Artificial Intelligence, Aug 2016, La Haye, Netherlands. pp.1642-1643.
- Explaining the Results of an Optimization-Based Decision Support System – A Machine Learning ApproachMichael Morin, Rallou Thomopoulos, Irène Abi-Zeid, Maxime Léger, François Grondin, Martin PleauAPMOD: APplied mathematical programming and MODelling, Jun 2016, Brno, Czech Republic. <http://www.apmod2016.org/>
- Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge BasesMeghyn Bienvenu, Camille Bourgaux, François GoasdouéAAAI Conference on Artificial Intelligence, Feb 2016, Phoenix, United States. <http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12025>
- Query-Driven Repairing of Inconsistent DL-Lite Knowledge BasesMeghyn Bienvenu, Camille Bourgaux, François GoasdouéIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States. <http://ijcai-16.org/>
- Explanation Dialogues on Erroneous SameAs Using Argumentation TheoryAbdallah Arioua, Madalina Croitoru, Laura Papaleo, Nathalie Pernelle, Swan RocherICCS: International Conference on Conceptual Structures, Jul 2016, Annecy, France. <https://www.irit.fr/ICCS2016/>
- A Proposal for Modelling Agrifood Chains as Multi Agent SystemsMadalina Croitoru, Patrice Buche, Brigitte Charnomordic, Jérôme Fortin, Hazael Jones, Pascal Neveu, Danai Symeonidou, Rallou ThomopoulosIPMU: Information Processing and Management of Uncertainty, Jun 2016, Eindhoven, Netherlands. pp.498-509.
- On the Explanation of SameAs Statements using ArgumentationAbdallah Arioua, Madalina Croitoru, Laura Papaleo, Nathalie Pernelle, Swan RocherSUM: Scalable Uncertainty Management, Sep 2016, Nice, France. pp.51-66.
- Query-driven Repairing of Inconsistent DL-Lite Knowledge BasesMeghyn Bienvenu, Camille Bourgaux, François GoasdouéDL: Description Logics, Apr 2016, Le Cap, South Africa. <http://dl2016.cs.uct.ac.za/>
- Key Discovery for Numerical Data: Application to Oenological PracticesDanai Symeonidou, Isabelle Sanchez, Madalina Croitoru, Pascal Neveu, Nathalie Pernelle, Fatiha Saïs, Aurelie Roland-Vialaret, Patrice Buche, Aunur Rofiq Muljarto, Remi SchneiderICCS: International Conference on Conceptual Structures, Jul 2016, Annecy, France. pp.222-236.
2015
- Introducing Preference-Based Argumentation to Inconsistent Ontological Knowledge BasesMadalina Croitoru, Rallou Thomopoulos, Srdjan VesicPRIMA: Principles and Practice of Multi-Agent Systems, Oct 2015, Bertino, Italy. pp.594-602.
- Towards a dual process cognitive model for argument evaluationPierre Bisquert, Madalina Croitoru, Florence Dupin de Saint CyrSUM: Scalable Uncertainty Management, Sep 2015, Quebec City, Canada. pp.298-313.
- Formalizing Explanatory DialoguesAbdallah Arioua, Madalina CroitoruSUM: Scalable Uncertainty Management, Sep 2015, Quebec City, Canada. pp.282-297.
- Ontology Evolution for Experimental Data in FoodRim Touhami, Patrice Buche, Juliette Dibie, Liliana IbanescuMTSR: Metadata and Semantics Research, Sep 2015, Manchester, United Kingdom. pp.393-404.
- Query Answering Explanation in Inconsistent Datalog+/- Knowledge BasesAbdallah Arioua, Nouredine Tamani, Madalina CroitoruDEXA: Database and Expert Systems Applications, Sep 2015, Valence, Spain. <http://dexa.org/dexa2015>
- Four Ways to Evaluate Arguments According to Agent EngagementPierre Bisquert, Madalina Croitoru, Florence Dupin de Saint Cyr - BannayBIH: Brain Informatics and Health, Aug 2015, London, United Kingdom. pp.445-456.
- Datalog+, RuleML and OWL 2: Formats and Translations for Existential RulesJean-François Baget, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, Clément SipieterRuleML: Web Rule Symposium, Aug 2015, Berlin, Germany.
- Graal: A Toolkit for Query Answering with Existential RulesJean-François Baget, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, Clément SipieterRuleML: Web Rule Symposium, Aug 2015, Berlin, Germany. pp.328-344.
- A Bipolar Approach for Intuitionistic Fuzzy Alternative RankingNouredine TamaniFUZZ-IEEE, Aug 2015, Istanbul, Turkey. <10.1109/FUZZ-IEEE.2015.7337830>
- Query Rewriting for Existential Rules with Compiled PreorderMélanie König, Michel Leclère, Marie-Laure MugnierIJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.3006-3112.
- Combining Existential Rules and Transitivity: Next StepsJean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan RocherIJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.2720-2726.
- Variability representation in product lines using concept lattices: feasibility study with descriptions from Wikipedia's product comparison matricesJessie Carbonnel, Marianne Huchard, Alain GutierrezFCA&A-ICFCA: International Conference on Formal Concept Analysis - International Conference on Formal Concept Analysis, University of Málaga, Jun 2015, Nerja, Málaga, Spain.
- Investigating the Mapping between Default Logic and Inconsistency-Tolerant SemanticsAbdallah Arioua, Nouredine Tamani, Madalina Croitoru, Jérôme Fortin, Patrice BucheICAISC: International Conference on Artificial Intelligence and Soft Computing, Jun 2015, Zakopane, Poland. pp.554-564.
- Queries and Updates on Big XML Documents (Extended Abstract)Nicole Bidoit, Dario Colazzo, Carlo Sartiani, Alessandro Solimando, Federico UllianaSEBD: Sistemi Evoluti per Basi di Dati, Jun 2015, Gaeta, Italy. <http://sebd2015.dia.uniroma3.it/>
- Extracting Bounded-level Modules from Deductive RDF TriplestoresMarie-Christine Rousset, Federico UllianaAAAI Conference on Artificial Intelligence, Jan 2015, Austin, TX, United States. <www.aaai.org/Conferences/AAAI/aaai15.php>
- Information for decision-making is ubiquitous: Revisiting the reverse engineering mode in breadmaking technologyRallou Thomopoulos, Ahmed Chadli, Madalina Croitoru, Joel Abecassis, Gérard Brochoire, Hubert ChironRCIS: Research Challenges in Information Science, May 2015, Athens, Greece. pp.250-261.
- Andromeda: A System for Processing Queries and Updates on Big XML DocumentsNicole Bidoit, Dario Colazzo, Carlo Sartiani, Alessandro Solimando, Federico UllianaBigDa: Big Data Applications and Principles, Sep 2015, Poitiers, France. pp.218-228.
2014
- On Ontological Expressivity and Modelling Argumentation Schemes Using COGUIWael Hamdan, Rady Khazem, Ghaida Rebdawi, Madalina Croitoru, Alain Gutierrez, Patrice BucheAI: Artificial Intelligence, Dec 2014, Cambrige, United Kingdom. pp.5-18.
- Query Failure Explanation in Inconsistent Knowledge Bases: A Dialogical ApproachAbdallah Arioua, Nouredine Tamani, Madalina Croitoru, Patrice BucheAI: Artificial Intelligence, Dec 2014, Cambridge, United Kingdom. pp.119-133.
- A Food Packaging Use Case for ArgumentationNouredine Tamani, Patricio Mosse, Madalina Croitoru, Patrice Buche, Valérie GuillardMTSR: Metadata and Semantics Research, Nov 2014, Karlsruhe, Germany. pp.344-358.
- Ontology-Based Model for Food Transformation Processes - Application to WinemakingAunur-Rofiq Muljarto, Jean-Michel Salmon, Pascal Neveu, Brigitte Charnomordic, Patrice BucheMTSR: Metadata and Semantics Research, Nov 2014, Karlsruhe, Germany. pp.329-343.
- From NL Preference Expressions to Comparative Preference Statements: A Preliminary Study in Eliciting Preferences for Customised Decision Support.Souhila Kaci, Namrata Patel, Violaine PrinceICTAI: International Conference on Tools with Artificial Intelligence, Nov 2014, Limassol, Cyprus. pp.591-598.
- A Psychological Analysis of Preference Semantics in Conditional Logics for Preference RepresentationSouhila Kaci, Éric RaufasteSUM: Scalable Uncertainty Management, Sep 2014, Oxford, United Kingdom. pp.209-222.
- Contextual Itemset Mining in DBpediaJulien Rabatel, Madalina Croitoru, Dino Ienco, Pascal PonceletLD4KD: Linked Data for Knowledge Discovery, Sep 2014, Nancy, France.
- Query Failure Explanation in Inconsistent Knowledge Bases Using ArgumentationAbdallah Arioua, Nouredine Tamani, Madalina Croitoru, Patrice BucheCOMMA: Computational Models of Argument, Sep 2014, Scottish Highlands, Pitlochry, United Kingdom. pp.101-108.
- Enriching queries using argumentation: an industrial application of argumentationNouredine Tamani, Patricio Mosse, Madalina Croitoru, Patrice BucheCOMMA: Computational Models of Argument, Sep 2014, Pitlochry, United Kingdom. pp.477-478.
- An Introduction to Ontology-Based Query Answering with Existential RulesMarie-Laure Mugnier, Michaël ThomazoRW: Reasoning Web, Sep 2014, Athens, Greece. pp.245-278.
- Update Operators for Inconsistent Query Answering: A New Point of ViewRicardo Rodriguez, Madalina CroitoruSUM: Scalable Uncertainty Management, Sep 2014, Oxford, United Kingdom. pp.100-105.
- Abduction and Dialogical Proof in Argumentation and Logic ProgrammingRichard Booth, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert van der TorreECAI: European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.117-122.
- Extending Acyclicity Notions for Existential RulesJean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan RocherECAI: European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.39-44.
- Eco-Efficient Packaging Material Selection for Fresh Produce: Industrial SessionPatricio Mosse, Patrice Buche, Nouredine Tamani, Madalina Croitoru, Valérie Guillard, Carole Guillaume, Nathalie GontardICCS: International Conference on Conceptual Structures, Jul 2014, Lasi, Romania. pp.305-310.
- A Constructive Argumentation FrameworkSouhila Kaci, Yakoub SalhiAAAI Conference on Artificial Intelligence, Jul 2014, Quebec city, Canada. pp.1070-1076.
- Conceptual Graphs are Also GraphsMichel Chein, Marie-Laure MugnierICCS: International Conference on Conceptual Structures, Jul 2014, Iasi, Romania. pp.1-18.
- Default Reasoning Implementation in CoGuiPatrice Buche, Jérôme Fortin, Alain GutierrezICCS: International Conference on Conceptual Structures, Jul 2014, Iasi, Romania. pp.118-129.
- Defining Key Semantics for the RDF Datasets: Experiments and EvaluationsManuel Atencia, Michel Chein, Madalina Croitoru, Jérôme David, Michel Leclère, Nathalie Pernelle, Fatiha Saïs, François Scharffe, Danai SymeonidouICCS: International Conference on Conceptual Structures, Jul 2014, Iasi, Romania. pp.65-78.
- Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic NegationJean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan RocherNMR: Non-Monotonic Reasoning, Jul 2014, Vienna, Austria.
- Fuzzy Argumentation System for Decision SupportNouredine Tamani, Madalina CroitoruIPMU: Information Processing and Management of Uncertainty, Jul 2014, Montpellier, France. pp.77-86.
- A quantitative preference-based structured argumentation system for decision supportNouredine Tamani, Madalina CroitoruFUZZ-IEEE, Jul 2014, Beijing, China. pp.1408-1415.
- Investigating the quality of a bibliographic knowledge base using partitioning semanticsLéa Guizol, Madalina CroitoruFUZZ: Fuzzy Systems, Jul 2014, Beijing, China. pp.948-955.
- Conflicting viewpoint relational database querying: an argumentation approachNouredine Tamani, Madalina Croitoru, Patrice BucheAAMAS: Autonomous Agents and Multiagent Systems, IFAAMAS/ACM, May 2014, Paris, France. pp.1553-1554.
- Using Comparative Preference Statements in Hypervolume-Based Interactive Multiobjective OptimizationDimo Brockhoff, Youssef Hamadi, Souhila KaciLION: Learning and Intelligent Optimization, Feb 2014, Gainesville, FL, United States. pp.121-136.
- Alignement d'ontologies : exploitation des ontologies liées sur le web de donnéesThomas Hecht, Patrice Buche, Juliette Dibie, Mariana Ibanescu, Cassia Trojahn dos SantosEGC: Extraction et Gestion des Connaissances, Jan 2014, Rennes, France. pp.23-34.
- An Analysis of the SUDOC Bibliographic Knowledge Base from a Link Validity ViewpointLéa Guizol, Olivier Rousseaux, Madalina Croitoru, Yann Nicolas, Aline Le ProvostIPMU: Information Processing and Management of Uncertainty, Jul 2014, Montpellier, France. pp.204-213.
Dernière mise à jour le 03/06/2019
Département : Informatique
Responsable : Marie-Laure MUGNIER
Adjoint : Jean-François BAGET
Site de l'équipe : http://team.inria.fr/graphik
Logiciels développés par l'équipe GRAPHIK
Fiche-équipe GRAPHIK
Télécharger la fiche-équipe GRAPHIK du rapport d'activité 2008-2013 :