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 commenceront à 14h le jeudi 29 et se termineront à 12h le vendredi 30 mars.
– George Katsirelos : « Max Resolution and Linear Programming »
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 : «
– George Katsirelos : « Max Resolution and Linear Programming »
– Valentin Montmirail : « RECAR: Recursive Explore and Check Abstraction Refinement »
– Vincent Barichard : « Présentation de CHRPP »