EN FR
EN FR


previous Previous | up Home


Bibliography

Major publications by the team in recent years
  • 1J.-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
  • 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
  • 3J.-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
  • 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, M. Zakharyaschev.

    Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity, in: Journal of the ACM (JACM), September 2018, vol. 65, no 5, pp. 1-51. [ DOI : 10.1145/3191832 ]

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

    Graph-based Knowledge Representation and Reasoning—Computational Foundations of Conceptual Graphs, Advanced Information and Knowledge Processing, Springer, 2009.
  • 7V. 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
  • 8A. Hecham, P. Bisquert, M. Croitoru.

    On a Flexible Representation for Defeasible Reasoning Variants, in: AAMAS: Autonomous Agents and MultiAgent Systems, Stockholm, Sweden, July 2018, pp. 1123-1131.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01894742
  • 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, S. Vesic, M. Croitoru, P. Bisquert.

    Inconsistency Measures for Repair Semantics in OBDA, in: IJCAI: International Joint Conference on Artificial Intelligence, Stockholm, Sweden, July 2018, pp. 1977-1983. [ DOI : 10.24963/ijcai.2018/273 ]

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01892704
Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 12C. 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, April 2018, vol. 46, pp. 54-64. [ DOI : 10.1016/j.ifset.2017.10.006 ]

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01651998
  • 13J.-F. Baget, L. Garcia, F. Garreau, C. Lefèvre, S. Rocher, I. Stéphan.

    Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin, in: Annals of Mathematics and Artificial Intelligence, March 2018, vol. 82, no 1-3, pp. 3-41. [ DOI : 10.1007/s10472-017-9563-9 ]

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01934731
  • 14M. Bienvenu, S. Kikot, R. Kontchakov, V. V. Podolskii, M. Zakharyaschev.

    Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity, in: Journal of the ACM (JACM), September 2018, vol. 65, no 5, pp. 1-51. [ DOI : 10.1145/3191832 ]

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01892661
  • 15s. Guiziou, F. Ulliana, V. Moreau, M. Leclère, J. Bonnet.

    An Automated Design Framework for Multicellular Recombinase Logic, in: ACS Synthetic Biology, April 2018, vol. 7, no 5, pp. 1406-1412. [ DOI : 10.1021/acssynbio.8b00016 ]

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01934682
  • 16N. Karanikolas, P. Bisquert, P. Buche, C. Kaklamanis, R. Thomopoulos.

    A Decision Support Tool for Agricultural Applications Based on Computational Social Choice and Argumentation, in: International Journal of Agricultural and Environmental Information Systems, July 2018, vol. 9, no 3, pp. 54-73. [ DOI : 10.4018/IJAEIS.2018070104 ]

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01893516
  • 17R. Thomopoulos, B. Moulin, L. Bedoussac.

    Supporting decision for environment-friendly practices in the agri-food sector: When argumentation and system dynamics simulation complete each other, in: International Journal of Agricultural and Environmental Information Systems, 2018, vol. 9, no 3, pp. 1-21. [ DOI : 10.4018/IJAEIS.2018070101 ]

    https://hal.archives-ouvertes.fr/hal-01837532
  • 18B. Yun, P. Bisquert, P. Buche, M. Croitoru, V. Guillard, R. Thomopoulos.

    Choice of environment-friendly food packagings through argumentation systems and preferences, in: Ecological Informatics, November 2018, vol. 48, pp. 24-36. [ DOI : 10.1016/j.ecoinf.2018.07.006 ]

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01892712
  • 19B. Yun, P. Buche, P. Bisquert, S. Costa, M. Croitoru, J. Cufi, V. V. Guillard, A. Oudot, R. Thomopoulos.

    Consumer perception data and scientific arguments about food packaging functionalities for fresh strawberries, in: Data in Brief, 2018. [ DOI : 10.1016/j.dib.2018.09.034 ]

    https://hal.archives-ouvertes.fr/hal-01889268

International Conferences with Proceedings

  • 20M. Bienvenu.

    Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account, in: IJCAI-ECAI: International Joint Conference on Artificial Intelligence - European Conference on Artificial Intelligence, Stockholm, Sweden, July 2018.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01892558
  • 21M. Buron, F. Goasdoué, I. Manolescu, M.-L. Mugnier.

    Rewriting-Based Query Answering for Semantic Data Integration Systems, in: 34ème Conférence sur la Gestion de Données – Principes, Technologies et Applications (BDA 2018), Bucarest, Romania, October 2018.

    https://hal.archives-ouvertes.fr/hal-01927282
  • 22A. Camacho, M. Bienvenu, S. Mcilraith.

    Finite LTL Synthesis with Environment Assumptions and Quality Measures, in: KR: Knowledge Representation and Reasoning, Tempe, United States, KR 2018, October 2018, https://arxiv.org/abs/1808.10831.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01892548
  • 24A. Hecham, P. Bisquert, M. Croitoru.

    On a Flexible Representation for Defeasible Reasoning Variants, in: AAMAS: Autonomous Agents and MultiAgent Systems, Stockholm, Sweden, July 2018, pp. 1123-1131.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01894742
  • 25A. Hecham, M. Croitoru, P. Bisquert.

    A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling, in: International Joint Conference on Rules and Reasoning (RuleML+RR), Luxembourg, Luxembourg, September 2018, vol. LNCS, no 11092, pp. 81-97. [ DOI : 10.1007/978-3-319-99906-7_6 ]

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01894747
  • 26A. Hecham, M. Croitoru, P. Bisquert.

    Demonstrating a benchmark for defeasible reasoning, in: COMMA: Conference on Computational Models of Argument, Warso, Poland, September 2018.

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

    A Single Approach to Decide Chase Termination on Linear Existential Rules, in: DL 2018 - Description Logics, Tempe, United States, October 2018, https://arxiv.org/abs/1810.02132.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01892353
  • 28B. Yun, M. Croitoru, P. Bisquert, S. Vesic.

    Graph Theoretical Properties of Logic Based Argumentation Frameworks, in: AAMAS: Autonomous Agents and Multiagent Systems, Stockholm, Sweden, ACM, July 2018, pp. 2148-2149.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01892594
  • 29B. Yun, M. Croitoru, P. Bisquert.

    Viewpoints using ranking-based argumentation semantics, in: COMMA: Conference on Computational Models of Argument, Varsovie, Poland, Frontiers in Artificial Intelligence and Applications, September 2018, vol. 305, pp. 381-392. [ DOI : 10.3233/978-1-61499-906-5-381 ]

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01892709
  • 30B. Yun, M. Croitoru, S. Vesic, P. Bisquert.

    DAGGER: Datalog+/-Argumentation Graph GEneRator, in: AAMAS: Autonomous Agents and Multiagent Systems, Stockholm, Sweden, ACM, July 2018, pp. 1841-1843.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01892588
  • 31B. Yun, M. Croitoru, S. Vesic, P. Bisquert.

    Graph theoretical properties of logic based argumentation frameworks: proofs and general results, in: GKR: Graph Structures for Knowledge Representation and Reasoning, Melbourne, Australia, August 2018.

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01892703
  • 32B. Yun, M. Croitoru, S. Vesic.

    How to generate a benchmark of logical argumentation graphs?, in: COMMA: Conference on Computational Models of Argument, Varsovie, Poland, Frontiers in Artificial Intelligence and Applications, September 2018, vol. 305, pp. 475-476. [ DOI : 10.3233/978-1-61499-906-5-475 ]

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

    Toward a More Efficient Generation of Structured Argumentation Graphs, in: COMMA: Conference on Computational Models of Argument, Varsovie, Poland, Frontiers in Artificial Intelligence and Applications, September 2018, vol. 305, pp. 205-212. [ DOI : 10.3233/978-1-61499-906-5-205 ]

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01892707
  • 34B. Yun, R. Thomopoulos, P. Bisquert, M. Croitoru.

    Defining argumentation attacks in practice: an experiment in food packaging consumer expectations, in: ICCS: International Conference on Conceptual Structures, Edinburgh, United Kingdom, ICCS 2018, June 2018, vol. LNCS, no 10872, pp. 73-87. [ DOI : 10.1007/978-3-319-91379-7_6 ]

    https://hal-lirmm.ccsd.cnrs.fr/lirmm-01892545
  • 35B. Yun, S. Vesic, M. Croitoru, P. Bisquert.

    Inconsistency Measures for Repair Semantics in OBDA, in: IJCAI: International Joint Conference on Artificial Intelligence, Stockholm, Sweden, July 2018, pp. 1977-1983. [ DOI : 10.24963/ijcai.2018/273 ]

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

Internal Reports



previous Previous | up Home