EN FR
EN FR




Bibliography

Major publications by the team in recent years
  • 1F. Alkhateeb, J.-F. Baget, J. Euzenat.

    Extending SPARQL with regular expression patterns (for querying RDF), in: J. Web Sem., 2009, vol. 7, no 2, p. 57-73.
  • 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, p. 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.

    Extending Decidable Cases for Rules with Existential Variables, in: Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI 2009), Pasadena, California, USA, 2009, p. 677-682.
  • 4J.-F. Baget, M. Leclère, M.-L. Mugnier, E. Salvat.

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

    http://hal.inria.fr/lirmm-00587012/en
  • 5J.-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, p. 712-717.

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

    Graph-based Knowledge Representation and Reasoning—Computational Foundations of Conceptual Graphs, Advanced Information and Knowledge Processing, Springer, 2009.
  • 7M. Croitoru, K. van Deemter.

    A Conceptual Graph Approach for the Generation of Referring Expressions, in: IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, 2007, p. 2456-2461.
  • 8S. Destercke, P. Buche, V. Guillard.

    A Flexible Bipolar Querying Approach with Imprecise Data and Guaranteed Results, in: Fuzzy Sets and Systems, April 2011, vol. 169, no 1, p. 51-54. [ DOI : 10.1016/j.fss.2010.12.014 ]

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-00611940/en/
  • 9J. Fortin, D. Dubois, H. Fargier.

    Gradual Numbers and Their Application to Fuzzy Interval Analysis, in: IEEE T. Fuzzy Systems, 2008, vol. 16, no 2, p. 388-402.
  • 10J. Fortin, A. Kasperski, P. Zielinski.

    Some methods for evaluating the optimality of elements in matroids with ill-known weights, in: Fuzzy Sets and Systems, 2009, vol. 160, no 10, p. 1341-1354.
  • 11S. Kaci.

    Working with Preferences: Less Is More, Cognitive Technologies, Springer, 2011.
  • 12M. Leclère, M.-L. Mugnier.

    Some Algorithmic Improvements for the Containment Problem of Conjunctive Queries with Negation, in: ICDT, 2007, p. 404-418.
Publications of the year

Articles in International Peer-Reviewed Journal

  • 13J.-F. Baget, M. Leclère, M.-L. Mugnier, E. Salvat.

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

    http://hal.inria.fr/lirmm-00587012/en
  • 14P. Buche, O. Couvert, J. Dibie-Barthélemy, G. Hignette, E. Mettler, L. Soler.

    Flexible Querying of Web data to Simulate Bacterial Growth in Food, in: Food Microbiology, June 2011, vol. 28, no 4, p. 685-693.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-00538961/en/
  • 15D. David, M. Croitoru, D. Srinandan, G. Alex, G.-V. Horacio, L. Miguel, H. Bo, L. Paul, P. Andrew.

    A Knowledge-Rich Distributed Decision Support Framework: A Case Study for Brain Tumour Diagnosis, in: Knowledge Engineering Review, August 2011, vol. 26, p. 247-260.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-00618606/en/
  • 16S. 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, December 2011.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-00611954/en/
  • 17S. Destercke, P. Buche, V. Guillard.

    A Flexible Bipolar Querying Approach with Imprecise Data and Guaranteed Results, in: Fuzzy Sets and Systems, April 2011, vol. 169, no 1, p. 51-54. [ DOI : 10.1016/j.fss.2010.12.014 ]

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-00611940/en/
  • 18X. Liang, D. Srinandan, L. Paul, H. Bo, P. Andrew, G. Alex, D. David, M. Croitoru, E. Francesc, M.-M. Juan, G.-V. Horacio, A. Magi Lluch I.

    The Design and Implementation of a Novel Security Model for HealthAgents, in: Knowledge Engineering Review, August 2011, vol. 26, p. 261-282.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-00618611/en/

Invited Conferences

  • 19J.-F. Baget.

    Graph-based Reasonings for Ontological Conjunctive Query Answering, in: GKR'11: Graph Structures for Knowledge Representation and Reasoning, Barcelone, Spain, M. Croitoru (editor), July 2011.

    http://hal.inria.fr/lirmm-00618581/en
  • 20M.-L. Mugnier.

    Ontological Query Answering with Existential Rules, in: RR'11: Web Reasoning and Rule Systems, Galway, Ireland, S. Rudolph, C. Gutierrez (editors), LNCS, Springer, August 2011, p. 002-023.

    http://hal.inria.fr/lirmm-00618296/en

International Conferences with Proceedings

  • 21J.-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, p. 712-717.

    http://hal.inria.fr/lirmm-00618081/en
  • 22J.-F. Baget, M.-L. Mugnier, M. Thomazo.

    Towards Farsighted Dependencies for Existential Rules, in: RR'11: Web Reasoning and Rule Systems, Galway, Ireland, S. Rudolph, C. Gutierrez (editors), LNCS, Springer, August 2011, p. 002-023.

    http://hal.inria.fr/lirmm-00618329/en
  • 23C. Baudrit, P. Buche, G. Della Valle, S. Destercke, K. Kansou, A. Ndiaye, N. Perrot, R. Thomopoulos, G. Trystram.

    Knowledge Engineering, a Useful Tool for Integrating Food Chain, in: 6th International CIGR Technical Symposium - Section VI: "Towards a Sustainable Food Chain. Food Process, Bioprocessing and Food Quality Management", France, April 2011.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-00611959/en/
  • 24K. Ben Mohamed, M. Leclère, M.-L. Mugnier.

    A Theoretical and Experimental Comparison of Algorithms for Containment of Conjunctive Queries with Negation, in: DEXA'11: 22nd International Conference on Database and Expert Systems Applications, Toulouse, France, Springer, July 2011, vol. 22, 15 p.

    http://hal.inria.fr/lirmm-00618779/en
  • 25P. Buche, J. Dibie-Barthélemy, R. Khefifi, F. Saïs.

    An Ontology-Based Method for Duplicate Detection in Web Data Tables, in: DEXA'11: 22nd DEXA Conference, France, A. Hameurlain (editor), LNCS, Springer-Verlag, August 2011, p. 511-525.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-00611944/en/
  • 26S. Destercke, P. Buche, B. Charnomordic.

    Data Reliability Assessment in a Data Warehouse Opened on the Web, in: FQAS'11: Flexible Query Answering Systems, Belgique, LNAI, Springer-Verlag, October 2011.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-00611951/en/
  • 27S. Destercke, P. Buche, C. Guillaume, V. Guillard.

    A Decision Support System to Optimize Fresh Food Packaging, in: 6th International CIGR Technical Symposium - Section VI: "Towards a Sustainable Food Chain. Food Process, Bioprocessing and Food Quality Management", France, April 2011.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-00611956/en/
  • 28J. Fortin, R. Thomopoulos, J.-R. Bourguet, M.-L. Mugnier.

    Supporting Argumentation Systems by Graph Representation and Computation, in: GKR'11: Graph Structures for Knowledge Representation and Reasoning, Spain, LNCS, Springer, 2011, 12 p.

    http://hal.inria.fr/lirmm-00618049/en
  • 29B. Paiva Lima Da Silva, J.-F. Baget, M. Croitoru.

    Ontological Conjunctive Query Answering over Semi-Structured KBs, in: GDM'11: The 2nd International Workshop on Graph Data Management: Techniques and Applications, France, April 2011, p. 118-123.

    http://hal.inria.fr/lirmm-00618151/en
  • 30R. Thomopoulos, J.-R. Bourguet, J. Abécassis.

    An Artificial Intelligence-Based Approach for Arbitration in Food Chains, in: 6th International CIGR Technical Symposium, Nantes, France, April 2011, 6 p.

    http://hal.inria.fr/lirmm-00618640/en
  • 31R. Touhami, P. Buche, J. Dibie-Barthélemy, L. Ibănescu.

    An Ontological and Terminological Resource for n-ary Relation Annotation in Web Data Tables, in: 10th International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE 2011), Grèce, October 2011.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-00616241/en/

National Conferences with Proceeding

  • 32J.-F. Baget, M.-L. Mugnier, M. Thomazo.

    Notions de dépendances pour les règles Existentielles, in: IAF'11: Journées de l'Intelligence Artificielle Fondamentale (JIAF), Lyon, France, June 2011, p. 12-21.

    http://hal.inria.fr/lirmm-00618090/en
  • 33P. Buche, J. Dibie-Barthélemy, L. Ibănescu, A. Saïd.

    Modélisation d'une ressource termino-ontologique de domaine pour l'annotation sémantique de tableaux, in: EGC'11: Extraction et Gestion des Connaissances, France, A. Khenchaf, P. Poncelet (editors), Revue des Nouvelles Technologies de l'Information, Hermann-Editions, January 2011, p. 581-586.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-00611935/en/
  • 34R. Khefifi, P. Buche, J. Dibie-Barthélemy, F. Saïs.

    Détection de redondances dans les tableaux guidée par une ontologie, in: EGC'11: Extraction et Gestion des Connaissances, France, A. Khenchaf, P. Poncelet (editors), Revue des Nouvelles Technologies de l'Information, Hermann-Editions, January 2011, p. 563-568.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-00611938/en/

Scientific Books (or Scientific Book chapters)

Internal Reports

References in notes
  • 41F. Baader, S. Brandt, C. Lutz.

    Pushing the EL Envelope, in: IJCAI'05, 2005, p. 364-369.
  • 42J.-F. Baget, M. Croitoru, J. Fortin, R. Thomopoulos.

    Default Conceptual Graph Rules: Preliminary Results for an Agronomy Application, in: Conceptual Structures: Leveraging Semantic Technologies, 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings, Lecture Notes in Computer Science, Springer, 2009, vol. 5662, p. 86-99.
  • 43J.-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, p. 42-55.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-00537338/en/
  • 44J.-F. Baget, M. Leclère, M.-L. Mugnier.

    Walking the Decidability Line for Rules with Existential Variables, in: Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), Canada, AAAI Press, May 2010, 11 p.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-00535780/en/
  • 45C. Beeri, M. Vardi.

    A proof procedure for data dependencies, in: Journal of the ACM, 1984, vol. 31, no 4, p. 718–741.
  • 46K. Ben Mohamed, M. Leclère, M.-L. Mugnier.

    Containment of Conjunctive Queries with Negation: Algorithms and Experiments, in: DEXA'10: International Conference on Database and Expert Systems Applications, Espagne, Lecture Notes in Computer Science, Springer, 2010, vol. 6262, p. 330-345. [ DOI : 10.1007/978-3-642-15251-1_27 ]

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-00537832/en/
  • 47K. Ben Mohamed, M. Leclère, M.-L. Mugnier.

    Deduction in Existential Conjunctive First-Order Logic: an Algorithm and Experiments, in: AIMSA'10: International Conference on Artificial Intelligence: Methodology, Systems, Applications, Bulgarie, Lecture Notes in Computer Science, Springer, 2010, vol. 6304, p. 1-10. [ DOI : 10.1007/978-3-642-15431-7_1 ]

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-00537836/en/
  • 48K. Ben Mohamed, M. Leclère, M.-L. Mugnier.

    Déduction dans le fragment existentiel conjonctif de la logique du premier ordre : algorithme et expérimentations, in: RFIA'10: Reconnaissance des Formes et Intelligence Artificielle, France, 2010, 8 p.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-00537824/en/
  • 49J.-R. Bourguet, L. Amgoud, R. Thomopoulos.

    Contribution aux comparaisons formelles des modèles de préférences en argumentation, in: Journées Francophones des Modèles formels de l'Interaction, 2009, p. 81-92.
  • 50J.-R. Bourguet, L. Amgoud, R. Thomopoulos.

    Towards a Unified Model of Preference-Based Argumentation, in: FolKS'10: Foundations of Information and Knowledge Systems, Bulgarie, Lecture Notes in Computer Science, Springer, February 2010, p. 326-344.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-00538789/en/
  • 51D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, R. Rosati.

    Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family, in: J. Autom. Reasoning, 2007, vol. 39, no 3, p. 385-429.
  • 52A. Calì, G. Gottlob, M. Kifer.

    Taming the Infinite Chase: Query Answering under Expressive Relational Constraints, in: KR'08, 2008, p. 70-80.
  • 53A. Calì, G. Gottlob, T. Lukasiewicz.

    A general datalog-based framework for tractable query answering over ontologies, in: PODS'09, 2009, p. 77-86.
  • 54A. Calì, G. Gottlob, T. Lukasiewicz, B. Marnette, A. Pieris.

    Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications, in: LICS, IEEE Computer Society, 2010, p. 228-242.
  • 55M. Chein, M.-L. Mugnier.

    Graph-based Knowledge Representation and Reasoning—Computational Foundations of Conceptual Graphs, Advanced Information and Knowledge Processing, Springer, 2009.
  • 56P. M. Dung.

    On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games, in: Artif. Intell., 1995, vol. 77, no 2, p. 321-358.
  • 57R. Fagin, P. G. Kolaitis, R. J. Miller, L. Popa.

    Data exchange: semantics and query answering, in: Theor. Comput. Sci., 2005, vol. 336, no 1, p. 89-124.
  • 58I. Johnson, J. Abécassis, B. Charnomordic, S. Destercke, R. Thomopoulos.

    Making Ontology-Based Knowledge and Decision Trees interact: an Approach to Enrich Knowledge and Increase Expert Confidence in Data-Driven Models, in: KSEM'10: International Conference on Knowledge Science, Engineering and Management, Royaume-Uni, Lecture Notes in Artificial Intelligence, Springer, September 2010, p. 304-316.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-00538795/en/
  • 59K. Kaneiwa, P. H. Nguyen.

    Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring, in: Proceedings of the 8th International Semantic Web Conference, Berlin, Heidelberg, ISWC '09, Springer-Verlag, 2009, p. 328–343.
  • 60M. Krötzsch, S. Rudolph, P. Hitzler.

    Complexity Boundaries for Horn Description Logics, in: AAAI'07, AAAI Press, 2007, p. 452–457.
  • 61M. Leclère, M.-L. Mugnier.

    Some Algorithmic Improvements for the Containment Problem of Conjunctive Queries with Negation, in: ICDT, 2007, p. 404-418.
  • 62H. J. Levesque, G. Lakemeyer.

    The logic of knowledge bases, MIT Press, 2000.
  • 63C. Lutz, D. Toman, F. Wolter.

    Conjunctive Query Answering in the Description Logic EL Using a Relational Database System, in: IJCAI'09, 2009, p. 2070-2075.
  • 64K. B. Mohamed.

    Traitement de requêtes conjonctives avec négation : Algorithmes et expérimentations, Université Montpellier II, 2010.
  • 65M.-L. Mugnier, G. Simonet, M. Thomazo.

    On the Complexity of Entailment in Existential Conjunctive First Order Logic with Atomic Negation, LIRMM, March 2011.

    http://hal-lirmm.ccsd.cnrs.fr/lirmm-00413699/en/
  • 66H. Newcombe, J. Kennedy, S. Axford, A. James.

    Automatic Linkage of Vital Records, in: Science, 1959, vol. 130, p. 954-959.
  • 67R. Reiter.

    A logic for default reasoning, in: Artificial Intelligence, 1980, vol. 13, p. 81-132.
  • 68F. Saïs, N. Pernelle, M.-C. Rousset.

    L2R: A Logical Method for Reference Reconciliation, in: AAAI, AAAI Press, 2007, p. 329-334.
  • 69N. R. Smalheiser, V. I. Torvik.

    Author name disambiguation, in: Annual Review of Information Science and Technology, 2009, vol. 43.
  • 70J. F. Sowa.

    Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley, 1984.