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.