Sfoglia Tesi di Dottorato per Soggetto "Artificial intelligence"

Items 1-2 di 2

  • Constraint satisfaction: algorithms, complexity results, and applications 

    Lupia, Francesco; Crupi, Felice; Scarcello, Francesco; Greco, Gianluigi (2016-02-19)
    A fundamental problem in the eld of Arti cial Intelligence and related disciplines, in particular Database theory, is the constraint satisfaction problem (or CSP) which comes as a unifying framework to express a wide ...

  • Design and implementation of a modern ASP grounder 

    Zangari, Jessica; Leone, Nicola; Calimeri, Francesco; Perri, Simona (2018-01-19)
    Answer Set Programming (ASP) is a declarative programming paradigm proposed in the area of non-monotonic reasoning and logic programming in the late '80 and early '90. Thanks to its expressivity and capability of dealing ...