Programmation par Ensembles de Réponses (ASP)

Un paradigme déclaratif de résolution de problèmes où les problèmes de recherche sont encodés en programmes logiques dont les modèles stables (ensembles de réponses) correspondent aux solutions ; la négation par défaut et les constructions non monotones expriment alternatives et contraintes de façon concise.