The British Nationality Act as a logic program
Communications of the ACM
Representing teleological structure in case-based legal reasoning: the missing link
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
An implementation of Eisner v. Macomber
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Proceedings of the 8th international conference on Artificial intelligence and law
Rethinking the ownership of information in the21st century: Ethical implications
Ethics and Information Technology
Teaching case-based argumentation through a model and examples
Teaching case-based argumentation through a model and examples
A model of legal reasoning with cases incorporating theories and values
Artificial Intelligence - Special issue on AI and law
Developing legal knowledge based systems through theory construction
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Predicting outcomes of case based legal arguments
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
AGATHA: automated construction of case law theories through heuristic search
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
AGATHA: using heuristic search to automate the construction of case law theories
Artificial Intelligence and Law - Argumentation in artificial intelligence and law
Preference-based argumentation: Arguments supporting multiple values
International Journal of Approximate Reasoning
An ontology in OWL for legal case-based reasoning
Artificial Intelligence and Law
Automatically classifying case texts and predicting outcomes
Artificial Intelligence and Law
Towards formalising argumentation about legal cases
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Open texture and argumentation: what makes an argument persuasive?
Logic Programs, Norms and Action
Argument schemes for reasoning with legal cases using values
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Hi-index | 0.00 |
In recent years several proposals to view reasoning with legal cases as theory construction have been advanced. The most detailed of these is that of Bench-Capon and Sartor, which uses facts, rules, values and preferences to build a theory designed to explain the decisions in a set of cases. In this paper we describe CATE (CAse Theory Editor), a tool intended to support the construction of theories as described by Bench-Capon and Sartor, and which produces executable code corresponding to a theory. CATE has been used in a series of experiments intended to explore a number of issues relating to such theories, including how the theories should be constructed, how sets of values should be compared, and the representation of cases using structured values as opposed to factors.