Programación por Conjuntos de Respuesta (ASP)

Un paradigma declarativo de resolución de problemas donde los problemas de búsqueda se codifican como programas lógicos cuyos modelos estables (conjuntos de respuesta) corresponden a soluciones; la negación por defecto y las construcciones no monotónicas expresan alternativas y restricciones de forma compacta.