GT IMIA

GT IMIA (GDR IM)

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) Stefan Mengel (mengel@cril.fr) 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… Read more →

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 →