WORKSHOP REPORT: Application of Logic Programming to Legal Reasoning

w Introduction The Workshop on the Application of Logic Programming to Legal Reasoning was a one day workshop organised by Dr. Katsumi Nitta from ICOT and chaired by Professor Hajime Yoshino from Meiji Gakuin University. It covered a wide range of topics, most of which concerned one or more of the following three main problems: 1. the need for a natural and expressive knowledge representation formalism for representing legal concepts; 2. the importance of an appropriate theory of legal argumentation; 3. the nature of the interaction between case-based and rule-based reasoning in the law.