"From Classical to Non-monotonic Deontic Logic Using ASPIC+."

Huimin Dong et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics