Browsing Tesi di Dottorato by Author "Faber, Wolfgang"

Now showing items 1-2 of 2

  • Dynamic magic sets 

    Alviano, Mario; Lceone, Nicola; Faber, Wolfgang (2010)
    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. ...

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