EN FR
EN FR


previous Previous | up Home


Bibliography

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

    Extending Acyclicity Notions for Existential Rules, in: ECAI 2014 - 21st European Conference on Artificial Intelligence, Prague, Czech Republic, G. F. Torsten Schaub, B. O'Sullivan (editors), IOS Press, August 2014, vol. 263, pp. 39-44. [ DOI : 10.3233/978-1-61499-419-0-39 ]

    https://hal-auf.archives-ouvertes.fr/hal-01092757
  • 2J.-F. Baget, J. Fortin.

    Default conceptual graph rules, atomic negation and Tic-Tac-Toe, in: ICCS'10: 18th International Conference on Conceptual Structures - Conceptual Structures: From Information to Intelligence, Malaisie, M. Croitoru, S. Ferré, D. Lukose (editors), LNAI, Springer, July 2010, pp. 42-55, ICCS'10 Best Paper Award.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-00537338/en/
  • 3J.-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
  • 4J.-F. Baget, M.-L. Mugnier, S. Rudolph, M. Thomazo.

    Walking the Complexity Lines for Generalized Guarded Existential Rules, in: IJCAI'11: International Joint Conference on Artificial Intelligence, Barcelona, Spain, T. Walsh (editor), AAAI Press, July 2011, pp. 712-717.

    http://hal.inria.fr/lirmm-00618081/en
  • 5M. Chein, M.-L. Mugnier.

    Graph-based Knowledge Representation and Reasoning—Computational Foundations of Conceptual Graphs, Advanced Information and Knowledge Processing, Springer, 2009.
  • 6S. Destercke, P. Buche, B. Charnomordic.

    Evaluating Data Reliability: an Evidential Answer with Application to a Web-Enabled data Warehouse, in: IEEE Transactions on Knowledge and Data Engineering, January 2013, vol. 25, no 1, pp. 92-105.

    http://hal.inria.fr/lirmm-00611954
  • 7S. Kaci.

    Working with Preferences: Less Is More, Cognitive Technologies, Springer, 2011, pp. 11-193.
  • 8M. König, M. Leclère, M.-L. Mugnier, M. Thomazo.

    A Sound and Complete Backward Chaining Algorithm for Existential Rules, in: RR'2012: International Conference on Web Reasoning and Rule Systems, Australie, Springer, 2012, pp. 122-138, RR'2012 Best Paper Award.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-00764341
  • 9M.-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
  • 10M.-C. Rousset, F. Ulliana.

    Extracting Bounded-level Modules from Deductive RDF Triplestores, in: AAAI'15: 29th Conference on Artificial Intelligence, Austin, Texas, United States, AAAI, January 2015.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01086951
  • 11N. Tamani, M. Croitoru.

    A quantitative preference-based structured argumentation system for decision support, in: FUZZ-IEEE'2014: International Conference on Fuzzy Systems, Beijing, China, FUZZ-IEEE'2014: International Conference on Fuzzy Systems, IEEE, July 2014, pp. 1408-1415. [ DOI : 10.1109/FUZZ-IEEE.2014.6891601 ]

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01089588
  • 12M. Thomazo, J.-F. Baget, M.-L. Mugnier, S. Rudolph.

    A Generic Querying Algorithm for Greedy Sets of Existential Rules, in: KR'12: International Conference on Principles of Knowledge Representation and Reasoning, Italie, 2012, pp. 096-106.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-00763518
  • 13M. Thomazo.

    Compact Rewriting for Existential Rules, in: IJCAI'2013: 23rd International Joint Conference on Artificial Intelligence, Beijing, China, 2013.

    http://hal.inria.fr/lirmm-00839422
  • 14M. Thomazo.

    Conjunctive Query Answering Under Existential Rules - Decidability, Complexity, and Algorithms, Université Montpellier II - Sciences et Techniques du Languedoc, October 2013.

    https://tel.archives-ouvertes.fr/tel-00925722
Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 19T. Hecht, P. Buche, J. Dibie, M. Ibanescu, C. Trojahn Dos Santos.

    Alignement d'ontologies : exploitation des ontologies liées sur le web de données, in: Revue Nouvelles Technologies de l'Information (RNTI), January 2014, vol. RNTI-E-26, pp. 23-34.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01092173
  • 20S. Kaci, C. Labreuche.

    Valued preference-based instantiation of argumentation frameworks with varied strength defeats, in: International Journal of Approximate Reasoning, December 2014, vol. 55, no 9, pp. 2004-2027. [ DOI : 10.1016/j.ijar.2013.12.001 ]

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01082087
  • 21S. Kaci, N. Patel.

    A postulate-based analysis of comparative preference statements, in: Journal of Applied Logic, 2014, vol. 12, no 4, pp. 501-521. [ DOI : 10.1016/j.jal.2014.07.004 ]

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

    Sound, Complete and Minimal UCQ-Rewriting for Existential Rules, in: Semantic Web journal, 2015, forthcoming.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01090370
  • 23F. Saïs, R. Thomopoulos.

    Ontology-Aware Prediction from Rules: A Reconciliation-Based Approach, in: Knowledge-Based Systems, September 2014, vol. 67, pp. 117-130. [ DOI : 10.1016/j.knosys.2014.05.023 ]

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01092431
  • 24R. Thomopoulos, M. Croitoru, N. Tamani.

    Decision Support for Agri-Food Chains: A Reverse Engineering Argumentation-Based Approach, in: Ecological Informatics, 2014, forthcoming. [ DOI : 10.1016/j.ecoinf.2014.05.010 ]

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01092438

Articles in National Peer-Reviewed Journals

  • 25S. Lilia Berrahou, L. Lebras, P. Buche, J. Dibie-Barthélemy, M. Roche.

    Enrichissement d'une RTO par l'ajout de termes spécialisés, in: Numéro spécial de RNTI (Revue des Nouvelles Technologies de l'Information) "Des Sources Ouvertes au Web de Données", Version étendue du résumé/poster d'EGC'13, 2014, vol. RNTI-W-2, pp. 59-74.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01054906

Invited Conferences

  • 26M.-L. Mugnier, M. Thomazo.

    An Introduction to Ontology-Based Query Answering with Existential Rules, in: RW'2014: 10th Reasoning Web Summer School, Athens, Greece, M. Koubarakis, G. Stoilos, I. Horrocks, P. G. Kolaitis, G. Lausen, G. Weikum, G. B. Stamou (editors), Lecture Notes in Computer Science, Springer, September 2014, vol. 8714, pp. 245-278. [ DOI : 10.1007/978-3-319-10587-1_6 ]

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01089990

International Conferences with Proceedings

  • 27A. Arioua, N. Tamani, M. Croitoru, P. Buche.

    Query Failure Explanation in Inconsistent Knowledge Bases Using Argumentation, in: The 5th International Conference on Computational Models of Argument (COMMA'14), Scottish Highlands, Pitlochry, United Kingdom, Frontiers in Artificial Intelligence and Applications, September 2014, no Volume 266. [ DOI : 10.3233/978-1-61499-436-7-101 ]

    https://hal-auf.archives-ouvertes.fr/hal-01089146
  • 29M. Atencia, M. Chein, M. Croitoru, J. David, M. Leclère, N. Pernelle, F. Saïs, F. Scharffe, D. Symeonidou.

    Defining Key Semantics for the RDF Datasets: Experiments and Evaluations, in: ICCS'2014: 21st International Conference on Conceptual Structures, Iasi, Romania, LNAI, Springer, July 2014, vol. 8577, pp. 65-78. [ DOI : 10.1007/978-3-319-08389-6_7 ]

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01090357
  • 30J.-F. Baget, F. Garreau, M.-L. Mugnier, S. Rocher.

    Extending Acyclicity Notions for Existential Rules, in: ECAI - 21st European Conference on Artificial Intelligence, Prague, Czech Republic, T. Schaub, G. Friedrich, B. O'Sullivan (editors), IOS Press, August 2014, vol. 263, pp. 39-44. [ DOI : 10.3233/978-1-61499-419-0-39 ]

    https://hal-auf.archives-ouvertes.fr/hal-01092757
  • 31J.-F. Baget, F. Garreau, M.-L. Mugnier, S. Rocher.

    Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation, in: NMR'2014: 15th International Workshop on Non-Monotonic Reasoning, Vienna, Austria, S. Konieczny, H. Tompits (editors), July 2014, vol. INFSYS Research Report Series.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01097136
  • 32R. Booth, D. M. Gabbay, S. Kaci, T. Rienstra, L. Van Der Torre.

    Abduction and Dialogical Proof in Argumentation and Logic Programming, in: ECAI - 21st European Conference on Artificial Intelligence, Prague, Czech Republic, August 2014, pp. 117-122.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01082080
  • 33P. Buche, J. Fortin, A. Gutierrez.

    Default Reasoning Implementation in CoGui, in: ICCS'2014: 21st International Conference on Conceptual Structures, Iasi, Romania, Graph-Based Representation and Reasoning, July 2014, vol. LNCS, pp. 118-129. [ DOI : 10.1007/978-3-319-08389-6_11 ]

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01092160
  • 34M. Chein, M.-L. Mugnier.

    Conceptual Graphs are Also Graphs, in: ICCS'2014: 21st International Conference on Conceptual Structures, Iasi, Romania, M. Croitoru (editor), Lecture Notes in Computer Science, Springer, July 2014, vol. 8577, pp. 1-18. [ DOI : 10.1007/978-3-319-08389-6_1 ]

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01090141
  • 35L. Guizol, M. Croitoru.

    Investigating the quality of a bibliographic knowledge base using partitioning semantics, in: FUZZ-IEEE'2014: International Conference on Fuzzy Systems, Beijing, China, IEEE, July 2014, pp. 948-955. [ DOI : 10.1109/FUZZ-IEEE.2014.6891541 ]

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01090451
  • 37S. Kaci, N. Patel, V. Prince.

    From NL Preference Expressions to Comparative Preference Statements: A Preliminary Study in Eliciting Preferences for Customised Decision Support, in: ICTAI'14: 26th International Conference on Tools with Artificial Intelligence, Limassol, Cyprus, November 2014, pp. 591-598.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01087588
  • 38S. Kaci, E. Raufaste.

    A Psychological Analysis of Preference Semantics in Conditional Logics for Preference Representation, in: SUM'14: 8th International Conference on Scalable Uncertainty Management, Oxford, United Kingdom, Scalable Uncertainty Management, Springer, September 2014, vol. LNCS, no 8720, pp. 209-222. [ DOI : 10.1007/978-3-319-11508-5_18 ]

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01082077
  • 39S. Kaci, Y. Salhi.

    A Constructive Argumentation Framework, in: AAAI'14: 28th Conference on Artificial Intelligence, Quebec city, Canada, July 2014, pp. 1070-1076.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01082069
  • 40P. Mosse, P. Buche, N. Tamani, M. Croitoru, V. Guillard, C. Guillaume, N. Gontard.

    Eco-Efficient Packaging Material Selection for Fresh Produce: Industrial Session, in: ICCS'2014: 21st International Conference on Conceptual Structures, Lasi, Romania, Lecture Notes in Computer Science, Springer International Publishing, July 2014, pp. 305-310. [ DOI : 10.1007/978-3-319-08389-6_27 ]

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01089599
  • 41A.-R. Muljarto, J.-m. Salmon, P. Neveu, B. Charnomordic, P. Buche.

    Ontology-Based Model for Food Transformation Processes - Application to Winemaking, in: MTSR'2014: 8th Metadata and Semantics Research Conference, Karlsruhe, Germany, Communications in Computer and Information Science, November 2014, vol. 478, pp. 329-343.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01092185
  • 42J. Rabatel, M. Croitoru, D. Ienco, P. Poncelet.

    Contextual Itemset Mining in DBpedia, in: LD4KD : 1st Workshop on Linked Data for Knowledge Discovery with ECML PKDD : The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Nancy, France, CEUR, September 2014, vol. 1232, http://ceur-ws.org/Vol-1232/.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01076887
  • 43R. Rodriguez, M. Croitoru.

    Update Operators for Inconsistent Query Answering: A New Point of View, in: SUM'2014: 8th International Conference on Scalable Uncertainty Management, Oxford, United Kingdom, Scalable Uncertainty Management, September 2014, vol. LNCS, no 8720, pp. 100-105. [ DOI : 10.1007/978-3-319-11508-5_9 ]

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01088098
  • 44M.-C. Rousset, F. Ulliana.

    Extracting Bounded-level Modules from Deductive RDF Triplestores, in: AAAI'15: 29th Conference on Artificial Intelligence, Austin, Texas, United States, AAAI, January 2015.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01086951
  • 45N. Tamani, M. Croitoru, P. Buche.

    Conflicting viewpoint relational database querying: an argumentation approach, in: AAMAS'2014: 13th International Conference on Autonomous Agents and Multiagent Systems, Paris, France, IFAAMAS/ACM , May 2014, pp. 1553-1554.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01089139
  • 46N. Tamani, M. Croitoru.

    A quantitative preference-based structured argumentation system for decision support, in: FUZZ-IEEE'2014: International Conference on Fuzzy Systems, Beijing, China, FUZZ-IEEE'2014: International Conference on Fuzzy Systems, IEEE, July 2014, pp. 1408-1415. [ DOI : 10.1109/FUZZ-IEEE.2014.6891601 ]

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01089588
  • 47N. Tamani, M. Croitoru.

    Fuzzy Argumentation System for Decision Support, in: IPMU'2014-Part II : 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Montpellier, France, Communications in Computer and Information Science, Springer International Publishing, July 2014, vol. 442, pp. 77-86. [ DOI : 10.1007/978-3-319-08795-5_9 ]

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01089603
  • 48N. Tamani, P. Mosse, M. Croitoru, P. Buche, V. Guillard.

    A Food Packaging Use Case for Argumentation, in: MTSR'2014: 8th Metadata and Semantics Research Conference, Karlsruhe, Germany, Communications in Computer and Information Science, Springer International Publishing, November 2014, vol. 478, pp. 344-358. [ DOI : 10.1007/978-3-319-13674-5_31 ]

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01089612
  • 49N. Tamani, M. Patricio, M. Croitoru, P. Buche.

    Enriching queries using argumentation: an industrial application of argumentation, in: COMMA'2014: 5th International Conference on Computational Models of Argument, Pitlochry, United Kingdom, Frontiers in Artificial Intelligence and Applications, September 2014, vol. 266, pp. 477-478. [ DOI : 10.3233/978-1-61499-436-7-477 ]

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01089583

National Conferences with Proceedings

  • 50M. Chein, M. Croitoru, M. Leclère, N. Pernelle, F. Saïs, D. Symeonidou.

    Définition de la sémantique des clés dans le Web sémantique : un point de vue théorique, in: IC - 25èmes Journées francophones d'Ingénierie des Connaissances, Clermont-Ferrand, France, C. Faron-Zucker (editor), May 2014, pp. 225-236, Session 4 : Web sémantique.

    https://hal.inria.fr/hal-01015297
  • 51T. Hecht, P. Buche, J. Dibie-Barthélemy, L. Ibanescu, C. Trojahn Dos Santos.

    Exploitation des ontologies liées sur le Web de données pour aligner une nouvelle ontologie, in: EGC'2014: 14èmes Journées Francophones "Extraction et Gestion des Connaissances", IRISA, Rennes, France, January 2014.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-00915265
  • 52F. Saïs, R. Thomopoulos, G. Ioanna.

    Linked Data Annotation and Fusion driven by Data Quality Evaluation, in: EGC'2015 : Extraction et Gestion des Connaissances, Luxembourg, Luxembourg, January 2015.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01097737

Scientific Books (or Scientific Book chapters)

Internal Reports

Other Publications

  • 57L. Guizol.

    C. Faron-Zucker (editor), Agrégation pour la réparation de liens, May 2014, pp. 275-277, IC - 25èmes Journées francophones d'Ingénierie des Connaissances, Session 5 : Posters et démonstrations.

    https://hal.inria.fr/hal-01016413
References in notes
  • 58J. Baget, M. Leclère, M. Mugnier, E. Salvat.

    Extending Decidable Cases for Rules with Existential Variables, in: IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009, C. Boutilier (editor), 2009, pp. 677–682.

    http://ijcai.org/papers09/Papers/IJCAI09-118.pdf
  • 59A. Calì, G. Gottlob, T. Lukasiewicz.

    A general datalog-based framework for tractable query answering over ontologies, in: PODS'09, 2009, pp. 77-86.
  • 60M. König, M. Leclère, M. Mugnier, M. Thomazo.

    A Sound and Complete Backward Chaining Algorithm for Existential Rules, in: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, M. Krötzsch, U. Straccia (editors), Lecture Notes in Computer Science, Springer, 2012, vol. 7497, pp. 122–138.

    http://dx.doi.org/10.1007/978-3-642-33203-6_10
  • 61M. König, M. Leclère, M. Mugnier, M. Thomazo.

    On the Exploration of the Query Rewriting Space with Existential Rules, in: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, W. Faber, D. Lembo (editors), Lecture Notes in Computer Science, Springer, 2013, vol. 7994, pp. 123–137.

    http://dx.doi.org/10.1007/978-3-642-39666-3_10
  • 62M. König, M. Leclère, M. Mugnier, M. Thomazo.

    Sound, Complete, and Minimal Query Rewriting for Existential Rules, in: IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, F. Rossi (editor), IJCAI/AAAI, 2013.

    http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6641


previous Previous | up Home