Now showing items 1-1 of 1

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