Sfoglia Dipartimento di Matematica e Informatica - Tesi di Dottorato per Soggetto "Intelligenza artificiale"

Items 1-4 di 4

  • Answer Set Programming with Functions 

    Cozza, Susanna; Leone, Nicola (2014-04-01)
    L’Answer Set Programming (ASP) [Gelfond and Lifschitz, 1988; 1991] `e un formalismo che si `e affermato, in questi ultimi anni, come potente strumento di programmazione dichiarativa per la rappresentazione della conoscenza ...

  • Dynamic magic sets 

    Alviano, Mario; Lceone, Nicola; Faber, Wolfgang (2014-04-08)
    Disjunctive Datalog with stable model semantics is a rule–based language for knowledge representation and common sense reasoning that also allows to use queries for checking the presence of specific atoms in stable models. ...

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

  • Normal Form Nested Programs 

    Bria, Annamaria; Faber, Wolfgang; Leone, Nicola (2014-03-31)
    Nella Programmazione Logica Disgiuntiva (PLD) le regole sono costituite da una testa e da un corpo. La testa è una disgiunzione di atomi, mentre il corpo una congiunzione di letterali. La PLD, sotto la semantica degli ...