Sfoglia Tesi di Dottorato per Autore "Sirianni, Marco"
Items 1-1 di 1
-
Parallel evaluation of ASP programs:techniques and implementation
Sirianni, Marco; Ricca, Francesco; Leone, Nicola (2011-11-30)Answer Set Programming (ASP) is a purely declarative programming paradigm based on nonmonotonic reasoning and logic programming. The idea of ASP is to represent a given computational problem by a logic program such ...