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

Non permanents

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

  1. Cross-European initial survey on the use of mathematical models in food industry
    Ilija 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 Tonda
    Journal of Food Engineering, Elsevier, 2019, 261, pp.109-116.
  2. Expertise-based decision support for managing food quality in agri-food companies
    Patrice Buche, Bernard Cuq, Jerome Fortin, Clément Sipieter
    Computers and Electronics in Agriculture, Elsevier, 2019, 163, pp.104843.
  3. 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.
  4. Computing and Explaining Query Answers over Inconsistent DL-Lite Knowledge Bases
    Meghyn Bienvenu, Camille Bourgaux, François Goasdoué
    Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2019, 64, pp.563-644.
  5. Reduced Meat Consumption: from Multicriteria Argument Modeling to Agent-Based Social Simulation
    Rallou Thomopoulos, Nicolas Salliou, Carolina Abreu, Vincent Cohen, Timothée Fouqueray
    International Journal of Food Studies, ISEKI Food Association, In press.

2018

  1. Je mange moins de viande ! Quels arguments ?
    Nicolas Salliou, Rallou Thomopoulos
    Modé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.
  2. Choice of environment-friendly food packagings through argumentation systems and preferences
    Bruno Yun, Pierre Bisquert, Patrice Buche, Madalina Croitoru, Valérie Guillard, Rallou Thomopoulos
    Ecological Informatics, Elsevier, 2018, 48, pp.24-36.
  3. Consumer perception data and scientific arguments about food packaging functionalities for fresh strawberries
    Bruno Yun, Patrice Buche, Pierre Bisquert, Sandrine Costa, Madalina Croitoru, Julien Cufi, Valérie Guillard, Alrick Oudot, Rallou Thomopoulos
    Data in Brief, Elsevier, 2018, 20, pp.1924-1927.
  4. Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity
    Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii, Michael Zakharyaschev
    Journal of the ACM (JACM), Association for Computing Machinery, 2018, 65 (5), pp.1-51.
  5. A Decision Support Tool for Agricultural Applications Based on Computational Social Choice and Argumentation
    Nikos Karanikolas, Pierre Bisquert, Patrice Buche, Christos Kaklamanis, Rallou Thomopoulos
    International Journal of Agricultural and Environmental Information Systems, IGI Global, 2018, 9 (3), pp.54-73.
  6. An Automated Design Framework for Multicellular Recombinase Logic
    Sarah Guiziou, Federico Ulliana, Violaine Moreau, Michel Leclère, Jérôme Bonnet
    ACS Synthetic Biology, American Chemical Society, 2018, 7 (5), pp.1406-1412.
  7. The virtual food system: Innovative models and experiential feedback in technologies for winemaking, the cereals chain, food packaging and eco-designed starter production
    César 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éa
    Innovative Food Science and Emerging Technologies, Elsevier, 2018, Food Science and Technology in France: INRA’s contribution to this area, 46, pp.54-64.
  8. Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin
    Jean-François Baget, Laurent Garcia, Fabien Garreau, Claire Lefèvre, Swan Rocher, Igor Stéphan
    Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2018, 82 (1-3), pp.3-41.
  9. Supporting decision for environment-friendly practices in the agri-food sector
    Rallou Thomopoulos, Bernard Moulin, Laurent Bedoussac
    When 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

  1. Logic-based argumentation with existential rules
    Abdallah Arioua, Madalina Croitoru, Srdjan Vesic
    International Journal of Approximate Reasoning, Elsevier, 2017, 90, pp.76-106.
  2. Explanatory dialogues with argumentative faculties over inconsistent knowledge bases
    Abdallah Arioua, Patrice Buche, Madalina Croitoru
    Expert Systems with Applications, Elsevier, 2017, 80, pp.244-262.
  3. MAP-OPT: A software for supporting decision-making in the field of modified atmosphere packaging of fresh non respiring foods
    Valé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 Thuault
    Packaging Research, De Gruyter OPEN, 2017, 2 (1), pp.28.
  4. Developing data interoperability using standards: A wheat community use case
    Esther 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 Quesneville
    F1000Research, Faculty of 1000, 2017, 6 (1843). <10.12688/f1000research.12234.2>
  5. A generic ontological network for Agri-food experiment integration – Application to viticulture and winemaking
    Aunur Rofiq Muljarto, Jean-Michel Salmon, Brigitte Charnomordic, Patrice Buche, Anne Tireau, Pascal Neveu
    Computers and Electronics in Agriculture, Elsevier, 2017, 140, pp.433-442.
  6. Xart: Discovery of correlated arguments of n-ary relations in text
    Soumia Lilia Berrahou, Patrice Buche, Juliette Dibie, Mathieu Roche
    Expert Systems with Applications, Elsevier, 2017, 73, pp.115-124.
  7. Formalizing Cognitive Acceptance of Arguments: Durum Wheat Selection Interdisciplinary Study
    Pierre Bisquert, Madalina Croitoru, Florence Dupin de Saint-Cyr, Abdelraouf Hecham
    Minds and Machines, Springer Verlag, 2017, 27 (1), pp.233-252.

2016

  1. A decision support system for eco-efficient biorefinery process comparison using a semantic approach
    Charlotte Lousteau-Cazalet, Abdellatif Barakat, Jean-Pierre Belaud, Patrice Buche, Guillaume Busset, Brigitte Charnomordic, Stéphane Dervaux, Sébastien Destercke, Juliette Dibie, Caroline Sablayrolles, Claire Vialle
    Computers and Electronics in Agriculture, Elsevier, 2016, 127, pp.351-367.
  2. Argumentation update in YALLA (Yet Another Logic Language for Argumentation)
    Florence Dupin de Saint-Cyr, Pierre Bisquert, Claudette Cayrol, Marie-Christine Lagasquie-Schiex
    International Journal of Approximate Reasoning, Elsevier, 2016, 75, pp. 57-92.
  3. Dynamic Vehicle Emissions Reduction with Technical and Behavioral Approach
    Mohammad Syafrizal, Bambang Sugiarto, Setyo Sarwanto Moersidik, Jérôme Fortin, Nadia Hamani, Estelle Bretagne
    International Journal of Technology Management, Inderscience, 2016, 7 (5), pp.871-880.
  4. Ontology evolution for an experimental data integration system
    Liliana Ibanescu, Patrice Buche, Stéphane Dervaux, Juliette Dibie, Rim Touhami
    International Journal of Metadata, Semantics and Ontologies, Inderscience, 2016, 11 (4), pp.231-242.
  5. Query and Predicate Emptiness in Ontology-Based Data Access
    Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter
    Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2016, 56, pp.1-59.

2015

  1. Decision Support for Agri-Food Chains: A Reverse Engineering Argumentation-Based Approach
    Rallou Thomopoulos, Madalina Croitoru, Nouredine Tamani
    Ecological Informatics, Elsevier, 2015, 26, pp.182-191.
  2. An argumentation system for eco-efficient packaging material selection
    Nouredine Tamani, Patricio Mosse, Madalina Croitoru, Patrice Buche, Valérie Guillard, Carole Guillaume, Nathalie Gontard
    Computers and Electronics in Agriculture, Elsevier, 2015, 113, pp.174-192.
  3. 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, Luc Menut, Carole Guillaume, Nathalie Gontard
    Computers and Electronics in Agriculture, Elsevier, 2015, 111, pp.131-139.
  4. My Corporis Fabrica Embryo: An ontology-based 3D spatio-temporal modeling of human embryo development
    Pierre-Yves Rabattu, Benoit Massé, Federico Ulliana, Marie-Christine Rousset, Damien Rohmer, Jean-Claude Léon, Olivier Palombi
    Journal of Biomedical Semantics, BioMed Central, 2015, 6, pp.36:1-15.
  5. Sound, Complete and Minimal UCQ-Rewriting for Existential Rules
    Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
    Semantic Web – Interoperability, Usability, Applicability, IOS Press, 2015, 6 (5), pp.451-475.

2014

  1. Valued preference-based instantiation of argumentation frameworks with varied strength defeats
    Souhila Kaci, Christophe Labreuche
    International Journal of Approximate Reasoning, Elsevier, 2014, 55 (9), pp.2004-2027.
  2. Ontology-Aware Prediction from Rules: A Reconciliation-Based Approach
    Fatiha Saïs, Rallou Thomopoulos
    Knowledge-Based Systems, Elsevier, 2014, 67, pp.117-130.
  3. A postulate-based analysis of comparative preference statements
    Souhila Kaci, Namrata Patel
    Journal of Applied Logic, Elsevier, 2014, 12 (4), pp.501-521.

Communications internationales

2019

  1. Coupling agent-based models and argumentation framework to simulate opinion dynamics: application to vegetarian diet diffusion
    Patrick Taillandier, Nicolas Salliou, Rallou Thomopoulos
    Social Simulation Conference 2019, Sep 2019, Mainz, Germany.
  2. Querying Key-Value Stores under Single-Key Constraints: Rewriting and Parallelization
    Olivier Rodriguez, Reza Akbarinia, Federico Ulliana
    RuleML+RR, Sep 2019, Bolzano, Italy. <https://rulemlrr19.inf.unibz.it/>
  3. Oblivious and Semi-Oblivious Boundedness for Existential Rules
    Pierre Bourhis, Michel Leclère, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana, Lily Galois
    IJCAI: International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. <https://www.ijcai19.org>
  4. Assessing Arguments with Schemes and Fallacies *
    Pierre Bisquert, Florence Dupin de Saint-Cyr, Philippe Besnard
    Logic Programming and Nonmonotonic Reasoning - 15th International Conference, 2019, Jun 2019, Philadelphia, United States. pp.61-74.
  5. Reformulation-based query answering for RDF graphs with RDFS ontologies
    Maxime Buron, François Goasdoué, Ioana Manolescu, Marie-Laure Mugnier
    ESWC: European Semantic Web Conference, Jun 2019, Portoroz, Slovenia.
  6. PAPOW: Papow Aggregates Preferences and Orderings to select Winners
    Martin Jedwabny, Pierre Bisquert, Madalina Croitoru
    International Conference on Autonomous Agents and Multiagent Systems, May 2019, Montréal, Canada.
  7. NAKED: N-Ary Graphs from Knowledge Bases Expressed in Datalog±
    Bruno Yun, Madalina Croitoru, Srdjan Vesic, Pierre Bisquert
    AAMAS 2019, May 2019, Montréal, Canada.
  8. A Single Approach to Decide Chase Termination on Linear Existential Rules
    Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana
    ICDT 2019 - International Conference on Database Theory, Mar 2019, Lisbonne, Portugal. <10.4230/LIPIcs.ICDT.2019.15>
  9. A Voting Argumentation Framework: Considering the Reasoning behind Preferences
    Nikos Karanikolas, Pierre Bisquert, Christos Kaklamanis
    ICAART: International Conference on Agents and Artificial Intelligence, Feb 2019, Prague, Czech Republic. pp.42-53.

2018

  1. Multi-Criteria Decision Making with Existential Rules using Repair Techniques
    Nikos Karanikolas, Madalina Croitoru, Pierre Bisquert, Christos Kaklamanis, Rallou Thomopoulos, Bruno Yun
    AI: Artificial Intelligence, Dec 2018, Cambridge, United Kingdom. pp.177-183.
  2. Finite LTL Synthesis with Environment Assumptions and Quality Measures
    Alberto Camacho, Meghyn Bienvenu, Sheila Mcilraith
    KR: Knowledge Representation and Reasoning, Oct 2018, Tempe, United States. <http://reasoning.eas.asu.edu/kr2018/>
  3. A Single Approach to Decide Chase Termination on Linear Existential Rules
    Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana
    DL: Description Logics, Oct 2018, Tempe, United States. <http://www.dcs.bbk.ac.uk/~michael/dl2018/>
  4. Rewriting-Based Query Answering for Semantic Data Integration Systems
    Maxime Buron, François Goasdoué, Ioana Manolescu, Marie-Laure Mugnier
    BDA: Gestion de Données – Principes, Technologies et Applications, Oct 2018, Bucarest, Romania. <https://bda2018.ensea.fr>
  5. On the k-Boundedness for Existential Rules
    Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
    RuleML+RR, Sep 2018, Luxembourg, Luxembourg. pp.48-64.
  6. 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.
  7. 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.
  8. Toward a More Efficient Generation of Structured Argumentation Graphs
    Bruno Yun, Madalina Croitoru
    COMMA: Conference on Computational Models of Argument, Sep 2018, Varsovie, Poland. pp.205-212.
  9. Viewpoints using ranking-based argumentation semantics
    Bruno Yun, Madalina Croitoru, Pierre Bisquert
    COMMA: Conference on Computational Models of Argument, Sep 2018, Varsovie, Poland. pp.381-392.
  10. 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.
  11. How Can You Mend a Broken Inconsistent KBs in Existential Rules Using Argumentation
    Bruno Yun
    SSA: Summer School on Argumentation, Sep 2018, Varsovie, Poland. <http://ssa2018.argdiap.pl/>
  12. Inconsistency Measures for Repair Semantics in OBDA
    Bruno Yun, Srdjan Vesic, Madalina Croitoru, Pierre Bisquert
    IJCAI-ECAI: International Joint Conference on Artificial Intelligence - European Conference on Artificial Intelligence, Jul 2018, Stockholm, Sweden. pp.1977-1983.
  13. Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account
    Meghyn Bienvenu
    IJCAI-ECAI: International Joint Conference on Artificial Intelligence - European Conference on Artificial Intelligence, Jul 2018, Stockholm, Sweden. pp.1721-1729.
  14. On a Flexible Representation for Defeasible Reasoning Variants
    Abdelraouf Hecham, Pierre Bisquert, Madalina Croitoru
    AAMAS: Autonomous Agents and MultiAgent Systems, Jul 2018, Stockholm, Sweden. pp.1123-1131.
  15. DAGGER: Datalog+/-Argumentation Graph GEneRator
    Bruno Yun, Madalina Croitoru, Srdjan Vesic, Pierre Bisquert
    AAMAS: Autonomous Agents and Multiagent Systems, Jul 2018, Stockholm, Sweden. pp.1841-1843.
  16. Graph Theoretical Properties of Logic Based Argumentation Frameworks
    Bruno Yun, Madalina Croitoru, Pierre Bisquert, Srdjan Vesic
    AAMAS: Autonomous Agents and Multiagent Systems, Jul 2018, Stockholm, Sweden. pp.2148-2149.
  17. Argumentation-based Explanation of Linked Data Fusion
    Fatiha Saïs, Rallou Thomopoulos, Anderson Carlos Ferreira da Silva
    WETICE: Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2018, Paris, France. <10.1109/WETICE.2018.00059>
  18. Defining argumentation attacks in practice: an experiment in food packaging consumer expectations
    Bruno Yun, Rallou Thomopoulos, Pierre Bisquert, Madalina Croitoru
    ICCS: International Conference on Conceptual Structures, Jun 2018, Edinburgh, United Kingdom. pp.73-87.
  19. User-guided Repairing of Inconsistent Knowledge Bases
    Abdallah Arioua, Angela Bonifati
    EDBT: Extending Database Technology, Mar 2018, Vienna, Austria. pp.133-144.

2017

  1. Querying Key-Value Stores Under Simple Semantic Constraints : Rewriting and Parallelization
    Olivier Rodriguez, Corentin Colomier, Cecilie Rivière, Reza Akbarinia, Federico Ulliana
    BDA: Gestion de Données — Principes, Technologies et Applications, Nov 2017, Nancy, France. <https://project.inria.fr/bda2017/>
  2. 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.
  3. Graph theoretical properties of logic based argumentation frameworks: proofs and general results
    Bruno Yun, Madalina Croitoru, Srdjan Vesic, Pierre Bisquert
    GKR: Graph Structures for Knowledge Representation and Reasoning, Aug 2017, Melbourne, Australia. pp.118-138.
  4. Answering Conjunctive Regular Path Queries over Guarded Existential Rules
    Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Michaël Thomazo
    IJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia. <https://ijcai-17.org>
  5. Ontology-Mediated Query Answering for Key-Value Stores
    Meghyn Bienvenu, Pierre Bourhis, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana
    IJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia. <https://ijcai-17.org>
  6. Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries
    Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
    DL: Description Logics, Jul 2017, Montpellier, France.
  7. On the Parameterised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL
    Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
    DL: Description Logics, Jul 2017, Montpellier, France.
  8. 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. <https://project.inria.fr/dl2017/>
  9. 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. A termino-ontological resource to compare ligno-cellulosic biomass and agro-waste valorisation routes
    Amélie Breysse, Abdellatif Barakat, Helene Angellier-Coussy, Claire Mayer-Laigle, Patrice Buche
    EFITA WCCA 2017 Conference, Jul 2017, Montpellier, France.
  11. 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. <http://www.efita2017.org>
  12. Information systems and computational methods for decision support in agricultural and food policies: A worst-case scenario in the wheat-to-bread chain
    Rallou Thomopoulos, Serafim Bakalis
    EFITA WCCA CONGRESS, Jul 2017, Montpellier, France. <http://www.efita2017.org>
  13. Combining argumentation and system dynamics simulation for decision support in the agri-food sector
    Rallou Thomopoulos, Bernard Moulin, Laurent Bedoussac
    EFITA WCCA CONGRESS, Jul 2017, Montpellier, France. <http://www.efita2017.org>
  14. Combined Argumentation and Simulation to Support Decision
    Rallou Thomopoulos, Bernard Moulin, Laurent Bedoussac
    Example to Assess the Attractiveness of a Change in Agriculture. IEA/AIE, Jun 2017, Arras, France. pp.275-281.
  15. Multidimensional Analysis Through Argumentation?
    Rallou Thomopoulos, Dominique Paturel
    Contributions from a Short Food Supply Chain Experience. IEA/AIE, Jun 2017, Arras, France. pp.268-274.
  16. An Application of AOC-Posets: Indexing Large Corpuses for Text Generation Under Constraints
    Alain Gutierrez, Michel Chein, Marianne Huchard, Pierre Pompidor
    ISMIS: International Symposium on Methodologies for Intelligent Systems, Warsaw University of Technology, Poland, Jun 2017, Warsaw, Poland. pp.642-652.
  17. The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries
    Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii, Vladislav Ryzhikov, Michael Zakharyaschev
    PODS: Principles of Database Systems, Jun 2017, Chicago, United States.
  18. 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.
  19. 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.

2016

  1. 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.
  2. 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.
  3. Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis
    Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia
    JELIA: Logics in Artificial Intelligence, Nov 2016, Larnaca, Cyprus. pp.64-80.
  4. ∃-ASP for Computing Repairs with Existential Ontologies
    Jean-François Baget, Zied Bouraoui, Farid Nouioua, Odile Papini, Swan Rocher, Éric Würbel
    SUM: Scalable Uncertainty Management, Andrea G. B. Tettamanzi, Oct 2016, Nice, France. pp.230-245.
  5. Can You Imagine... A Language for Combinatorial Creativity?
    Fabian Suchanek, Colette Menard, Meghyn Bienvenu, Cyril Chapellier
    ISWC: International Semantic Web Conference, Oct 2016, Kobe, Japan. pp.532-548.
  6. What if machines could be creative?
    Fabian Suchanek, Colette Menard, Meghyn Bienvenu, Cyril Chapellier
    ISWC: International Semantic Web Conference, Oct 2016, Kobe, Japan. <http://iswc2016.semanticweb.org>
  7. On the Explanation of SameAs Statements using Argumentation
    Abdallah Arioua, Madalina Croitoru, Laura Papaleo, Nathalie Pernelle, Swan Rocher
    SUM: Scalable Uncertainty Management, Sep 2016, Nice, France. pp.51-66.
  8. 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.
  9. DALEK: a Tool for Dialectical Explanations in Inconsistent Knowledge Bases
    Abdallah Arioua, Madalina Croitoru, Patrice Buche
    COMMA: Computational Models of Argument, Sep 2016, Potsdam, Germany. pp.461-462.
  10. On the Complexity of Evaluating Regular Path Queries over Linear Existential Rules
    Meghyn Bienvenu, Michaël Thomazo
    RR: Web Reasoning and Rule Systems, Sep 2016, Aberdeen, United Kingdom. pp.1-17.
  11. Revisiting Grounded Circumscription in Description Logics
    Stathis Delivorias, Sebastian Rudolph
    RR: Web Reasoning and Rule Systems, Sep 2016, Aberdeen, United Kingdom. pp.46-60.
  12. Substantive irrationality in cognitive systems
    Pierre Bisquert, Madalina Croitoru, Florence Dupin de Saint-Cyr, Abdelraouf Hecham
    ECAI: European Conference on Artificial Intelligence, Aug 2016, La Haye, Netherlands. pp.1642-1643.
  13. A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-based Argumentation Frameworks
    Abdallah Arioua, Madalina Croitoru
    ECAI : European Conference on Artificial Intelligence, Aug 2016, The Hague, Netherlands. pp.55-63.
  14. A decision support system using multi-source scientific data, an ontological approach and soft computing - application to eco-efficient biorefinery
    Charlotte Lousteau-Cazalet, Abdellatif Barakat, Jean-Pierre Belaud, Patrice Buche, Brigitte Charnomordic, Stéphane Dervaux, Sébastien Destercke, Juliette Dibie, Caroline Sablayrolles, Claire Vialle
    FUZZ: Fuzzy Systems, Jul 2016, Vancouver, Canada. pp.249-256.
  15. Query-Driven Repairing of Inconsistent DL-Lite Knowledge Bases
    Meghyn Bienvenu, Camille Bourgaux, François Goasdoué
    IJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States. <http://ijcai-16.org/>
  16. 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. <http://ijcai-16.org/>
  17. First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics
    Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter
    IJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States. <http://ijcai-16.org/>
  18. Ontology-Mediated Query Answering: Harnessing Knowledge to Get More From Data
    Meghyn Bienvenu
    IJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States. <http://ijcai-16.org/>
  19. Key Discovery for Numerical Data: Application to Oenological Practices
    Danai Symeonidou, Isabelle Sanchez, Madalina Croitoru, Pascal Neveu, Nathalie Pernelle, Fatiha Saïs, Aurelie Roland-Vialaret, Patrice Buche, Aunur Rofiq Muljarto, Remi Schneider
    ICCS: International Conference on Conceptual Structures, Jul 2016, Annecy, France. pp.222-236.
  20. Representing Multi-Scale Datalog +/- Using Hierarchical Graphs
    Cornelius Croitoru, Madalina Croitoru
    ICCS: International Conference on Conceptual Structures, Jul 2016, Annecy, France. pp.59-71.
  21. Extending GWAPs for Building Profile Aware Associative Networks
    Abdelraouf Hecham, Madalina Croitoru, Pierre Bisquert, Patrice Buche
    ICCS: International Conference on Conceptual Structures, Jul 2016, Annecy, France. pp.43-58.
  22. Explanation Dialogues on Erroneous SameAs Using Argumentation Theory
    Abdallah Arioua, Madalina Croitoru, Laura Papaleo, Nathalie Pernelle, Swan Rocher
    ICCS: International Conference on Conceptual Structures, Jul 2016, Annecy, France. <https://www.irit.fr/ICCS2016/>
  23. A Proposal for Modelling Agrifood Chains as Multi Agent Systems
    Madalina Croitoru, Patrice Buche, Brigitte Charnomordic, Jérôme Fortin, Hazael Jones, Pascal Neveu, Danai Symeonidou, Rallou Thomopoulos
    IPMU: Information Processing and Management of Uncertainty, Jun 2016, Eindhoven, Netherlands. pp.498-509.
  24. Explaining the Results of an Optimization-Based Decision Support System – A Machine Learning Approach
    Michael Morin, Rallou Thomopoulos, Irène Abi-Zeid, Maxime Léger, François Grondin, Martin Pleau
    APMOD: APplied mathematical programming and MODelling, Jun 2016, Brno, Czech Republic. <http://www.apmod2016.org/>
  25. Dialectical Characterization of Consistent Query Explanation with Existential Rules
    Abdallah Arioua, Madalina Croitoru
    FLAIRS: Florida Artificial Intelligence Research Society, May 2016, Key Largo, United States. <http://www.flairs-29.info>
  26. Query-based Comparison of Mappings in Ontology-based Data Access
    Meghyn Bienvenu, Riccardo Rosati
    KR: Knowledge Representation and Reasoning, Apr 2016, Cape Town, South Africa.
  27. A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering
    Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia
    KR: Principles of Knowledge Representation and Reasoning, Apr 2016, Cape Town, South Africa. pp.513-516.
  28. Query-driven Repairing of Inconsistent DL-Lite Knowledge Bases
    Meghyn Bienvenu, Camille Bourgaux, François Goasdoué
    DL: Description Logics, Apr 2016, Le Cap, South Africa. <http://dl2016.cs.uct.ac.za/>
  29. Ontology-Mediated Queries for NOSQL Databases
    Marie-Laure Mugnier, Marie-Christine Rousset, Federico Ulliana
    DL: Description Logics, Apr 2016, Cape Town, South Africa. pp.1051-1057.
  30. On Bounded Positive Existential Rules
    Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
    DL: Description Logics, Apr 2016, Cape Town, South Africa. CEUR Workshop Proceedings. <http://ceur-ws.org/Vol-1577/paper_31.pdf>
  31. Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases
    Meghyn 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>
  32. Ontology-Mediated Queries for NOSQL Databases
    Marie-Laure Mugnier, Marie-Christine Rousset, Federico Ulliana
    AAAI Conference on Artificial Intelligence, Feb 2016, Phoenix, United States. pp.1051-1057.
  33. Associer argumentation et simulation en aide à la décision : Illustration en agroalimentaire
    Rallou Thomopoulos, Sébastien Gaucel, Bernard Moulin
    EGC: Extraction et Gestion des Connaissances, Jan 2016, Reims, France. <http://egc2016.univ-reims.fr/>

2015

  1. 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.
  2. Towards a dual process cognitive model for argument evaluation
    Pierre Bisquert, Madalina Croitoru, Florence Dupin de Saint Cyr
    SUM: Scalable Uncertainty Management, Sep 2015, Quebec City, Canada. pp.298-313.
  3. Formalizing Explanatory Dialogues
    Abdallah Arioua, Madalina Croitoru
    SUM: Scalable Uncertainty Management, Sep 2015, Quebec City, Canada. pp.282-297.
  4. Ontology Evolution for Experimental Data in Food
    Rim Touhami, Patrice Buche, Juliette Dibie, Liliana Ibanescu
    MTSR: Metadata and Semantics Research, Sep 2015, Manchester, United Kingdom. pp.393-404.
  5. Andromeda: A System for Processing Queries and Updates on Big XML Documents
    Nicole Bidoit, Dario Colazzo, Carlo Sartiani, Alessandro Solimando, Federico Ulliana
    BigDa: Big Data Applications and Principles, Sep 2015, Poitiers, France. pp.218-228.
  6. Query Answering Explanation in Inconsistent Datalog+/- Knowledge Bases
    Abdallah Arioua, Nouredine Tamani, Madalina Croitoru
    DEXA: Database and Expert Systems Applications, Sep 2015, Valence, Spain. <http://dexa.org/dexa2015>
  7. Four Ways to Evaluate Arguments According to Agent Engagement
    Pierre Bisquert, Madalina Croitoru, Florence Dupin de Saint Cyr - Bannay
    BIH: Brain Informatics and Health, Aug 2015, London, United Kingdom. pp.445-456.
  8. A Bipolar Approach for Intuitionistic Fuzzy Alternative Ranking
    Nouredine Tamani
    FUZZ: Fuzzy Systems, Aug 2015, Istanbul, Turkey. <10.1109/FUZZ-IEEE.2015.7337830>
  9. Graal: A Toolkit for Query Answering with Existential Rules
    Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, Clément Sipieter
    RuleML: Web Rule Symposium, Aug 2015, Berlin, Germany. pp.328-344.
  10. Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules
    Jean-François Baget, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, Clément Sipieter
    RuleML: Web Rule Symposium, Aug 2015, Berlin, Germany.
  11. Combining Existential Rules and Transitivity: Next Steps
    Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher
    IJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.2720-2726.
  12. Query Rewriting for Existential Rules with Compiled Preorder
    Mélanie König, Michel Leclère, Marie-Laure Mugnier
    IJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.3006-3112.
  13. Variability representation in product lines using concept lattices: feasibility study with descriptions from Wikipedia's product comparison matrices
    Jessie Carbonnel, Marianne Huchard, Alain Gutierrez
    FCA&A-ICFCA: International Conference on Formal Concept Analysis - International Conference on Formal Concept Analysis, University of Málaga, Jun 2015, Nerja, Málaga, Spain.
  14. Investigating the Mapping between Default Logic and Inconsistency-Tolerant Semantics
    Abdallah Arioua, Nouredine Tamani, Madalina Croitoru, Jérôme Fortin, Patrice Buche
    ICAISC: International Conference on Artificial Intelligence and Soft Computing, Jun 2015, Zakopane, Poland. pp.554-564.
  15. Queries and Updates on Big XML Documents (Extended Abstract)
    Nicole Bidoit, Dario Colazzo, Carlo Sartiani, Alessandro Solimando, Federico Ulliana
    SEBD: Sistemi Evoluti per Basi di Dati, Jun 2015, Gaeta, Italy. <http://sebd2015.dia.uniroma3.it/>
  16. 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, Hubert Chiron
    RCIS: Research Challenges in Information Science, May 2015, Athens, Greece. pp.250-261.
  17. Extracting Bounded-level Modules from Deductive RDF Triplestores
    Marie-Christine Rousset, Federico Ulliana
    AAAI Conference on Artificial Intelligence, Jan 2015, Austin, TX, United States. <www.aaai.org/Conferences/AAAI/aaai15.php>

2014

  1. Query Failure Explanation in Inconsistent Knowledge Bases: A Dialogical Approach
    Abdallah Arioua, Nouredine Tamani, Madalina Croitoru, Patrice Buche
    AI: Artificial Intelligence, Dec 2014, Cambridge, United Kingdom. pp.119-133.
  2. On Ontological Expressivity and Modelling Argumentation Schemes Using COGUI
    Wael Hamdan, Rady Khazem, Ghaida Rebdawi, Madalina Croitoru, Alain Gutierrez, Patrice Buche
    AI: Artificial Intelligence, Dec 2014, Cambrige, United Kingdom. pp.5-18.
  3. A Food Packaging Use Case for Argumentation
    Nouredine Tamani, Patricio Mosse, Madalina Croitoru, Patrice Buche, Valérie Guillard
    MTSR: Metadata and Semantics Research, Nov 2014, Karlsruhe, Germany. pp.344-358.
  4. Ontology-Based Model for Food Transformation Processes - Application to Winemaking
    Aunur-Rofiq Muljarto, Jean-Michel Salmon, Pascal Neveu, Brigitte Charnomordic, Patrice Buche
    MTSR: Metadata and Semantics Research, Nov 2014, Karlsruhe, Germany. pp.329-343.
  5. From NL Preference Expressions to Comparative Preference Statements: A Preliminary Study in Eliciting Preferences for Customised Decision Support.
    Souhila Kaci, Namrata Patel, Violaine Prince
    ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2014, Limassol, Cyprus. pp.591-598.
  6. A Psychological Analysis of Preference Semantics in Conditional Logics for Preference Representation
    Souhila Kaci, Éric Raufaste
    SUM: Scalable Uncertainty Management, Sep 2014, Oxford, United Kingdom. pp.209-222.
  7. Contextual Itemset Mining in DBpedia
    Julien Rabatel, Madalina Croitoru, Dino Ienco, Pascal Poncelet
    LD4KD: Linked Data for Knowledge Discovery, Sep 2014, Nancy, France.
  8. Query Failure Explanation in Inconsistent Knowledge Bases Using Argumentation
    Abdallah Arioua, Nouredine Tamani, Madalina Croitoru, Patrice Buche
    COMMA: Computational Models of Argument, Sep 2014, Scottish Highlands, Pitlochry, United Kingdom. pp.101-108.
  9. 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. An Introduction to Ontology-Based Query Answering with Existential Rules
    Marie-Laure Mugnier, Michaël Thomazo
    RW: Reasoning Web, Sep 2014, Athens, Greece. pp.245-278.
  11. 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.
  12. Abduction and Dialogical Proof in Argumentation and Logic Programming
    Richard Booth, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert Van Der Torre
    ECAI: European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.117-122.
  13. Extending Acyclicity Notions for Existential Rules
    Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher
    ECAI: European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.39-44.
  14. Eco-Efficient Packaging Material Selection for Fresh Produce: Industrial Session
    Patricio Mosse, Patrice Buche, Nouredine Tamani, Madalina Croitoru, Valérie Guillard, Carole Guillaume, Nathalie Gontard
    ICCS: International Conference on Conceptual Structures, Jul 2014, Lasi, Romania. pp.305-310.
  15. Conceptual Graphs are Also Graphs
    Michel Chein, Marie-Laure Mugnier
    ICCS: International Conference on Conceptual Structures, Jul 2014, Iasi, Romania. pp.1-18.
  16. Default Reasoning Implementation in CoGui
    Patrice Buche, Jérôme Fortin, Alain Gutierrez
    ICCS: International Conference on Conceptual Structures, Jul 2014, Iasi, Romania. pp.118-129.
  17. A Constructive Argumentation Framework
    Souhila Kaci, Yakoub Salhi
    AAAI Conference on Artificial Intelligence, Jul 2014, Quebec city, Canada. pp.1070-1076.
  18. Defining Key Semantics for the RDF Datasets: Experiments and Evaluations
    Manuel Atencia, Michel Chein, Madalina Croitoru, Jérôme David, Michel Leclère, Nathalie Pernelle, Fatiha Saïs, François Scharffe, Danai Symeonidou
    ICCS: International Conference on Conceptual Structures, Jul 2014, Iasi, Romania. pp.65-78.
  19. Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation
    Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher
    NMR: Non-Monotonic Reasoning, Jul 2014, Vienna, Austria.
  20. 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.
  21. Fuzzy Argumentation System for Decision Support
    Nouredine Tamani, Madalina Croitoru
    IPMU: Information Processing and Management of Uncertainty, Jul 2014, Montpellier, France. pp.77-86.
  22. 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.
  23. A quantitative preference-based structured argumentation system for decision support
    Nouredine Tamani, Madalina Croitoru
    FUZZ: Fuzzy Systems, Jul 2014, Beijing, China. pp.1408-1415.
  24. 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.
  25. Using Comparative Preference Statements in Hypervolume-Based Interactive Multiobjective Optimization
    Dimo Brockhoff, Youssef Hamadi, Souhila Kaci
    LION: Learning and Intelligent Optimization, Feb 2014, Gainesville, FL, United States. pp.121-136.
  26. Alignement d'ontologies : exploitation des ontologies liées sur le web de données
    Thomas Hecht, Patrice Buche, Juliette Dibie, Mariana Ibanescu, Cassia Trojahn dos Santos
    EGC: Extraction et Gestion des Connaissances, Jan 2014, Rennes, France. pp.23-34.

Mots-clés

Formalismes logiques et graphiques, Ontology-based data access, Intégration sémantique de données, Argumentation et préférences, Aide à la décision basée sur des connaissances

Dernière mise à jour le 03/06/2019