Return to Seminars

April, 14, 2020, 2:00 PM: Jean-François BAGET (GraphIk)

Introduction aux modeles stables.

Cette séquence de cours est destinée à un public ayant l’experience des règles existentielles, et propose la sémantique des modèles stables comme solution pour traiter la négation par l’échec. Ce cours montrera comment doivent évoluer les raisonnements pour prendre en compte cette sémantique, proposera quelques pistes de recherche pour ces algorithmes, et présentera quelques structures de programmes permettant de modéliser des problèmes usuels.

 

Permanent link to this article: https://team.inria.fr/graphik/news-3/avril-14-2020-200-pm-jean-francois-baget-graphik/