L'objectif du groupe de travail CAVIAR est de rassembler des compétences autour de trois domaines de l'IA :
CAVIAR fait non seulement intervenir des chercheurs en IA, mais aussi des chercheurs en BD, RO et GL. Le groupe de travail œuvrera pour faire émerger des collaborations à l'échelle nationale mais aussi pour donner une plus grande visibilité en France.
Apprentissage/Fouille pour les Contraintes.
Ces dernières années, la communauté IA
s'intéresse de plus en plus à l'utilisation de techniques
d'apprentissage, de fouille et d'élicitation pour la
résolution de problèmes. Par exemple :
Contraintes pour Apprentissage/Fouille.
De manière symétrique, les techniques de programmation par
contraintes et de gestion de préférences ouvrent de nombreuses
perspectives de recherche en apprentissage et fouille de
données. Par exemple :
Apprentissage de structures (ex: réseaux Bayésiens, réseaux profonds)
Clustering sous contraintes
Fouille de données déclarative (modélisation de motifs sous contraintes)
Fouille de données avec préférences utilisateur
Applications
Les applications du groupe de travail CAVIAR couvrent naturellement les problèmes de programmation par contraintes, gestion de préférences et analyse de données, mais aussi des problèmes en génie logiciel, notamment la vérification et la sécurité logicielle.
Responsables :
Date : Mardi 11 Octobre 2022
Lieu : Université d'Artois, Arras - Salle 04 – Maison de la recherche (bâtiment I) -
Programme :
15h-15h45 : Vers un dialogue entre les SHS et l'Intelligence Artificielle, pour interroger les politiques publiques des Suds (Nelly Robin, Lakhdar Sais).
15h45-16h15 :Knowledge Integration in Deep Clustering (Thi-Bich-Hanh Dao).
16h15-16h45 :Pause café.
16h45-17h15 :Best Heuristic Identification for Constraint Satisfaction (Hugues Wattez) [slides].
17h15-17h45 : Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition (Grégoire Menguy) [slides].
17h45-18h15 :GH-CNN: A new CNN for coherent hierarchical classification (Mayouf Mouna Sabrine).
16h15-16h45 :Clôture de la journée.
Date : Mardi 30 Novembre 2021
Lieu : LIRMM -
Bat5-01.124, Montpellier -
[ZOOM session]
Programme :
9h30-9h50 : Café.
9h50-10h : Ouverture de la journée. (N. Lazaar)
10h-11h : Programmation linéaire pour l'extraction d'ensembles de motifs et leur application. (Abdelkader Ouali) [slides]
11h-12h : Human-in-the-loop or Human-in-the-way. (A. Zimmermann) [slides]
12h-14h : Repas.
14h-15h : Approches déclaratives pour le clustering sous contraintes. (Thi-Bich-Hanh Dao) [slides]
15h-15h30 : Constraint Programming for Itemset Mining with Multiple Minimum Supports (Bachir-Mohamed Belaid) [slides]
15h30-16h : Pause café.
16h-17h20 : Discussions et mini-groupes de travail.
17h20-17h30 : Clôture de la journée.
Date : Mardi 17 mars 2020 [POSTPONED -- COVID19]
Lieu : GREYC - Bât. sciences 3 S3-351 - Caen
Programme :
12h-14h : Repas RU.
14h-15h : Constraint Acquisition. (N. Lazaar)
15h-15h15 : Pause café
15h15-15h45 : Apprentissage de Préférences. (B. Zanuttini)
15h45-16h15 : Human-in-the-loop or Human-in-the-way. (A. Zimmermann)
Date : lundi 27 mai 2019
Lieu : LIFO - Bât. IIIA - Orléans
Programme :
12h-13h50 : repas (restaurant du campus, à 10-15mn à pied du LIFO entre 12h et 14h)
13h50-14h : ouverture de la journée CAVIAR. (Frederic & Nadjib)
14h-15h : Preference-Based Pattern Mining. (Bruno Cremilleux) [slides]
15h-15h30 : discussions / open questions
15h30-16h : coffee break
16h-17h : SAT-Based Data Mining. (Said Jabbour) [slides]
17h-17h30 : discussions / open questions
17h30-17h40 : clôture de la journée.
Date : mardi 19 juin 2018
Lieu : LIRMM Montpellier - salle séminaire - bâtiment 4
Programme :
9h-9h20 : café
9h20-9h30 : ouverture de la journée CAVIAR. (Frederic & Nadjib) [slides]
9h30-10h30 : Contraintes globales pour la fouille de motifs séquentiels. (Samir Loudni) [slides]
10h30-11h : pause café / discussions
11h-11h30 : Les approches clause-learning pour max clique et/ou graph coloring. (Emmanuel Hebrard) [slides]
11h30-12h : Constraint-Based Generation of Trajectories for Single-Arm Robots. (Mathieu Collet)
12h-13h : pause déjeuner
13h-14h : Tutorial on maxSAT and WCSP. (George Katsirelos) [slides]
14h-14h30 : Learning Boundaries for Constraint Optimization Problems. (Arnaud Gotlieb)
14h30-15h : Décomposition formellement vérifiée de contraintes non binaires en contraintes binaires équivalentes. (Catherine Dubois) [slides]
15h-15h30 : Open Questions. (Frederic & Nadjib)
15h30-16h : pause café / discussions / clôture de la journée
Date : vendredi 24 novembre 2017
Lieu : Jussieu - étage 1 - 25-26/105-Grande Salle
Programme :
9h-9h20 : café
9h20-9h30 : ouverture de la journée CAVIAR (Frederic Koriche & Nadjib Lazaar) [ slides ]
9h30-10h30 : Towards cross-fertilization between Data Mining and Constraints. (Lakhdar Sais) [slides]
10h30-11h : pause café / discussions
11h-11h30 : Beyond the Holy Grail - Automatically Generating Constraint Propagators for Conjunctions of Time-Series Constraints. (Nicolas Beldiceanu) [slides]
11h30-12h : Constraint Acquisition. ( Nadjib Lazaar) [slides]
12h-13h : pause déjeuner
13h-14h : Formal Verification, Constraints and AI. (Sébastien Bardin) [slides]
14h-14h30 : Constraint Programming for Multi-criteria Conceptual Clustering. (Maxime Chabert) [slides]
14h30-15h : Adapting Consistency in Constraint Solving. (Anastasia Paparrizou )[slides]
15h-16h : pause café / discussions / clôture de la journée