Sfoglia Dipartimento di Matematica e Informatica - Tesi di Dottorato per Autore "Perri, Simona"
Items 1-3 di 3
-
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 ... -
Eccient evaluation of disjunctive logic programs
Catalano, Gelsomina; Leone, Nicola; Perri, Simona (2014-03-31)Agli inizi degli anni ‘80, Jack Minker propose di accrescere la potenza della programmazione logica consentendo l’utilizzo della disgiunzione nelle teste delle regole e specificando come l’assunzione di mondo chiuso ... -
Tools and Techniques for Easing the Application of Answer Set Programming
Fuscà, Davide; Leone, Nicola; Calimeri, Francesco; Perri, Simona (2018-01-19)Answer Set Programming (ASP) is a well-established declarative problem solving paradigm; it features high expressiveness and the ability to deal with incomplete knowledge, so it became widely used in AI and it is now ...