Informatique Mathématique et Intelligence Artificielle Site web du GT: http://gt-im-ia.gforge.inria.fr/index.html Activités du GT Responsables Florent Capelli (florent.capelli@univ-lille3.fr) Emmanuel Hebrard (hebrard@laas.fr) George Katsirelos (gkatsi@gmail.com) Description Le GT IMIA est un groupe de travail dépendant des groupes de recherches du CNRS [GdR-IA](https://www.gdria.fr/) et [GdR-IM](https://www.gdr-im.fr/) et qui a pour but de servir d’intermédiaire entre les communautés françaises de l’intelligence artificielle et de l’informatique théorique.… Read more →
Catégorie : GT IMIA
Journée IM-IA
Journée « Beyond NP » 10 mai 2017 Université Paris-Diderot Journée commune GDR IM – préGDR IA Organisateurs: Arnaud Durand et Pierre Marquis. Les progrès réalisés en pratique ces dernières années concernant la résolution d’instances de SAT/CSP ouvrent la voie à l’étude et à la conception d’algorithmes de résolution de problèmes qui sont vraisemblablement au delà de NP (dont #SAT, QBF)… Read more →