MIREL PROGRAM
Monday, September 17th, 2018
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:15-09:30 Opening of Registration
The LuxLogAI registration desk will open on 8.15am every day from Monday, Sep 17, to Friday, Sep 21. Please pick up your conference badges here. The registration desk will also help you with any issues or problems throughout the whole day.
See also the LuxLogAI conference booklet for further information.
Location: MSA Coffee break area
09:00-10:30 Session 1B
Chair:
Location: MSA 3.120
| 09:00 | Artificial Intelligence for Consumer Law (abstract) |
| 10:00 | Legal Reasoning and Big Data: Opportunities and Challenges (abstract)  |
10:30-11:00Coffee Break
11:00-12:30 Session 3C
Chair:
Location: MSA 3.120
| 11:00 | Automatic Catchphrase Extraction from Legal Case Documents via Scoring using Deep Neural Networks (abstract) |
| 11:30 | A Prototype for Dealing with Exceptions in Lawsuit Simulation and for Legible Inference Proofs (abstract)  |
| 12:00 | Nomothesia: A Linked Data Platform for Greek Legislation (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 4D
Chair:
Location: MSA 3.120
| 14:00 | Principles for a judgement editor based on BDD (abstract) |
| 14:30 | The Logic of Silence in Testimonies (abstract) |
| 15:00 | \AA qvist's Dyadic Deontic Logic {\bf E} in HOL (abstract) |
15:30-16:00Coffee Break