Browsing Dipartimento di Matematica e Informatica - Tesi di Dottorato by Author "Calimeri, Francesco"

Now showing items 1-3 of 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 ...

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

  • Towards an effective and explainable AI: studies in the biomedical domain 

    Bruno, Pierangela; Greco, Gianluigi; Calimeri, Francesco (Università della Calabria, 2021-07-05)
    Providing accurate diagnoses of diseases and maximizing the effectiveness of treatments requires, in general, complex analyses of many clinical, omics, and imaging data. Making a fruitful use of such data is not ...