• Logic Programming in non-conventional environments 

    Germano, Stefano; Leone, Nicola; Ianni, Giovambattista (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 

    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 ...