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)