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 INRAE
  • Patrice Buche, Ingénieur de Recherche INRAE
  • Jérôme Fortin, Maître de Conférences UM
  • Pierre Bisquert, Chargé de Recherche INRAE

Publications depuis 2014 - Evaluation 2019

Articles de revues internationales

2021

  1. Generating preferred plans with ethical features
    Martin Jedwabny, Pierre Bisquert, Madalina Croitoru
    Florida Artificial Intelligence Research Society, LibraryPress@UF, 2021, 34 (1). <10.32473/flairs.v34i1.128492>
  2. Prototyping a Knowledge-Based System to Identify Botanical Extracts for Plant Health in Sub-Saharan Africa
    Pierre Silvie, Pierre Martin, Marianne Huchard, Priscilla Keip, Alain Gutierrez, Samira Sarter
    Plants, MDPI, 2021, 10 (5), pp.896-920.
  3. Materializing Knowledge Bases via Trigger Graphs
    Efthymia Tsamoura, David Carral, Enrico Malizia, Jacopo Urbani
    Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2021, 14 (6), pp.943-956.
  4. Intensive Data and Knowledge-Driven Approach for Sustainability Analysis: Application to Lignocellulosic Waste Valorization Processes
    Jean-Pierre Belaud, Nancy Prioux, Claire Vialle, Patrice Buche, Sébastien Destercke, Abdellatif Barakat, Caroline Sablayrolles
    Waste and Biomass Valorization, Springer, 2021. <10.1007/s12649-021-01509-8>

2020

  1. Characterizing Boundedness in Chase Variants
    Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
    Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2020, 21 (1), pp.51-79.
  2. Argumentation Corrected Context Weighting-Life Cycle Assessment: A Practical Method of Including Stakeholder Perspectives in Multi-Criteria Decision Support for LCA
    Joshua Sohn, Pierre Bisquert, Patrice Buche, Abdelraouf Hecham, Pradip Kalbar, Ben Goldstein, Morten Birkved, Stig Irving Olsen
    Sustainability, MDPI, 2020, 12 (6), pp.2170.
  3. Data Access With Horn Ontologies: Where Description Logics Meet Existential Rules
    Marie-Laure Mugnier
    KI - Künstliche Intelligenz, Springer Nature, 2020, Ontologies and Data Management -- Part II, 34 (4), pp.475-489.

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, Journal of Food Engineering, 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, Springer, 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. L'ordinateur, innovation radicale (ou les deux machines de Turing)
    Michel Chein
    Akademos, Institut de France, 2019.
  6. 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.
  7. Multi-Criteria Reverse Engineering for Food: Genesis and Ongoing Advances
    Rallou 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 Tonda
    Food Engineering Reviews, Springer, 2019, 11 (1), pp.44-60.

2018

  1. The Next Generation of Sustainable Food Packaging to Preserve Our Environment in a Circular Economy Context
    Valérie Guillard, Sebastien Gaucel, Claudio Fornaciari, Helene Angellier-Coussy, Patrice Buche, Nathalie Gontard
    Frontiers in nutrition, Frontiers media, 2018, 5. <10.3389/fnut.2018.00121>
  2. 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.
  3. Choice of environment-friendly food packagings through argumentation systems and preferences
    Bruno Yun, Pierre Bisquert, Patrice Buche, Madalina Croitoru, Jean Guillard, Valérie Guillard, Rallou Thomopoulos
    Ecological Informatics, Elsevier, 2018, 48, pp.24-36.
  4. 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 (October), pp.1924-1927.
  5. 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.
  6. 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.
  7. 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.
  8. The virtual food system: Innovative models and experiential feedback in technologies for winemaking, the cereals chain, food packaging and eco-designed starter production
    Cesar 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.
  9. 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.
  10. 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.
  11. A practical application approach to argumentation for multicriteria analysis and decision support
    Rallou Thomopoulos
    EURO journal on decision processes, Springer, 2018, 6 (3-4), pp.237-255.

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. 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.
  4. 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.
  5. 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, 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), pp.1843.
  6. 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-Barthelemy, Stéphane Dervaux, Catherine Loriot, Thierry Vincelot, Véronique Huchet, Bruno Perret, Dominique Thuault
    Packaging Research, De Gruyter OPEN, 2017, 2 (1), pp.28.
  7. Xart: Discovery of correlated arguments of n-ary relations in text
    Soumia Lilia Berrahou, Patrice Buche, Juliette Dibie-Barthelemy, Mathieu Roche
    Expert Systems with Applications, Elsevier, 2017, 73, pp.115-124.

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-Barthelemy, 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 - Bannay, 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. 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. 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

2021

  1. Probabilistic rule induction for transparent CBR under uncertainty
    Martin Jedwabny, Pierre Bisquert, Madalina Croitoru
    AI 2021 - 41st BCS SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Dec 2021, Cambridge, United Kingdom.
  2. Capturing Homomorphism-Closed Decidable Queries with Existential Rules
    Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo
    KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, Nov 2021, Virtual, Vietnam. To appear. <https://kr2021.kbsg.rwth-aachen.de/>
  3. Working Memory for Assessment Under Inconsistency
    Pierre Bisquert, Florence Dupin de Saint Cyr - Bannay
    NMR 2021 - 19th International Workshop on Non-Monotonic Reasoning, Nov 2021, Hanoï, Vietnam. To press. <https://sites.google.com/view/nmr2021/home>
  4. Ranking Semantics for Argumentation Systems With Necessities
    Dragan Doder, Srdjan Vesic, Madalina Croitoru
    IJCAI 2020 - 29th International Joint Conference on Artificial Intelligence, Jan 2021, Yokohama / Virtual, Japan. pp.1912-1918.

2020

  1. Explaining ethical planning using ASP
    Martin Jedwabny, Pierre Bisquert, Madalina Croitoru
    XLoKR'20 - 1st International Workshop on Explainable Logic-Based Knowledge Representation, Nov 2020, Rhodes, Greece.
  2. Revisiting RDF storage layouts for efficient query answering
    Maxime Buron, François Goasdoué, Ioana Manolescu, Tayeb Merabti, Marie-Laure Mugnier
    SSWS 2020 - 13th International Workshop on Scalable Semantic Web Knowledge Base Systems, Nov 2020, Athène, Greece.
  3. A formalism unifying Defeasible Logics and Repair Semantics for existential rules
    Abdelraouf Hecham, Pierre Bisquert, Madalina Croitoru
    ICCS 2020 - 25th International Conference on Conceptual Structures, Sep 2020, Bolzano / Virtual, Italy. pp.3-17.
  4. An Incremental Algorithm for Computing All Repairs in Inconsistent Knowledge Bases
    Bruno Yun, Madalina Croitoru
    ICCS 2020 - 25th International Conference on Conceptual Structures, Sep 2020, Bolzano / Virtual, Italy. pp.33-47.
  5. A new alignment method based on FoodOn as pivot ontology to integrate nutritional legacy data sources
    Patrice Buche, Julien Cufi, Stéphane Dervaux, Juliette Dibie, Liliana Ibanescu, Alrick Oudot, Magalie Weber
    ICBO 2020 - IFOW Integrated Food Ontology Workshop, Sep 2020, Bolzano / Virtual, Italy. pp.1-2.
  6. Efficient Construction of Structured Argumentation Systems
    Bruno Yun, Nir Oren, Madalina Croitoru
    COMMA 2020 - 8th International Conference on Computational Models of Argument, Sep 2020, Perugia, Italy. pp.411-418.
  7. Sets of Attacking Arguments for Inconsistent Datalog Knowledge Bases
    Bruno Yun, Srdjan Vesic, Madalina Croitoru
    COMMA 2020 - 8th International Conference on Computational Models of Argument, Sep 2020, Perugia / Virtual), Italy. pp.419-430.
  8. A Generic Software to Support Collective Decision in Food Chains and in Multi-Stakeholder Situations
    Rallou Thomopoulos, Julien Cufi, Maxime Le Breton
    FoodSim 2020 - 11th Biennial FOODSIM Conference, Sep 2020, Ghent, Belgium.
  9. Obi-Wan: Ontology-Based RDF Integration of Heterogeneous Data
    Maxime Buron, François Goasdoué, Ioana Manolescu, Marie-Laure Mugnier
    VLDB 2020 - 46th International Conference on Very Large Data Bases, Aug 2020, Tokyo, Japan.
  10. Gradual Semantics for Logic-Based Bipolar Graphs Using T-(Co)norms
    Martin Jedwabny, Madalina Croitoru, Pierre Bisquert
    ECAI 2020 - 24th European Conference on Artificial Intelligence, Aug 2020, Santiago de Compostela (virtual), Spain. pp.777-783.
  11. Ontology-Based RDF Integration of Heterogeneous Data
    Maxime Buron, François Goasdoué, Ioana Manolescu, Marie-Laure Mugnier
    EDBT/ICDT 2020 - 23rd International Conference on Extending Database Technology, Mar 2020, Copenhagen, Denmark.
  12. DAMN: Defeasible Reasoning Tool for Multi-Agent Reasoning
    Abdelraouf Hecham, Madalina Croitoru, Pierre Bisquert
    AAAI 2020 - 34th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, Feb 2020, New York, United States. <https://aaai.org/Conferences/AAAI-20/>
  13. Ranking-Based Semantics for Sets of Attacking Arguments
    Bruno Yun, Srdjan Vesic, Madalina Croitoru
    AAAI 20 - 34th AAAI Conference on Artificial Intelligence, Feb 2020, New York, United States. pp.3033-3040.

2019

  1. Boolean Recombinase-Based Devices
    Guillaume Pérution-Kihli, Sarah Guiziou, Federico Ulliana, Michel Leclère, Jérôme Bonnet
    TPNC 2019 - 8th International Conference on Theory and Practice of Natural Computing, Dec 2019, Kingstone, Canada. pp.82-94.
  2. A General Framework to Build and Assess the Quality of Authority Links
    Michel Chein, Alain Gutierrez, Michel Leclère
    K-CAP 2019 - 10th International Conference on Knowledge Capture, Nov 2019, Marina Del Rey, CA, United States. pp.13-20.
  3. Deliberation Towards Transitivity with Unshared Features
    Arthur Boixel, Pierre Bisquert, Madalina Croitoru
    PRIMA 2019 - 22nd International Conference on Principles and Practice of Multi-Agent Systems, Oct 2019, Torino, Italy. pp.16.
  4. 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.
  5. Querying Key-Value Stores under Single-Key Constraints: Rewriting and Parallelization
    Olivier Rodriguez, Reza Akbarinia, Federico Ulliana
    RuleML+RR 2019 - the 3rd International Joint Conference on Rules and Reasoning, Sep 2019, Bolzano, Italy. <https://rulemlrr19.inf.unibz.it/>
  6. Oblivious and Semi-Oblivious Boundedness for Existential Rules
    Pierre Bourhis, Michel Leclère, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana, Lily Gallois
    IJCAI 2019 - International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. <https://www.ijcai19.org>
  7. Recent progresses in data and knowledge integration for decision support in agri-food chains
    Sophie Aubin, Pierre Bisquert, Patrice Buche, Juliette Dibie-Barthelemy, Liliana Ibanescu, Clement Jonquet, Catherine Roussey
    IC 2019 - Journées francophones d'Ingénierie des Connaissances, AFIA, Jul 2019, Toulouse, France. pp.43-59.
  8. Assessing Arguments with Schemes and Fallacies
    Pierre Bisquert, Florence Dupin de Saint-Cyr, Philippe Besnard
    LPNMR 2019 - 15th International Conference on Logic Programming and Non-monotonic Reasoning, Jun 2019, Philadelphia, United States. pp.61-74.
  9. Reformulation-based query answering for RDF graphs with RDFS ontologies
    Maxime Buron, François Goasdoué, Ioana Manolescu, Marie-Laure Mugnier
    ESWC 2019 - European Semantic Web Conference, Jun 2019, Portoroz, Slovenia.
  10. PAPOW: Papow Aggregates Preferences and Orderings to select Winners
    Martin Jedwabny, Pierre Bisquert, Madalina Croitoru
    18th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS), May 2019, Montréal, Canada. pp.2363-2365.
  11. NAKED: N-Ary Graphs from Knowledge Bases Expressed in Datalog±
    Bruno Yun, Madalina Croitoru, Srdjan Vesic, Pierre Bisquert
    AAMAS: Autonomous Agents and MultiAgent Systems, May 2019, Montréal, Canada. pp.2390-2392.
  12. A Single Approach to Decide Chase Termination on Linear Existential Rules
    Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana
    22nd International Conference on Database Theory (ICDT 2019), Mar 2019, Lisbonne, Portugal. pp.18:1--18:19.
  13. A Voting Argumentation Framework: Considering the Reasoning behind Preferences
    Nikos Karanikolas, Pierre Bisquert, Christos Kaklamanis
    ICAART 2019 - 11th 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
    16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Oct 2018, Tempe, United States. pp.454-463.
  3. A Single Approach to Decide Chase Termination on Linear Existential Rules
    Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana
    31st International Workshop on Description Logics (DL), 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. 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.
  9. Viewpoints using ranking-based argumentation semantics
    Bruno Yun, Srdjan Vesic, Madalina Croitoru, Pierre Bisquert
    7th International Conference on Computational Models of Argument (COMMA 2018), Sep 2018, Varsovie, Poland. pp.381-392.
  10. Toward a More Efficient Generation of Structured Argumentation Graphs
    Bruno Yun, Srdjan Vesic, Madalina Croitoru
    7th International Conference on Computational Models of Argument (COMMA 2018), Sep 2018, Varsovie, Poland. pp.205-212.
  11. How Can You Mend a Broken Inconsistent KBs in Existential Rules Using Argumentation
    Bruno Yun
    3rd Summer School on Argumentation: Computational and Linguistic Perspectives (SSA), Sep 2018, Varsovie, Poland. <http://ssa2018.argdiap.pl/>
  12. 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.
  13. Inconsistency Measures for Repair Semantics in OBDA
    Bruno Yun, Srdjan Vesic, Madalina Croitoru, Pierre Bisquert
    27th International Joint Conference on Artificial Intelligence (IJCAI-ECAI), Jul 2018, Stockholm, Sweden. pp.1977-1983.
  14. On a Flexible Representation for Defeasible Reasoning Variants
    Abdelraouf Hecham, Pierre Bisquert, Madalina Croitoru
    17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS), Jul 2018, Stockholm, Sweden. pp.1123-1131.
  15. DAGGER: Datalog+/- Argumentation Graph GEneRator
    Bruno Yun, Madalina Croitoru, Srdjan Vesic, Pierre Bisquert
    17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2018), 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
    27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2018), Jun 2018, Paris, France. pp.275-280.
  18. Defining argumentation attacks in practice: an experiment in food packaging consumer expectations
    Bruno Yun, Rallou Thomopoulos, Pierre Bisquert, Madalina Croitoru
    23rd International Conference on Conceptual Structures (ICCS 2018), Jun 2018, Edinburgh, United Kingdom. pp.73-87.
  19. Reasoning on Data Workshop Chairs' Welcome and Organization
    Marie-Laure Mugnier, Catherine Roussey, Pierre Senellart
    International World Wide Web Conference (WWW), Apr 2018, Lyon, France. pp.1585-1586.
  20. Consumer Demand for Sustainable versus Low-Cost Food Products: An Agent-based Modelling Approach
    Rallou Thomopoulos, Serafim Bakalis
    10th International Conference on Simulation and Modelling in the Food and Bio-industry (FOODSIM 2018), European Multidisciplinary Society for Modelling and Simulation Technology (EUROSIS). BEL., Apr 2018, Ghent, Belgium. pp.1-6.
  21. Modelling multicriteria argument networks about reduced meat consumption
    Nicolas Salliou, Rallou Thomopoulos
    FoodSim 2018, European Multidisciplinary Society for Modelling and Simulation Technology (EUROSIS). BEL., Apr 2018, Ghent, Belgium. pp.1-6.
  22. 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
    5th International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR 2017), Aug 2017, Melbourne, Australia. pp.118-138.
  4. 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>
  5. 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>
  6. 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/>
  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. 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.
  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. 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>
  11. 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>
  12. 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 CONGRESS, Jul 2017, Montpellier, France. <https://www.efita2017.org/>
  13. 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>
  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, Eric 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. 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.
  13. Substantive irrationality in cognitive systems
    Pierre Bisquert, Madalina Croitoru, Florence Dupin de Saint Cyr - Bannay, Abdelraouf Hecham
    22th European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, La Haye, Netherlands. pp.1642-1643.
  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-Barthelemy, Caroline Sablayrolles, Claire Vialle
    FUZZ-IEEE, Jul 2016, Vancouver, Canada. pp.249-256.
  15. 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/>
  16. 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/>
  17. 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/>
  18. 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/>
  19. Non-Objection Inference for Inconsistency-Tolerant Query Answering
    Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Odile Papini, Karim Tabia
    25th International Joint Conference on Artificial Intelligence (IJCAI 2016), Jul 2016, New York, United States. pp.3684-3690.
  20. Towards an Understanding of Human Persuasion and Biases in Argumentation (CAF 2016)
    Pierre Bisquert, Madalina Croitoru, Florence Dupin de Saint Cyr - Bannay, Abdelraouf Hecham
    Cardiff Argumentation Forum (CAF 2016), Federico Cerutti (School of Computer Science & Informatis at Cardiff University); Francesca Toni (Department of Computing at Imperial College London), Jul 2016, Cardiff, United Kingdom. <https://www.cs.cf.ac.uk/caf2016/>
  21. Representing Multi-Scale Datalog +/- Using Hierarchical Graphs
    Cornelius Croitoru, Madalina Croitoru
    ICCS: International Conference on Conceptual Structures, Jul 2016, Annecy, France. pp.59-71.
  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. Extending GWAPs for Building Profile Aware Associative Networks
    Abdelraouf Hecham, Madalina Croitoru, Pierre Bisquert, Patrice Buche
    22nd International Conferences on Conceptual Structures (ICCS 2016), Jul 2016, Annecy, France. pp.43-58.
  24. 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.
  25. 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.
  26. Xart system: discovering and extracting correlated arguments of n-ary relations from text
    Soumia Lilia Berrahou, Patrice Buche, Juliette Dibie-Barthelemy, Mathieu Roche
    6th International Conference on Web Intelligence, Mining and Semantics (WIMS), Jun 2016, Nimes, France. pp.8:1-8:12.
  27. 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/>
  28. 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>
  29. 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.
  30. 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.
  31. 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>
  32. 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.
  33. 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/>
  34. 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.
  35. 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>
  36. 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. Formalizing Explanatory Dialogues
    Abdallah Arioua, Madalina Croitoru
    SUM: Scalable Uncertainty Management, Sep 2015, Quebec City, Canada. pp.282-297.
  3. Towards a dual process cognitive model for argument evaluation
    Florence Dupin de Saint Cyr, Pierre Bisquert, Madalina Croitoru, Florence Dupin de Saint Cyr - Bannay
    9th International Conference on Scalable Uncertainty Management (SUM 2015), Sep 2015, Quebec City, Canada. pp.298-313.
  4. Ontology Evolution for Experimental Data in Food
    Rim Touhami, Patrice Buche, Juliette Dibie-Barthelemy, 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. <10.1007/978-3-319-22849-5_15>
  7. Four Ways to Evaluate Arguments According to Agent Engagement
    Pierre Bisquert, Madalina Croitoru, Florence Dupin de Saint Cyr - Bannay
    8th International Conference on Brain Informatics and Health (BIH 2015), Aug 2015, London, United Kingdom. pp.445-456.
  8. 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.
  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. A Bipolar Approach for Intuitionistic Fuzzy Alternative Ranking
    Nouredine Tamani
    FUZZ-IEEE, Aug 2015, Istanbul, Turkey. <10.1109/FUZZ-IEEE.2015.7337830>
  11. 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.
  12. 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.
  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. 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/>
  15. 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.
  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, Association for the Advancement of Artificial Intelligence (AAAI). Austin, USA., 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. 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.
  3. A Food Packaging Use Case for Argumentation
    Nouredine Tamani, Patricio Mosse, Madalina Croitoru, Patrice Buche, Valérie Guillard
    MTSR: Metadata and Semantics Research, Karlsruhe University of Applied Sciences. DEU., Nov 2014, Karlsruhe, Germany. pp.344-358.
  4. 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.
  5. 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.
  6. Contextual Itemset Mining in DBpedia
    Julien Rabatel, Madalina Croitoru, Dino Ienco, Pascal Poncelet
    LD4KD: Linked Data for Knowledge Discovery, Sep 2014, Nancy, France. pp.27-36.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. Conceptual Graphs are Also Graphs
    Michel Chein, Marie-Laure Mugnier
    ICCS: International Conference on Conceptual Structures, Jul 2014, Iasi, Romania. pp.1-18.
  14. 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.
  15. A Constructive Argumentation Framework
    Souhila Kaci, Yakoub Salhi
    AAAI Conference on Artificial Intelligence, Jul 2014, Quebec city, Canada. pp.1070-1076.
  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. Eco-Efficient Packaging Material Selection for Fresh Produce: Industrial Session
    Nouredine Tamani, Patricio Mosse, Madalina Croitoru, Patrice Buche, Valérie Guillard, Carole Guillaume, Nathalie Gontard
    ICCS: International Conference on Conceptual Structures, Jul 2014, Lasi, Romania. pp.305-310.
  18. 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.
  19. 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.
  20. Fuzzy Argumentation System for Decision Support
    Nouredine Tamani, Madalina Croitoru
    IPMU: Information Processing and Management of Uncertainty, Jul 2014, Montpellier, France. pp.77-86.
  21. 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.
  22. A quantitative preference-based structured argumentation system for decision support
    Nouredine Tamani, Madalina Croitoru
    FUZZ-IEEE, Jul 2014, Beijing, China. pp.1408-1415.
  23. 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.
  24. 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.
  25. Alignement d'ontologies : exploitation des ontologies liées sur le web de données
    Thomas Hecht, Patrice Buche, Juliette Dibie-Barthelemy, Liliana 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 31/08/2020