Project-Team Graphik
Members
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

previous Previous | up Home

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, F. Garreau, 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
  • 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.
  • 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, 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
  • 8M. 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
  • 9M. 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
  • 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
  • 11M.-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
  • 12N. 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
  • 13M. 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
Publications of the year

Articles in International Peer-Reviewed Journals

  • 14V. 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
  • 15M. 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
  • 16P.-Y. Rabattu, B. Massé, F. Ulliana, M.-C. Rousset, D. Rohmer, J.-C. Léon, O. Palombi.
    My Corporis Fabrica Embryo: An ontology-based 3D spatio-temporal modeling of human embryo development, in: Journal of Biomedical Semantics, 2015, vol. 6, no 36. [ DOI : 10.1186/s13326-015-0034-0 ]
    https://hal.inria.fr/hal-01214229
  • 17N. Tamani, P. Mosse, M. Croitoru, P. Buche, V. Guillard, C. Guillaume, N. Gontard.
    An argumentation system for eco-efficient packaging material selection, in: Computers and Electronics in Agriculture, April 2015, vol. 113, pp. 174-192. [ DOI : 10.1016/j.compag.2015.02.012 ]
    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01160802
  • 18R. Thomopoulos, M. Croitoru, N. Tamani.
    Decision Support for Agri-Food Chains: A Reverse Engineering Argumentation-Based Approach , in: Ecological Informatics, December 2015, vol. 26, pp. 182-191. [ DOI : 10.1016/j.ecoinf.2014.05.010 ]
    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01242932

International Conferences with Proceedings

  • 19A. Arioua, M. Croitoru.
    Formalizing Explanatory Dialogues, in: SUM'2015: 9th International Conference on Scalable Uncertainty Management, Quebec, Canada, September 2015.
    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01164705
  • 20A. Arioua, N. Tamani, M. Croitoru.
    Query Answering Explanation in Inconsistent Datalog+/- Knowledge Bases, in: DEXA'2015: 26th International Conference on Database and Expert Systems Applications, Valence, Spain, September 2015.
    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01164702
  • 21A. Arioua, N. Tamani, M. Croitoru, J. Fortin, P. Buche.
    Investigating the Mapping between Default Logic and Inconsistency-Tolerant Semantics, in: ICAISC: International Conference on Artificial Intelligence and Soft Computing, Zakopane, Poland, L. Rutkowski, M. Korytkowski, R. Scherer, R. Tadeusiewicz, L. Zadeh, J. Zurada (editors), Springer, June 2015, vol. Lecture Notes in Computer Science, no 9120, pp. 554-564. [ DOI : 10.1007/978-3-319-19369-4_49 ]
    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01164696
  • 22J.-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
  • 23J.-F. Baget, M. Leclère, M.-L. Mugnier, S. Rocher, C. Sipieter.
    Graal: A Toolkit for Query Answering with Existential Rules, in: 9th International Web Rule Symposium (RuleML), Berlin, Germany, August 2015.
    https://hal.archives-ouvertes.fr/hal-01172063
  • 24P. Bisquert, M. Croitoru, F. Dupin De Saint Cyr - Bannay.
    Four Ways to Evaluate Arguments According to Agent Engagement, in: BIH: Brain Informatics and Health, London, United Kingdom, Y. Guo, K. J. Friston, A. A. Faisal, S. L. Hill, P. Hanchuan (editors), LNCS, Springer, August 2015, vol. 9250, pp. 445-456. [ DOI : 10.1007/978-3-319-23344-4_43 ]
    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01245121
  • 25P. Bisquert, M. Croitoru, F. Dupin De Saint Cyr - Bannay.
    Towards a dual process cognitive model for argument evaluation, in: SUM'2015: 9th International Conference on Scalable Uncertainty Management, Quebec City, Canada, September 2015.
    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01164251
  • 26J. Carbonnel, M. Huchard, A. Gutierrez.
    Variability representation in product lines using concept lattices: feasibility study with descriptions from Wikipedia's product comparison matrices, in: ICFCA'2015: 13th International Conference on Formal Concept Analysis, Nerja (Málaga), Spain, June 2015, 16 p.
    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01183447
  • 27M. Croitoru, R. Thomopoulos, S. Vesic.
    Introducing Preference-Based Argumentation to Inconsistent Ontological Knowledge Bases, in: PRIMA 2015: 18th International Conference on Principles and Practice of Multi-Agent Systems, Bertino, Italy, October 2015, no 9387, pp. 594-602. [ DOI : 10.1007/978-3-319-25524-8_42 ]
    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01242937
  • 28M. 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
  • 29M.-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).
    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01242913
  • 30M.-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

National Conferences with Proceedings

  • 31S. Lilia Berrahou, P. Buche, J. Dibie, M. Roche.
    Identification des unités de mesure dans les textes scientifiques, in: TALN: Traitement Automatique des Langues Naturelles, Caen, France, ATALA, June 2015, pp. 404-410.
    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01184559
  • 32F. Saïs, R. Thomopoulos, G. Ioanna.
    Linked Data Annotation and Fusion driven by Data Quality Evaluation, in: EGC: Extraction et Gestion des Connaissances, Luxembourg, Luxembourg, January 2015.
    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01097737

Conferences without Proceedings

  • 33J.-F. Baget, A. Gutierrez, M. Leclère, M.-L. Mugnier, S. Rocher, C. Sipieter.
    Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules, in: RuleML: Web Rule Symposium, Berlin, Germany, August 2015.
    https://hal.archives-ouvertes.fr/hal-01172069
  • 34N. Bidoit, D. Colazzo, C. Sartiani, A. Solimando, F. Ulliana.
    Andromeda: A System for Processing Queries and Updates on Big XML Documents, in: BigDap 2015 - 2nd International Workshop on Big Data Applications and Principles, Poitiers, France, September 2015.
    https://hal.archives-ouvertes.fr/hal-01169275
  • 35N. Bidoit, D. Colazzo, C. Sartiani, A. Solimando, F. Ulliana.
    Queries and Updates on Big XML Documents (Extended Abstract), in: SEBD 2015 - 23rd Italian Symposium on Advanced Database Systems, GAETA, Italy, June 2015.
    https://hal.archives-ouvertes.fr/hal-01169269
  • 36R. Touhami, P. Buche, J. Dibie, L. Ibanescu.
    Ontology Evolution for Experimental Data in Food, in: 9th Research Conference MTSR: Metadata and Semantics Research, Manchester, United Kingdom, Springer, September 2015, vol. Communications in Computer and Information Science, no 544, pp. 393-404. [ DOI : 10.1007/978-3-319-24129-6_34 ]
    http://hal-lirmm.ccsd.cnrs.fr/lirmm-01224081

Internal Reports

Scientific Popularization

Other Publications

References in notes
  • 41J.-F. Baget, M. Leclère, M.-L. 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
  • 42A. Calì, G. Gottlob, T. Lukasiewicz.
    A general datalog-based framework for tractable query answering over ontologies, in: PODS'09, 2009, pp. 77-86.
  • 43M. Croitoru, S. Vesic.
    What Can Argumentation Do for Inconsistent Ontology Query Answering?, in: SUM'2013: 7th International Conference on Scalable Uncertainty Management, Washington, DC, United States, LNCS, Springer, September 2013, vol. 8078, pp. 15-29. [ DOI : 10.1007/978-3-642-40381-1_2 ]
    http://hal-lirmm.ccsd.cnrs.fr/lirmm-00936486

previous Previous | up Home