Xavier Parent

Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset)

by Xavier Parent 📧 and Christoph Benzmüller 📧