Christoph Benzmüller

Latest

• Conditional normative reasoning as a fragment of HOL
• Implementing the Fatio Protocol for Multi-Agent Argumentation in LogiKEy
• Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset)