Sfoglia per Autore "Eiter, Thomas"
Items 1-1 di 1
-
Paracoherent Answer Set Programming
Amendola, Giovanni; Leone, Nicola; Eiter, Thomas (2017-02-22)L’Answer Set Programming (ASP) è un paradigma di programmazione dichiarativa basato sulla semantica dei modelli stabili. L’idea alla base di ASP è di codificare un problema computazionale in un programma logico i cui ...