Matteo Baldoni
Alberto Martelli
Viviana Patti
Laura Giordano
Annals of Mathematics and Artificial Intelligence
Temporal deontic action logic for the verification of compliance to norms in ASP