Temporalised normative positions in defeasible logic
Guido Governatori, Antonino Rotolo, Giovanni Sartor · 2005
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of temporalised agency and temporalised normative positions. We argue about the defeasible nature of these notions and then we show how to represent and reason with them in the setting of Defeasible Logic.