The computer modelling of mathematical reasoning
The computer modelling of mathematical reasoning
Building expert systems
An artificial intelligence approach to legal reasoning
An artificial intelligence approach to legal reasoning
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
Interpreting statutory predicates
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Hierarchically organised formalisations
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
Machine Learning: Meta-Reasoning and Logics
Machine Learning: Meta-Reasoning and Logics
A computational framework for dialectical reasoning
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Progress on Room 5: a testbed for public interactive semi-formal legal argumentation
Proceedings of the 6th international conference on Artificial intelligence and law
A model of legal reasoning with cases incorporating theories and values
Artificial Intelligence - Special issue on AI and law
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Deploying defeasible logic rule bases for the semantic web
Data & Knowledge Engineering
Mining association rules for RFID data with concept hierarchy
ICACT'09 Proceedings of the 11th international conference on Advanced Communication Technology - Volume 2
Hi-index | 0.00 |
Rule-Based Systems in the legal domain are often obtained by formalizing legislation. We consider the addition of meta-knowledge in the form of meta-rules to such a system. Such an approach has many advantages both for control and for dealing with the intrinsic vagueness of legal rules. Legal computer systems of different kinds have been proposed and built over the years. In this paper we shall present a legal reasoning system which uses concepts discussed in this paper. The system consists of a knowledge base, obtained by formalizing legislation, and uses a meta-rules mechanism for deduction and legal reasoning.