Journées RAP- 29 et 30 mars 2018 – Angers

Journées RAP– 29 et 30 mars 2018 – Angers

Les troisièmes journées RAP, sur les aspects Représentations et Algorithmes en Pratique auront lieu à Angers les 29 et 30 mars 2018.

Ces journées sont organisées à la faculté de Droit-Eco-Gestion de l’université d’Angers (salle 501)  dans le cadre du pré-GDR IA sur les Aspects Formels et Algorithmiques de l’Intelligence Artificielle.

Les principaux objectifs considérés dans ce groupe de travail sont les suivants : 

  • Identifier les problèmes pratiques d’inférence et de prise de décision qui peuvent être maintenant traités grâce à des techniques d’intelligence artificielle, les modéliser et déterminer des représentations adaptées
  • Développer des algorithmes pour les résoudre
  • Proposer des protocoles expérimentaux permettant de comparer finement les algorithmes existants
  • Étudier les passerelles permettant de partager des informations entre des modèles ainsi qu’entre des solveurs s’appuyant sur des langages de représentation différents
Ces journées commenceront à 14h le jeudi 29 et se termineront à 12h le vendredi 30 mars.

Programme :
– Torsten Schaub : “SAT et ASP”
– Christophe Lecoutre : “De nouvelles contraintes pour la modélisation”
– George Katsirelos :
“Max Resolution and Linear Programming”

– Valentin Montmirail : “RECAR: Recursive Explore and Check Abstraction Refinement”
– Vincent Barichard : “Présentation de CHRPP”