Sfoglia Dipartimento di Matematica e Informatica - Tesi di Dottorato per Soggetto "Logic programming"
Items 1-2 di 2
-
Logic Programming in non-conventional environments
(2018-05-03)Logic Programming became a very useful paradigm in many different areas and thus several languages (and solvers) have been created to support various kinds of reasoning tasks. However, in the last decades, thanks also ... -
Paracoherent Answer Set Programming
(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 ...