Program

09:00-10:30 Session 1B

LOCATION: MSA 3.100

09:00 Marco Lippi Artificial Intelligence for Consumer Law (abstract)

10:00 Grigoris Antoniou, George Baryannis, Sotiris Batsakis, Guido Governatori, Livio Robaldo, Giovanni Siragusa and Ilias Tachmazidis Legal Reasoning and Big Data: Opportunities and Challenges (abstract)

10:30-11:00 Coffee Break

11:00-12:30 Session 3C

LOCATION: MSA 3.100

11:00 Vu Tran, Minh Le Nguyen and Ken Satoh Automatic Catchphrase Extraction from Legal Case Documents via Scoring using Deep Neural Networks (abstract)

11:30 Cleyton Rodrigues, Eunice Palmeira, Ítalo Oliveira and Fred Freitas A Prototype for Dealing with Exceptions in Lawsuit Simulation and for Legible Inference Proofs (abstract)

12:00 Iosif Angelidis, Ilias Chalkidis, Charalampos Nikolaou, Panagiotis Soursos and Manolis Koubarakis Nomothesia: A Linked Data Platform for Greek Legislation (abstract)

12:30-14:00 Lunch Break

14:00-15:30 Session 4D

LOCATION: MSA 3.100

14:00 Alfonso Garcés Báez and Aurelio Lopez-Lopez The Logic of Silence in Testimonies (abstract)

14:30 Christoph Benzmuller, Ali Farjami and Xavier Parent \AA qvist's Dyadic Deontic Logic {\bf E} in HOL (abstract)

15:00 Xavier Parent and Leon van der Torre Input/output logics for normative reasoning (abstract)

15:30-16:00 Coffee Break

16:00-18:00 Session 7C

CHAIR: Leon van der Torre

LOCATION: MSA 3.100

16:00 Giovanni Casini Deontic Description Logic (abstract)

16:30 Paul Meder I/O Logic in HOL (abstract)

17:00 Guillaume Aucher Principles for a judgement editor based on BDD (abstract)