Programmazione ad insiemi di risposte
Verificato
Significato di «Programmazione ad insiemi di risposte»
Paradigma di programmazione logica dichiarativa basato sulla semantica dei modelli stabili: il programma esprime regole e vincoli e le soluzioni sono gli insiemi di risposte (answer set) calcolati da un solver, orientato a problemi combinatori di ricerca.
Fonti: Answer Set Programming (ASP), semantica dei modelli stabili. Fonti: Gelfond & Lifschitz, The Stable Model Semantics (1988); ScienceDirect Topics, Answer Set Programming overview; IEEE/Springer, Answer Set Programming: A Declarative Approach to Solving Search Problems. Verifica web 2026-08-03. · Verificato il 2026-08-03