Handbook of logic in artificial intelligence and logic programming (vol. 3)
Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
Pleadings Game: An Artificial Intelligence Model of Procedural Justice
Pleadings Game: An Artificial Intelligence Model of Procedural Justice
Defeasible logic with dynamic priorities
International Journal of Intelligent Systems
Temporalised normative positions in defeasible logic
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
The Carneades model of argument and burden of proof
Artificial Intelligence
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
LKIF Core: Principled Ontology Development for the Legal Domain
Proceedings of the 2009 conference on Law, Ontologies and the Semantic Web: Channelling the Legal Information Flood
Proceedings of the 2009 International Symposium on Rule Interchange and Applications
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
Fill the Gap in the Legal Knowledge Modelling
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Legal concepts as inferential nodes and ontological categories
Artificial Intelligence and Law
On controlled natural languages: properties and prospects
CNL'09 Proceedings of the 2009 conference on Controlled natural language
Norm compliance in business process modeling
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Temporal Dimensions in Rules Modelling
Proceedings of the 2010 conference on Legal Knowledge and Information Systems: JURIX 2010: The Twenty-Third Annual Conference
Proceedings of the 13th International Conference on Artificial Intelligence and Law
International Conference on Artificial Intelligence and Law
On the relationship between Carneades and Defeasible Logic
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Semantic Processing of Legal Texts: where the Language of Law Meets the Law of Language
Semantic Processing of Legal Texts: where the Language of Law Meets the Law of Language
Law and the Semantic Web: legal Ontologies, Methodologies, Legal Information Retrieval, and Applications
| Hi-index | 0.00 |
In this paper we present the motivation, use cases, design principles, abstract syntax, and initial core of LegalRuleML. The LegalRuleML-core is sufficiently rich for expressing legal sources, time, defeasibility, and deontic operators. An example is provided. LegalRuleMLis compared to related work.