Sfoglia Dipartimento di Matematica e Informatica - Tesi di Dottorato per Autore "Ricca, Francesco"
Items 1-4 di 4
-
Computational tasks in answer set programming: algorithms and implementation
Dodaro, Carmine; Leone, Nicola; Ricca, Francesco (2014-12-01)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 ... -
Enhancing and Applying Answer Set Programming: Lazy Constraints, Partial Compilation and Question Answering
Cuteri, Bernardo; Leone, Nicola; Ricca, Francesco (2019-01-17)This work is focused on Answer Set Programming (ASP), that is an expressive formalism for Knowledge Representation and Reasoning. Over time, ASP has been more and more devoted to solving real-world problems thanks to ... -
Integrated development environment for answer set programming
Reale, Kristian; Leone, Nicola; Ricca, Francesco (2012-11-30)Answer Set Programming (ASP) is a truly-declarative programming paradigm proposed in the area of non-monotonic reasoning and logic programming. The successful application of ASP in a number of advanced projects, has ... -
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 ...