Temporal deontic action logic for the verification of compliance to norms in ASP.

Laura Giordano, Alberto Martelli, Daniele Theseider Dupr

Browse the full ICAIL paper archive.