cited by index terms
Primary Classification: I. Computing Methodologies I.2 ARTIFICIAL INTELLIGENCE I.2.1 Applications and Expert Systems Subjects: Law
Additional Classification: I. Computing Methodologies I.2 ARTIFICIAL INTELLIGENCE I.2.3 Deduction and Theorem Proving Subjects: Deduction (e.g., natural, rule-based); Answer/reason extraction
General Terms: Design, Experimentation, Legal Aspects