This book introduces methods to analyze legal documents such as negotiation records and legal precedents, using computational argumentation theory. Third, the logical structure of 70 labor cases is described in detail by using factors and a bipolar argumentation framework (BAF) and an (extended argumentation framework (EAF) together. BAF describes the logical structure between plaintiff and defendant, and EAF describes the decision of the judge. Incorporating the legal into the EAF of computational argumentation theory, the strength of the analysis of precedents by combined use of factored BAF and EAF, not only which argument the judge adopted could be specified.It was also possible to determine what kind of value judgment was made and to verify the logic. The analysis methods in this book demonstrate the application of logic-based AI methods to the legal domain, and they contribute to the education and training of law school students in logical ways of argumentation.weiterlesen