Main menu

Skip to content
  • GDR IA
  • Présentation
    • Présentation
    • Pilotage
  • Groupes de Travail
    • GT A&R
    • GT CAVIAR
    • GT Explicabilité
    • GT Jeux
    • GT MAFTEC
    • GT Médiation
    • GT RAP
    • Proposition de GT
  • Activités Inter-GDR
    • GT BIOSS-IA (GDR BIM – GDR IM)
    • GT IMIA (GDR IM)
    • GT TADJ (GDR RO)
    • GT RoD (GDR MADICS)
    • GDR ISIS (Apprentissage et Raisonnement)
    • Journée Industrielle (RO/IA)
  • Activités
  • Bulletin
  • Annuaire
  • Inscription
  • Annonces
  • Contact

Gdr IA

Aspects Formels et Algorithmiques de l'Intelligence Artificielle

En savoir plus

Page personnelle

Sébastien Bardin

Chargé de Recherche – CEA LIST

Page personnelle

Thèmes :

PPC – Contraintes et SAT

Mots-clés :

  • Contraintes pour la vérification
  • contraintes bas niveau

Modifier vos informations

Tweet

Menu

  • GDR IA
  • Présentation
  • Activités
  • Groupes de Travail
  • Bulletin
  • Annuaire
  • Inscription
  • Annonces
  • Contact

Print FriendlyImprimer


Copyright © 2020 Gdr IA. All Rights Reserved.