Now showing items 1-1 of 1

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