Département d'informatique   LERIA     Fac Sciences      U. Angers    

Igor Stéphan

Recherche

• Responsable du thème « ASP et problème PSPACE » au sein du LERIA
  
• Mots clés : Intelligence artificielle, ASP, QCSP, QBF
  
• Formules booléennes quantifiées (ou QBF)
  
• Résolution de problèmes à contraintes quantifiées ( Site du solveur de QCSP QuaCode)
  
• Programmation par ensembles réponses ( Site du solveur ASPeRix) ( Site du Projet ANR ASPIQ) ( Site du WorkShop IJCAI WASPIQ 2017 (après ONTOLP 2015 et 2016)
  
• Implantation pour divers travaux de recherche et une liste des publications
  
• Liste des publications indexées sur DBLP

Thèses soutenues

• Fabien Garreau. « Extension d'ASP pour couvrir des fragments de DL traitables : études théoriques et implémentation ». Projet ANR ASPIQ. Soutenue le 24 novembre 2016.
  
• Christopher Béatrix. « Justifications dans les approches ASP basées sur les règles ». Soutenue le 3 novembre 2016
  
• Benoit Da Mota. « Formules booléennes quantifiées (QBF) : transformations formelles et calculs parallèles ». Soutenue le 3 décembre 2010. Co-directeur de thèse : Pascal Nicolas.
  

Enseignement

• Fondements mathémathiques de l'informatique
  
• Structures de données et algorithmes (L3INFO)
  
• Programmation événementielle
  
• Eléments de calculabilité
  
• Eléments de complexité
  
• Eléments de dérécursivation
  
• Eléments de cryptographie
  
• UEL 12 : La logique, calcul propositionnel et raisonnement de sens commun
  
• UEL 29 : Informatique et Société : une brève histoire
  
• Programmation Logique (L3 Info)
  
• Images de synthèse (L3 Info)
  
• Représentation des connaissances (M2R Info)
  
• Introduction à l'Intelligence artificielle (IHMRV EI5)
  

• Batiment H, bureau 106
• par e-mail également : igor.stephan@info.univ-angers.fr
• (33|0)2 41 73 54 66
  

retour à la page d'accueil de l'Université