This page shows all presentations of this author published in EasyChair Smart Slide.
RuleML+RR 2018 closing session
Xavier Parent
Åqvist's Dyadic Deontic Logic E in HOL
Christoph Benzmuller, Ali Farjami and Xavier Parent