Welche Rolle spielt Argumentationstheorie und Argument Mining bei der Formalisierung der Argumentation? Wie lässt sich überhaupt juristische Argumentation formalisieren und können daraus Argumentationsgraphen erzeugt werden? Dies könnte dazu dienen, um juristische Logik z.B. in einem Gerichtsurteil zu analysieren und Lücken aufzuweisen. Videointerview von Prof. Dr. Michael Kohlhase durch Notar und Lehrbeauftragten Prof. Dr. Axel Adrian.