Sfoglia Dipartimento di Matematica e Informatica - Tesi di Dottorato per Soggetto "Programmazione logica"

Items 1-7 di 7

  • Computational tasks in answer set programming: algorithms and implementation 

    Dodaro, Carmine; Leone, Nicola; Ricca, Francesco (2014-12-01)
    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 ...

  • DLVDB An ASP System for Data Intensive ApplicationsRisorsa elettronica 

    Panetta, Claudio; Leone, Nicola; Terracina, Giorgio (2014-04-01)
    La rapida crescita di sistemi informatici derivanti dalle diverse applicazioni cui Internet si presta, ha rapidamente aumentato la quantit`a di dati e di informazioni disponibili per l’elaborazione. In particolare, ...

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

  • Extending the ASP System DLVDB to Support Complex Terms and Procedural Sub-tasks 

    De Francesco, Erika; Terracina, Giorgio; Leone, Nicola (2014-03-31)
    In many scientific and business scenarios, large amounts of data are generated and stored at increasing speed in local or distributed databases. Scientific experiments generating petabytes of data are daily performed in ...

  • Integrated development environment for answer set programming 

    Reale, Kristian; Leone, Nicola; Ricca, Francesco (2012-11-30)
    Answer Set Programming (ASP) is a truly-declarative programming paradigm proposed in the area of non-monotonic reasoning and logic programming. The successful application of ASP in a number of advanced projects, has ...

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

  • Parallel evaluation of ASP programs:techniques and implementation 

    Sirianni, Marco; Ricca, Francesco; Leone, Nicola (2011-11-30)
    Answer Set Programming (ASP) is a purely declarative programming paradigm based on nonmonotonic reasoning and logic programming. The idea of ASP is to represent a given computational problem by a logic program such ...