Towards a general theory of action and time
Artificial Intelligence
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
Propositional defeasible logic has linear complexity
Theory and Practice of Logic Programming
Temporalised normative positions in defeasible logic
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web
IEEE Transactions on Knowledge and Data Engineering
Variants of temporal defeasible logics for modelling norm modifications
Proceedings of the 11th international conference on Artificial intelligence and law
Bringing Order to Chaos: RIF as the New Standard for Rule Interchange
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
A Java Implementation of Temporal Defeasible Logic
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Temporal extensions to defeasible logic
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Characterising deadlines in temporal modal defeasible logic
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
A semantic web based architecture for e-contracts in defeasible logic
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Detecting conflicts in legal systems
JSAI-isAI'12 Proceedings of the 2012 international conference on New Frontiers in Artificial Intelligence
Computing temporal defeasible logic
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
| Hi-index | 0.00 |
In this paper we briefly present an efficient implementation of temporal defeasible logic, and we argue that it can be used to efficiently capture the the legal concepts of persistence, retroactivity and periodicity. In particular, we illustrate how the system works with a real life example of a regulation.