Time and norms: a formalisation in the event-calculus
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
Argumentation Semantics for Defeasible Logic
Journal of Logic and Computation
Variants of temporal defeasible logics for modelling norm modifications
Proceedings of the 11th international conference on Artificial intelligence and law
MetaLex XML and the Legal Knowledge Interchange Format
Computable Models of the Law
Constructing Legal Arguments with Rules in the Legal Knowledge Interchange Format (LKIF)
Computable Models of the Law
Developing Content for LKIF: Ontologies and Frameworks for Legal Reasoning
Proceedings of the 2006 conference on Legal Knowledge and Information Systems: JURIX 2006: The Nineteenth Annual Conference
Proceedings of the 12th International Conference on Artificial Intelligence and Law
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
Fill the Gap in the Legal Knowledge Modelling
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 Dimensions in Rules Modelling
Proceedings of the 2010 conference on Legal Knowledge and Information Systems: JURIX 2010: The Twenty-Third Annual Conference
On the relationship between Carneades and Defeasible Logic
Proceedings of the 13th International Conference on Artificial Intelligence and Law
LegalRuleML: XML-based rules and norms
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
| Hi-index | 0.00 |
Legal reasoning involves multiple temporal dimensions but the existing state of the art of legal representation languages does not allow us to easily combine expressiveness, performance and legal reasoning requirements. Moreover we also aim at the combination of legal temporal reasoning with the defeasible logic approach, maintaining a computable complexity. The contribution of this work is to extend LKIF-rules with temporal dimensions and defeasible tools, extending our previous work [17].