Programmation par ensembles réponses

Définition

Forme de programmation déclarative adaptée aux problèmes de recherche difficiles.

Elle est basée sur la sémantique des modèles stables (ensemble de réponses) de la programmation logique.

Français

programmation par ensembles-réponses

programmation par ensembles réponses

Anglais

answer set programming

ASP

Source : Wikipedia (Glossary of artificial intelligence)

Source : Wikipedia (Answer set programming)

Source : Belaïd Benhamou, Pierre Siegel. Une nouvelle sémantique pour la programmation logique capturant la sémantique des modèles stables : la sémantique des extensions. Huitièmes Journées Francophones de Programmation par Contraintes - JFPC 2012, May 2012, Toulouse, France. hal-00829608