Personnel
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


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. Bienvenu, M.-L. Mugnier, M. Thomazo.
    Answering Conjunctive Regular Path Queries over Guarded Existential Rules, in: IJCAI: International Joint Conference on Artificial Intelligence, Melbourne, Australia, August 2017.
    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01632224
  • 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
  • 4M. Bienvenu, P. Bourhis, M.-L. Mugnier, S. Tison, F. Ulliana.
    Ontology-Mediated Query Answering for Key-Value Stores, in: IJCAI: International Joint Conference on Artificial Intelligence, Melbourne, Australia, August 2017.
    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01632090
  • 5M. Bienvenu, S. Kikot, R. Kontchakov, V. V. Podolskii, V. Ryzhikov, M. Zakharyaschev.
    The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries, in: 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2017), Chicago, United States, May 2017.
    https://hal.inria.fr/hal-01632638
  • 6Z. 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
  • 7M. Chein, M.-L. Mugnier.
    Graph-based Knowledge Representation and Reasoning—Computational Foundations of Conceptual Graphs, Advanced Information and Knowledge Processing, Springer, 2009.
  • 8V. 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
  • 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
  • 10B. Yun, M. Croitoru, P. Bisquert.
    Are ranking semantics sensitive to the notion of core?, in: AAMAS '17 - 16th Conference on Autonomous Agents and MultiAgent Systems, Sao Paulo, Brazil, May 2017.
    https://hal.inria.fr/hal-01605720
Publications of the year

Articles in International Peer-Reviewed Journals

  • 11C. A. Aceves Lara, V. Athès, P. Buche, G. D. Valle, V. Farines, F. Fonseca, V. Guillard, K. Kansou, M. Kristiawan, V. MONCLUS, J.-R. Mouret, A. Ndiaye, P. Neveu, S. Passot, C. Pénicaud, J.-M. Sablayrolles, J.-M. Salmon, R. Thomopoulos, I. C. Tréléa.
    The virtual food system: Innovative models and experiential feedback in technologies for winemaking, the cereals chain, food packaging and eco-designed starter production, in: Innovative Food Science and Emerging Technologies, October 2017, pp. 1-11, forthcoming. [ DOI : 10.1016/j.ifset.2017.10.006 ]
    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01651998
  • 12A. Arioua, P. Buche, M. Croitoru.
    Explanatory dialogues with argumentative faculties over inconsistent knowledge bases, in: Expert Systems with Applications, September 2017, vol. 80, pp. 244-262. [ DOI : 10.1016/j.eswa.2017.03.009 ]
    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01596665
  • 13A. Arioua, M. Croitoru, S. Vesic.
    Logic-based argumentation with existential rules, in: International Journal of Approximate Reasoning, November 2017, vol. 90, pp. 76-106. [ DOI : 10.1016/j.ijar.2017.07.004 ]
    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01596666
  • 14S. L. Berrahou, P. Buche, J. Dibie, M. Roche.
    Xart: Discovery of correlated arguments of n-ary relations in text, in: Expert Systems with Applications, 2017, vol. 73, pp. 115-124. [ DOI : 10.1016/j.eswa.2016.12.028 ]
    https://hal-agroparistech.archives-ouvertes.fr/hal-01508801
  • 15P. Bisquert, M. Croitoru, F. Dupin De Saint-Cyr, A. Hecham.
    Formalizing Cognitive Acceptance of Arguments: Durum Wheat Selection Interdisciplinary Study, in: Minds and Machines, 2017, vol. 27, no 1, pp. 233-252. [ DOI : 10.1007/s11023-017-9424-7 ]
    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01590035
  • 16V. Guillard, O. Couvert, V. Stahl, P. Buche, A. Hanin, C. Denis, J. Dibie, S. Dervaux, C. Loriot, T. Vincelot, V. Huchet, D. Thuault.
    MAP-OPT: A software for supporting decision-making in the field of modified atmosphere packaging of fresh non respiring foods, in: Packaging Research, 2017, pp. 1-43, forthcoming.
    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01652014
  • 17A. R. Muljarto, J.-M. Salmon, B. Charnomordic, P. Buche, A. Tireau, P. Neveu.
    A generic ontological network for Agri-food experiment integration – Application to viticulture and winemaking, in: Computers and Electronics in Agriculture, 2017, vol. 140, pp. 433-442. [ DOI : 10.1016/j.compag.2017.06.020 ]
    https://hal.archives-ouvertes.fr/hal-01552148
  • 18E. D. Yeumo, M. Alaux, E. Arnaud, S. Aubin, U. Baumann, P. Buche, L. Cooper, H. Ćwiek-Kupczyńska, R. P. Davey, R. A. Fulss, C. Jonquet, M.-A. Laporte, P. Larmande, C. Pommier, V. Protonotarios, C. Reverte, R. Shrestha, I. Subirats, A. Venkatesan, A. Whan, H. Quesneville.
    Developing data interoperability using standards: A wheat community use case, in: F1000Research, 2017, vol. 6. [ DOI : 10.12688/f1000research.12234.1 ]
    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01652022

Articles in National Peer-Reviewed Journals

  • 19P. Buche, N. Gontard, V. Guillard, C. Guillaume, L. Menut.
    A Decision Support System to select modified atmosphere for packaging fresh produce, in: Innovations Agronomiques, 2017, vol. 58, pp. 81-91, Colloque CIAg "Emballages alimentaires : innover pour la sécurité et la durabilité" organisé à Paris le 8 juin 2017.
    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01651979

International Conferences with Proceedings

  • 20J.-F. Baget, M. Bienvenu, M.-L. Mugnier, M. Thomazo.
    Answering Conjunctive Regular Path Queries over Guarded Existential Rules, in: IJCAI: International Joint Conference on Artificial Intelligence, Melbourne, Australia, August 2017.
    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01632224
  • 21M. Bienvenu, P. Bourhis, M.-L. Mugnier, S. Tison, F. Ulliana.
    Ontology-Mediated Query Answering for Key-Value Stores, in: IJCAI: International Joint Conference on Artificial Intelligence, Melbourne, Australia, August 2017.
    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01632090
  • 22M. Bienvenu, S. Kikot, R. Kontchakov, V. V. Podolskii, V. Ryzhikov, M. Zakharyaschev.
    The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries, in: 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2017), Chicago, United States, May 2017.
    https://hal.inria.fr/hal-01632638
  • 23M. Bienvenu, S. Kikot, R. Kontchakov, V. Ryzhikov, M. Zakharyaschev.
    On the Parameterised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL, in: 30th International Workshop on Description Logics, Montpellier, France, July 2017.
    https://hal.inria.fr/hal-01632925
  • 24M. Bienvenu, S. Kikot, R. Kontchakov, V. Ryzhikov, M. Zakharyaschev.
    Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries, in: International Workshop on Description Logics, Montpellier, France, July 2017.
    https://hal.inria.fr/hal-01632929
  • 25P. Bisquert, P. Buche, M. Croitoru, N. Karanikolas, R. Thomopoulos.
    Selection of agro-waste valorisation routes based on a computational social choice and argumentation decision support tool, in: EFITA WCCA CONGRESS, Montpellier, France, July 2017.
    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01580598
  • 26A. Breysse, A. Barakat, H. Angellier-Coussy, C. Mayer-Laigle, P. Buche.
    A termino-ontological resource to compare ligno-cellulosic biomass and agro-waste valorisation routes, in: EFITA WCCA 2017 Conference, Montpellier, France, July 2017.
    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01651974
  • 27A. Gutierrez, M. Chein, M. Huchard, P. Pompidor.
    An Application of AOC-Posets: Indexing Large Corpuses for Text Generation Under Constraints, in: ISMIS: International Symposium Foundations of Intelligent Systems, Warsaw, Poland, A. Appice, M. Kryszkiewicz, D. Ślęzak (editors), Proceedings of 23rd International Symposium Foundations of Intelligent Systems (ISMIS) 2017, Springer, June 2017, vol. LNCS, no 10352, pp. 642-652. [ DOI : 10.1007/978-3-319-60438-1_63 ]
    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01580830
  • 28A. Hecham, A. Arioua, G. Stapleton, M. Croitoru.
    An empirical evaluation of argumentation in explaining inconsistency tolerant query answering, in: Description Logics, Montpellier, France, July 2017.
    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01586155
  • 29A. Hecham, P. Bisquert, M. Croitoru.
    On the Chase for All Provenance Paths With Existential Rules, in: RuleML+RR 2017 - International Joint Conference on Rules and Reasoning, London, United Kingdom, July 2017.
    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01520172
  • 30A. Hecham, M. Croitoru, P. Bisquert.
    Argumentation-Based Defeasible Reasoning For Existential Rules, in: AAMAS: Autonomous Agents and MultiAgent Systems, Sao Paulo, Brazil, May 2017, pp. 1568-1569.
    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01520171
  • 31O. Rodriguez, C. Colomier, C. Rivière, R. Akbarinia, F. Ulliana.
    Querying Key-Value Stores Under Simple Semantic Constraints : Rewriting and Parallelization, in: BDA: Conférence sur la Gestion de Données — Principes, Technologies et Applications, Nancy, France, November 2017.
    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01620207
  • 32R. Thomopoulos, S. Bakalis.
    Information systems and computational methods for decision support in agricultural and food policies: A worst-case scenario in the wheat-to-bread chain, in: EFITA WCCA CONGRESS, Montpellier, France, July 2017.
    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01580590
  • 33R. Thomopoulos, B. Moulin, L. Bedoussac.
    Combined Argumentation and Simulation to Support Decision: Example to Assess the Attractiveness of a Change in Agriculture, in: IEA/AIE, Arras, France, S. Benferhat (editor), Advances in Artificial Intelligence: From Theory to Practice. IEA/AIE 2017, Springer, June 2017, vol. LNCS, no 10351, pp. 275-281. [ DOI : 10.1007/978-3-319-60045-1_30 ]
    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01580585
  • 34R. Thomopoulos, B. Moulin, L. Bedoussac.
    Combining argumentation and system dynamics simulation for decision support in the agri-food sector, in: EFITA WCCA CONGRESS, Montpellier, France, July 2017.
    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01580592
  • 35R. Thomopoulos, D. Paturel.
    Multidimensional Analysis Through Argumentation?: Contributions from a Short Food Supply Chain Experience, in: IEA/AIE, Arras, France, S. Benferhat (editor), Advances in Artificial Intelligence: From Theory to Practice. IEA/AIE 2017, Springer, June 2017, vol. LNCS, no 10351, pp. 268-274. [ DOI : 10.1007/978-3-319-60045-1_29 ]
    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01580570
  • 37B. YUN, S. Vesic, M. Croitoru, P. Bisquert, R. Thomopoulos.
    A structural benchmark for logical argumentation frameworks, in: IDA 2017 - 16th International Symposium on Intelligence Data Analysis, Londres, United Kingdom, Advances in Intelligent Data Analysis XVI, Springer, Cham, October 2017, vol. 10584, pp. 334-346. [ DOI : 10.1007/978-3-319-68765-0_28 ]
    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01668017
  • 38B. Yun, M. Croitoru, P. Bisquert.
    Are ranking semantics sensitive to the notion of core?, in: AAMAS '17 - 16th Conference on Autonomous Agents and MultiAgent Systems, Sao Paulo, Brazil, May 2017.
    https://hal.inria.fr/hal-01605720

Scientific Books (or Scientific Book chapters)

  • 39T. Hecht, P. Buche, J. Dibie, L. Ibanescu, C. Trojahn dos Santos.
    Ontology Alignment Using Web Linked Ontologies as Background Knowledge, in: Advances in Knowledge Discovery and Management, F. Guillet, B. Pinaud, G. Venturini (editors), Studies in Computational Intelligence, Springer, 2017, vol. 665, pp. 207-227. [ DOI : 10.1007/978-3-319-45763-5_11 ]
    https://hal-agroparistech.archives-ouvertes.fr/hal-01508810
  • 40M.-C. Rousset, M. Atencia, J. David, F. Jouanot, O. Palombi, F. Ulliana.
    Datalog revisited for reasoning in linked data, in: Reasoning Web. Semantic Interoperability on the Web. Reasoning Web 2017, G. Ianni, D. Lembo, L. Bertossi, W. Faber, B. Glimm, G. Gottlob, S. Staab (editors), Reasoning Web International Summer School, Springer Verlag, 2017, vol. LNCS, no 10370, pp. 121-166, rousset2017a. [ DOI : 10.1007/978-3-319-61033-7_5 ]
    https://hal.inria.fr/hal-01661141

Other Publications

  • 41P. Bisquert, M. Croitoru, N. Karanikolas.
    A qualitative decision-making approach overlapping argumentation and social choice, October 2017, ADT: Algorithmic Decision Theory, Poster.
    https://hal.archives-ouvertes.fr/hal-01606501
  • 42s. Guiziou, P. Mayonove, F. Ulliana, V. Moreau, M. Leclère, J. Bonnet.
    Scalable composition frameworks for multicellular logic, December 2017, working paper or preprint. [ DOI : 10.1101/150987 ]
    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01662689
References in notes
  • 43F. 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
  • 44M. 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
  • 45M. 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
  • 46M.-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