Cerca
Items 1-4 di 4
Integrated development environment for answer set programming
(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
(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 ...
Computational tasks in answer set programming: algorithms and implementation
(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
(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 ...