An artificial intelligence approach to legal reasoning
An artificial intelligence approach to legal reasoning
International Journal of Man-Machine Studies - AI and legal reasoning. Part 2
An abductive theory of legal issues
International Journal of Man-Machine Studies - AI and legal reasoning. Part 2
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Modeling Legal Arguments: Reasoning with Cases and Hypotheticals
Modeling Legal Arguments: Reasoning with Cases and Hypotheticals
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Teaching case-based argumentation through a model and examples
Teaching case-based argumentation through a model and examples
AI and law: a fruitful synergy
Artificial Intelligence - Special issue on AI and law
Dialectical argumentation with argumentation schemes: an approach to legal logic
Artificial Intelligence and Law - Law, logic and defeasibility
Proceedings of the 11th international conference on Artificial intelligence and law
The Carneades model of argument and burden of proof
Artificial Intelligence
Argument Schemes for Legal Case-based Reasoning
Proceedings of the 2007 conference on Legal Knowledge and Information Systems: JURIX 2007: The Twentieth Annual Conference
Fill the Gap in the Legal Knowledge Modelling
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Multi-layer markup and ontological structures in Akoma Ntoso
AICOL-I/IVR-XXIV'09 Proceedings of the 2009 international conference on AI approaches to the complexity of legal systems: complex systems, the semantic web, ontologies, argumentation, and dialogue
Temporal Dimensions in Rules Modelling
Proceedings of the 2010 conference on Legal Knowledge and Information Systems: JURIX 2010: The Twenty-Third Annual Conference
Modelling temporal legal rules
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Annals of Mathematics and Artificial Intelligence
LegalRuleML: XML-based rules and norms
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Ontology framework for judgment modelling
AICOL'11 Proceedings of the 25th IVR Congress conference on AI Approaches to the Complexity of Legal Systems: models and ethical challenges for legal systems, legal language and legal ontologies, argumentation and software agents
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
A well-founded ontological framework for modeling personal income tax
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
LegalRuleML: from metamodel to use cases
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
| Hi-index | 0.00 |
The Legal Knowledge Interchange Format (LKIF), being developed in the European ESTRELLA project, defines a knowledge representation language for arguments, rules, ontologies, and cases in XML. In this article, the syntax and argumentation-theoretic semantics of the LKIF rule language is presented and illustrated with an example based on German family law. This example is then applied to show how LKIF rules can be used with the Carneades argumentation system to construct, evaluate and visualize arguments about a legal case.