Le plan a suivre pour illustrer les principales notions de ce paradigme de programmation est : ¿ Programmation Déclarative ¿ Syntaxe de l¿ASP ¿ Sémantique de l¿ASP ¿ Modélisation d¿un problème Les TDs et TPs seront articulés autour de quelques exemples de problèmes de recherche combinatoire classiques.