Sciweavers

AUSAI
2007
Springer
13 years 11 months ago
Temporal Extensions to Defeasible Logic
In this paper, we extend Defeasible Logic (a computationally-oriented non-monotonic logic) in order to deal with temporalised rules. In particular, we extend the logic to cope with...
Guido Governatori, Paolo Terenziani