EN FR
EN FR


Bibliography

Major publications by the team in recent years
  • 1J.-F. Baget, M. Bienvenu, M.-L. Mugnier, S. Rocher.

    Combining Existential Rules and Transitivity: Next Steps, in: IJCAI: International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, July 2015.

    https://hal.archives-ouvertes.fr/hal-01171846
  • 2J.-F. Baget, M. Leclère, M.-L. Mugnier, E. Salvat.

    On Rules with Existential Variables: Walking the Decidability Line, in: Artificial Intelligence, March 2011, vol. 175, no 9-10, pp. 1620-1654. [ DOI : 10.1016/j.artint.2011.03.002 ]

    http://hal.inria.fr/lirmm-00587012/en
  • 3M. Bienvenu, P. Hansen, C. Lutz, F. Wolter.

    First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics, in: IJCAI: International Joint Conference on Artificial Intelligence, New York, United States, July 2016.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01367863
  • 4Z. Bouraoui, S. Benferhat, M. Croitoru, O. Papini, K. Tabia.

    On The Use Of Non-Objection Inference In Inconsistent Lightweight Ontologies, in: IJCAI: International Joint Conference on Artificial Intelligence, New York, United States, July 2016.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01328661
  • 5M. Chein, M.-L. Mugnier.

    Graph-based Knowledge Representation and Reasoning—Computational Foundations of Conceptual Graphs, Advanced Information and Knowledge Processing, Springer, 2009.
  • 6V. Guillard, P. Buche, S. Destercke, N. Tamani, M. Croitoru, L. Menut, C. Guillaume, N. Gontard.

    A Decision Support System to design modified atmosphere packaging for fresh produce based on a bipolar flexible querying approach, in: Computers and Electronics in Agriculture, February 2015, vol. 111, pp. 131-139. [ DOI : 10.1016/j.compag.2014.12.010 ]

    https://hal.archives-ouvertes.fr/hal-01104835
  • 7M. König, M. Leclère, M.-L. Mugnier.

    Query Rewriting for Existential Rules with Compiled Preorder, in: IJCAI'2015: 24th International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, July 2015.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01164851
  • 8M. König, M. Leclère, M.-L. Mugnier, M. Thomazo.

    Sound, Complete and Minimal UCQ-Rewriting for Existential Rules, in: Semantic Web journal, 2015, vol. 6, no 5, pp. 451-475.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01090370
  • 9M.-L. Mugnier, M.-C. Rousset, F. Ulliana.

    Ontology-Mediated Queries for NOSQL Databases, in: AAAI: Conference on Artificial Intelligence, Phoenix, United States, February 2016, vol. Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16).

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01242913
  • 10M.-L. Mugnier, G. Simonet, M. Thomazo.

    On the Complexity of Entailment in Existential Conjunctive First Order Logic with Atomic Negation, in: Information and Computation, March 2012, vol. 215, pp. 8-31. [ DOI : 10.1016/j.ic.2012.03.001 ]

    http://hal.inria.fr/lirmm-00681914
Publications of the year

Articles in International Peer-Reviewed Journals

  • 11F. Baader, M. Bienvenu, C. Lutz, F. Wolter.

    Query and Predicate Emptiness in Ontology-Based Data Access, in: Journal of Artificial Intelligence Research, 2016, vol. 56, pp. 1-59. [ DOI : 10.1613/jair.4866 ]

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01367867
  • 12F. Dupin De Saint-Cyr, P. Bisquert, C. Cayrol, M.-C. Lagasquie-Schiex.

    Argumentation update in YALLA (Yet Another Logic Language for Argumentation), in: International Journal of Approximate Reasoning, August 2016, vol. 75, pp. 57-92. [ DOI : 10.1016/j.ijar.2016.04.003 ]

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01372745
  • 13C. Lousteau-Cazalet, A. Barakat, J.-P. Belaud, P. Buche, G. Busset, B. Charnomordic, S. Dervaux, S. Destercke, J. Dibie, C. Sablayrolles, C. Vialle.

    A decision support system for eco-efficient biorefinery process comparison using a semantic approach, in: Computers and Electronics in Agriculture, September 2016, vol. 127, pp. 351-367. [ DOI : 10.1016/j.compag.2016.06.020 ]

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01346685

Articles in National Peer-Reviewed Journals

Invited Conferences

  • 15M. Bienvenu.

    Ontology-Mediated Query Answering: Harnessing Knowledge to Get More From Data, in: IJCAI: International Joint Conference on Artificial Intelligence, New York, United States, July 2016.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01367866

International Conferences with Proceedings

  • 16A. Arioua, P. Buche, M. Croitoru.

    A Datalog+/-Domain-Specific Durum Wheat Knowledge Base, in: MTSR: Metadata and Semantics Research, Göttingen, Germany, November 2016, vol. Communications in Computer and Information Science.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01399096
  • 17A. Arioua, P. P. Buche, M. Croitoru.

    DALEK: a Tool for Dialectical Explanations in Inconsistent Knowledge Bases, in: COMMA: Computational Models of Argument, Potsdam, Germany, September 2016.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01337019
  • 18A. Arioua, M. Croitoru.

    A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-based Argumentation Frameworks , in: ECAI : European Conference on Artificial Intelligence, The Hague, Netherlands, August 2016.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01333368
  • 19A. Arioua, M. Croitoru.

    Dialectical Characterization of Consistent Query Explanation with Existential Rules, in: FLAIRS: Florida Artificial Intelligence Research Society, Key Largo, United States, May 2016.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01328679
  • 20A. Arioua, M. Croitoru, L. Papaleo, N. Pernelle, S. Rocher.

    Explanation Dialogues on Erroneous SameAs Using Argumentation Theory, in: ICCS: International Conference on Conceptual Structures, Annecy, France, July 2016.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01328668
  • 21A. Arioua, M. Croitoru, L. Papaleo, N. Pernelle, S. Rocher.

    On the Explanation of SameAs Statements using Argumentation, in: SUM: Scalable Uncertainty Management, Nice, France, September 2016.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01337012
  • 22J.-F. Baget, S. Benferhat, Z. Bouraoui, M. Croitoru, M.-L. Mugnier, O. Papini, S. Rocher, K. Tabia.

    A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering, in: KR: Principles of Knowledge Representation and Reasoning, Cape Town, South Africa, April 2016, pp. 513-516.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01328690
  • 23J.-F. Baget, S. Benferhat, Z. Bouraoui, M. Croitoru, M.-L. Mugnier, O. Papini, S. Rocher, K. Tabia.

    Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis, in: JELIA: Logics in Artificial Intelligence, Larnaca, Cyprus, Logics in Artificial Intelligence, Springer, November 2016, vol. LNCS, no 10021, pp. 64-80. [ DOI : 10.1007/978-3-319-48758-8_5 ]

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01412864
  • 24J.-F. Baget, Z. Bouraoui, F. Nouioua, O. Papini, S. Rocher, É. Würbel.

    ∃-ASP for Computing Repairs with Existential Ontologies, in: SUM: Scalable Uncertainty Management, Nice, France, S. Schockaert, P. Senellart (editors), Scalable Uncertainty Management, Springer, October 2016, vol. LNCS, no 9858, pp. 230-245. [ DOI : 10.1007/978-3-319-45856-4_16 ]

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01375099
  • 25M. Bienvenu, C. Bourgaux, F. Goasdoué.

    Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases, in: AAAI: Conference on Artificial Intelligence, Phoenix, United States, February 2016.

    https://hal.inria.fr/hal-01277086
  • 26M. Bienvenu, C. Bourgaux, F. Goasdoué.

    Query-Driven Repairing of Inconsistent DL-Lite Knowledge Bases, in: IJCAI: International Joint Conference on Artificial Intelligence, New York, United States, July 2016.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01367864
  • 27M. Bienvenu, P. Hansen, C. Lutz, F. Wolter.

    First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics, in: IJCAI: International Joint Conference on Artificial Intelligence, New York, United States, July 2016.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01367863
  • 28M. Bienvenu, R. Rosati.

    Query-based Comparison of Mappings in Ontology-based Data Access, in: KR: Knowledge Representation and Reasoning, Cape Town, South Africa, April 2016.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01367812
  • 30P. Bisquert, M. Croitoru, F. Dupin De Saint-Cyr, A. Hecham.

    Substantive irrationality in cognitive systems, in: ECAI: European Conference on Artificial Intelligence, La Haye, Netherlands, August 2016.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01344696
  • 31Z. Bouraoui, S. Benferhat, M. Croitoru, O. Papini, K. Tabia.

    On The Use Of Non-Objection Inference In Inconsistent Lightweight Ontologies, in: IJCAI: International Joint Conference on Artificial Intelligence, New York, United States, July 2016.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01328661
  • 32M. Croitoru, P. P. Buche, B. Charnomordic, J. Fortin, H. Jones, P. Neveu, D. Symeonidou, R. Thomopoulos.

    A Proposal for Modelling Agrifood Chains as Multi Agent Systems , in: IPMU: Information Processing and Management of Uncertainty, Eindhoven, Netherlands, Information Processing and Management of Uncertainty in Knowledge-Based Systems, June 2016, vol. Communications in Computer and Information Science, no 610, pp. 498-509. [ DOI : 10.1007/978-3-319-40596-4_42 ]

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01328678
  • 33C. Croitoru, M. Croitoru.

    Representing Multi-Scale Datalog +/- Using Hierarchical Graphs, in: ICCS: International Conference on Conceptual Structures, Annecy, France, July 2016.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01328673
  • 34E. Delivorias, S. Rudolph.

    Revisiting Grounded Circumscription in Description Logics, in: 10th International Conference on Revisiting Grounded Circumscription in Description Logics - RR 2016, Aberdeen, United Kingdom, M. Ortiz, S. Schlobach (editors), Web Reasoning and Rule Systems, Springer, September 2016, vol. 9898, pp. 46-60. [ DOI : 10.1007/978-3-319-45276-0_5 ]

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01400068
  • 35A. Hecham, M. Croitoru, P. Bisquert, P. P. Buche.

    Extending GWAPs for Building Profile Aware Associative Networks, in: ICCS: International Conference on Conceptual Structures, Annecy, France, July 2016.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01328671
  • 36M. Leclère, M.-L. Mugnier, F. Ulliana.

    On Bounded Positive Existential Rules, in: 29th International Workshop on Description Logics, Cape Town, South Africa, Proceedings of the 29th International Workshop on Description Logics, ceur-ws, April 2016.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01375091
  • 37C. Lousteau-Cazalet, A. Barakat, J.-P. Belaud, P. Buche, B. Charnomordic, S. Dervaux, S. Destercke, J. Dibie, C. C. Sablayrolles, C. Vialle.

    A decision support system using multi-source scientific data, an ontological approach and soft computing - application to eco-efficient biorefinery, in: FUZZ: Fuzzy Systems, Vancouver, Canada, IEEE, July 2016, pp. 249-256. [ DOI : 10.1109/FUZZ-IEEE.2016.7737694 ]

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01410515
  • 38M. Morin, R. Thomopoulos, I. Abi-Zeid, M. Léger, F. Grondin, M. Pleau.

    Explaining the Results of an Optimization-Based Decision Support System – A Machine Learning Approach, in: APMOD: APplied mathematical programming and MODelling, Brno, Czech Republic, June 2016.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01382346
  • 39M.-L. Mugnier, M.-C. Rousset, F. Ulliana.

    Ontology-Mediated Queries for NOSQL Databases, in: AAAI: Conference on Artificial Intelligence, Phoenix, United States, February 2016, vol. Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16).

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01242913
  • 40M.-L. Mugnier, M.-C. Rousset, F. Ulliana.

    Ontology-Mediated Queries for NOSQL Databases, in: 29th International Workshop on Description Logics, Cape Town, South Africa, ceur-ws, April 2016.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01375093
  • 41F. M. Suchanek, C. M. Menard, M. M. Bienvenu, C. Chapellier.

    What if machines could be creative? , in: ISWC: International Semantic Web Conference, Kobe, Japan, October 2016.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01400409
  • 42F. M. Suchanek, C. M. Menard, M. M. Bienvenu, C. M. Chapellier.

    Can You Imagine... A Language for Combinatorial Creativity?, in: The Semantic Web – ISWC 2016, Kobe, Japan, P. Groth, E. Simperl, A. Gray, M. Sabou, M. Krötzsch, F. Lecue, F. Flöck, Y. Gil (editors), 15th International Semantic Web Conference, Springer, October 2016, vol. 9981, pp. 532-548. [ DOI : 10.1007/978-3-319-46523-4_32 ]

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01400325
  • 43D. S. Symeonidou, M. Croitoru, I. I. SANCHEZ, P. Neveu, N. Pernelle, F. Saïs, A. Roland, P. P. Buche, A. R. Muljarto, R. Schneider.

    Key Discovery for Numerical Data: Application to Oenological Practices, in: ICCS: International Conference on Conceptual Structures, Annecy, France, July 2016.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01328676
  • 44R. Thomopoulos, S. Gaucel, B. Moulin.

    Associer argumentation et simulation en aide à la décision : Illustration en agroalimentaire, in: EGC: Extraction et Gestion des Connaissances, Reims, France, Revue des Nouvelles Technologies de l’Information, January 2016.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01382349
  • 45B. Yun, P. Bisquert, P. Buche, M. Croitoru.

    Arguing About End-of-Life of Packagings: Preferences to the Rescue, in: MTSR: Metadata and Semantics Research, Göttingen, Germany, Metadata and Semantics Research, November 2016, vol. Communications in Computer and Information Science, no 672, pp. 119-131. [ DOI : 10.1007/978-3-319-49157-8_10 ]

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01401481
  • 46B. Yun, M. Croitoru.

    An argumentation workflow for reasoning in Ontology Based Data Access, in: COMMA, Postdam, Germany, September 2016.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01401316

National Conferences with Proceedings

  • 47F. Saïs, R. Thomopoulos.

    Fusion de données redondantes : une approche explicative, in: EGC: Extraction et Gestion des Connaissances, Reims, France, Revue des Technologies de l'Information, Hermann Editions, January 2016, no E-30, pp. 363–368.

    https://hal.inria.fr/hal-01275975
References in notes
  • 48J.-F. Baget, M. Bienvenu, M.-L. Mugnier, S. Rocher.

    Combining Existential Rules and Transitivity: Next Steps, in: IJCAI: International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, July 2015.

    https://hal.archives-ouvertes.fr/hal-01171846
  • 49A. Jmal, F. Michaud, M. Irle, A. Ndiaye.

    Structuring and representation of scientific knowledge for a transfer through an electronic knowledge-book, in: 2011 IEEE International Conference on Service-Oriented Computing and Applications (SOCA), IEEE, 2011, pp. 1–7.