IA: Intelligence Artificielle

Créé en janvier 2012, le pôle Intelligence Artificielle propose et étudie des modèles et algorithmes pour l'intelligence artificielle. Il est composé des quatre équipes suivantes : COCONUT, qui s'intéresse à l'apprentissage et la programmation par contraintes, GRAPHIK, qui s'intéresse à la représentation des connaissances et du raisonnement, SMILE, qui s'intéresse aux systèmes multi-agents, et TEXTE, qui s'intéresse au traitement des langues naturelles et au dialogue. Régulièrement, des chercheurs sont invités à donner un séminaire autour des thèmes du pôle. Des actions entre les équipes du pôle sont également mises en place.

Equipes


Séminaires

24/03/2017, 14h, salle de séminaires au LIRMM, 161 rue Ada, 34095 Montpellier, France
An Exploratory Knowledge Discovery Process based on Formal Concept Analysis
Amedeo Napoli, LORIA, Nancy
__________________________________________________________________
24/02/2017, 14h, salle de séminaires au LIRMM, 161 rue Ada, 34095 Montpellier, France
About Knowledge Representation and Computational Social Choic
Jérôme Lang, Lamsade, Université Paris Dauphine
__________________________________________________________________

Séminaires 2016

10/06/2016, 14h, salle 3/124, Batiment 5 au LIRMM, 161 rue Ada, 34095 Montpellier, France
Argumentation-based defeasible reasoning
Leila Amgoud, IRIT, Toulouse
__________________________________________________________________
11/03/2016, 10h, salle de séminaires au LIRMM, 161 rue Ada, 34095 Montpellier, France
What is a Decision Problem?
Alexis Tsoukias, LAMSADE, Paris Dauphine
__________________________________________________________________

Séminaires 2015

11/12/2015, 14h, salle 3/124, Batiment 5 au LIRMM, 161 rue Ada, 34095 Montpellier, France
Elicitation incrémentale de poids pour la décision multicritère ou collective
P. Perny, LIP6 / UPMC, Paris
__________________________________________________________________
06/11/2015, 14h30, salle 3/124, Batiment 5 au LIRMM, 161 rue Ada, 34095 Montpellier, France
Towards Declarative Scripting Combining CP and Analytics
Hassan Aït-Kaci, LIRIS / Université Claude Bernard Lyon 1
__________________________________________________________________
02/10/2015, 14h30, salle 2/124, Batiment 5 au LIRMM, 161 rue Ada, 34095 Montpellier, France
PREFIX-PROJECTION Global Constraint for Sequential Pattern Mining
Yahia Lebbah, Université d'Oran
__________________________________________________________________
16/06/2015, 10h30, salle 2/124, Batiment 5 au LIRMM, 161 rue Ada, 34095 Montpellier, France
L'art difficile de l'évaluation de stratégies dans un contexte multi-agents.
Philippe Mathieu, Equipe SMAC / CRISTAL Lab, Université Lille 1
__________________________________________________________________
22/05/2015, 14h, salle 2/124, Batiment 5 au LIRMM, 161 rue Ada, 34095 Montpellier, France
Présentation d'applications de l'IA dans le cadre de contrats
Les équipes du pôle
__________________________________________________________________
23/01/2015, 14h, salle de séminaires au LIRMM, 161 rue Ada, 34095 Montpellier, France
Preference Elicitation in Recommender Systems
Paolo Viappiani (LIP6, France)
__________________________________________________________________
16/01/2015, 14:45, salle de séminaires au LIRMM, 161 rue Ada, 34095 Montpellier, France
Modularisation de triplestores RDF déductifs
Federico Ulliana (Lirmm Graphik)
__________________________________________________________________
16/01/2015, 14h, salle de séminaires au LIRMM, 161 rue Ada, 34095 Montpellier, France
Programmes à contraintes : de l'acquisition à la validation
Nadjib Lazaar (LIRMM Coconut)
__________________________________________________________________

Séminaires 2014

29/09/2014, 14h, salle E.324, au LIRMM, 161 rue Ada, 34095 Montpellier, France
Introduction au choix social computationnel
Jérôme Lang (Université Paris Dauphine)
__________________________________________________________________
20/06/2014, 14h, salle E.324, au LIRMM, 161 rue Ada, 34095 Montpellier, France
Prioritized Repairing and Consistent Query Answering in Relational Databases
Slawek Staworko (INRIA Lille)
__________________________________________________________________
21/03/2014, 14h, salle de séminaires au LIRMM, 161 rue Ada, 34095 Montpellier, France
Incremental SAT Solving
Gilles Audemard (Nantes)
__________________________________________________________________
21/02/2014, 14h, salle de séminaires au LIRMM, 161 rue Ada, 34095 Montpellier, France
Approches déclaratives pour la fouille de données
Lakhdar Sais (CRIL, France)
_________________________________________________________________

Séminaires 2013

21/11/2013, 11h00, Amphi St Priest
Programmation par contraintes appliquée à la robotique mobile
Pr. Luc Jaulin, ENSTA-Bretagne/Lab-STICC, Brest
_________________________________________________________________
24/10/2013, 11h30, salle de séminaires au LIRMM, 161 rue Ada, 34095 Montpellier, France
Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics
Georg Gottlob - Oxford University
__________________________________________________________________
31/05/2013, 14h30, salle E.324, au LIRMM, 161 rue Ada, 34095 Montpellier, France
Olivier Bailleux - Université de Bourgogne
De la réduction polynomiale à la décomposition de contraintes : vers une rationalisation de la résolution des problèmes NP-complets
_________________________________________________________________
05/04/2013, 14h, salle E.324, au LIRMM, 161 rue Ada, 34095 Montpellier, France
Algorithmes efficaces pour la résolution de problèmes sous contraintes
Christophe Lecoutre - CRIL
_________________________________________________________________
25/03/2013, 10h, salle de séminaires au LIRMM, 161 rue Ada, 34095 Montpellier, France
Some Funny Complexity Results for Judgment Aggregation
Wojtek Jamroga - Université du Luxembourg
_________________________________________________________________
22/03/2013, 10h, salle E.324, au LIRMM, 161 rue Ada, 34095 Montpellier, France
Quantifying disagreement in argument-based reasoning
Richard Booth - Université du Luxembourg
_________________________________________________________________
15/03/2013, 14h30, salle des séminaires, au LIRMM, 161 rue Ada, 34095 Montpellier, France
Encoding and Solving Optimization Problems with MinSAT and MaxSAT
Felip Manyà - CSIC Barcelone

Journée de travail COCONUT-GRAPHIK

La première journée de travail du pôle IA a eu lieu à SupAgro le 8 février 2013. Les équipes COCONUT et GRAPHIK y ont participé. Les présentations avaient pour objet les sujets de recherche qui pourraient intéresser les deux équipes.
 
Programme :
 

  • 9h30 SESSION 1 : Recherche dans un graphe 1
    Bruno Paiva Lima da Silva : Interrogation générique d’une base de graphes avec un solver de contraintes
    Michel Liquière : Graph Mining
  • 10h30 PAUSE 1
  • 11h SESSION 2 : Recherche dans un graphe 2
    Philippe Vismara : Plus grand sous-graphe commun et symetries breaking
    Michel Leclère : Indexation de graphe
  • 12h DEJEUNER
  • 13h30 SESSION 3 : Préférences
    Souhila Kaci : Préférences
    Nadjib Lazaar : Acquisition de contraintes
  • 14h30 PAUSE 2
  • 15h SESSION 4 : Réécriture
    Mélanie Konig : Réécriture de requêtes
    Rémi Coletta : Nogoods
    Jean-François Baget : Datatypes

Mots-clés

Apprentissage, Dialogue, Programmation par contraintes, Représentation des connaissances et du raisonnement, Systèmes multi-agents, Traitement des Langues Naturelles.

Dernière mise à jour le 10/03/2017