GavanelliMarco

Expressing and Verifying Business Contracts with Abductive Logic Programming

MontaliMarco, LammaEvelina, ChesaniFederico, 2008 .

Verifiable agent interaction in abductive logic programming

LammaEvelina, ChesaniFederico, MelloPaola, 2008 .