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