Tutorial on Proof-Theoretic Approaches to Logical Argumentation at KR 2021

Ofer Arieli and Christian will present a tutorial on Proof-Theoretic Approaches to Logical Argumentation at KR 2021 (the 18th International Conference on Principles of Knowledge Representation and Reasoning). The latter will be fully virtual. The tutorials are currently scheduled for 6-8 November 2021. We’ll set up a webpage with more information by the end of May.