Grigoris Antoniou
David Billington
Guido Governatori
Michael J. Maher
ACM Transactions on Computational Logic
Temporalised normative positions in defeasible logic
Variants of temporal defeasible logics for modelling norm modifications
Temporal deontic action logic for the verification of compliance to norms in ASP