Vol-1458⫷ Vol-1459 ⫸Vol-1460
urn:nbn:de:0074-1459-0


Vol-1459/paper17⫷Vol-1459/paper8⫸Vol-1459/paper13
Marco GavanelliPaola MelloEvelina LammaMarco MontaliFederico Chesani

Evaluating compliance: from LTL to abductive logic programming