Temporal deontic action logic for the verification of compliance to norms in ASP
Programming Rational Agents in a Modal Action Logic
Annals of Mathematics and Artificial Intelligence
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law - ICAIL ’13
Alberto Martelli
Matteo Baldoni
Viviana Patti
Daniele Theseider Dupré