LUXLOGAI 2018: LUXEMBOURG LOGIC FOR AI SUMMIT
SLIDES

Åqvist's Dyadic Deontic Logic E in HOL

Christoph Benzmuller, Ali Farjami and Xavier Parent

A Prototype for Dealing with Exceptions in Lawsuit Simulation and for Legible Inference Proofs

Cleyton Rodrigues, Eunice Palmeira, Ítalo Oliveira and Fred Freitas
Total: 2 presentations.