How Do Agents Comply with Norms?
Temporalised normative positions in defeasible logic
Variants of temporal defeasible logics for modelling norm modifications
Legal contractions
Thou shalt is not you will
Representation results for defeasible logic
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law - ICAIL ’13
Proceedings of the 10th international conference on Artificial intelligence and law - ICAIL ’05
Proceedings of the 15th International Conference on Artificial Intelligence and Law - ICAIL ’15
ACM Transactions on Computational Logic
2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology
Information Systems Management
Antonino Rotolo
Monica Palmirani
Giovanni Sartor
Adrian Paschke
Francesco Olivieri
Harold Boley
Managing legal interpretation in regulatory compliance
Compliance Checking of Organizational Interactions
A web-based tool for analysing normative documents in english
Temporal deontic action logic for the verification of compliance to norms in ASP