EasyChair Smart SlideUser guide
Conference: MIREL 2018 (MIREL workshop 2018)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Åqvist's Dyadic Deontic Logic E in HOL

Åqvist's Dyadic Deontic Logic E in HOL

Christoph Benzmuller, Ali Farjami and Xavier Parent

Artificial Intelligence for Consumer Law

Artificial Intelligence for Consumer Law

Marco Lippi

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

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

Cleyton Rodrigues, Eunice Palmeira, Ítalo Oliveira and Fred Freitas

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair