Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
xaila:start [2018/12/03 13:31] – accepted papers gjn | xaila:start [2018/12/12 11:29] – [Accepted papers] Tilburg paper fix gjn | ||
---|---|---|---|
Line 85: | Line 85: | ||
* Jakub Harašta. //Trust by Discrimination: | * Jakub Harašta. //Trust by Discrimination: | ||
* Giovanni Sileno, Alexander Boer and Tom Van Engers. //The Role of Normware in Trustworthy and Explainable AI// | * Giovanni Sileno, Alexander Boer and Tom Van Engers. //The Role of Normware in Trustworthy and Explainable AI// | ||
- | * Martijn Van Otterlo and Martin Atzmueller. //Two Tales of Explainability | + | * Martijn Van Otterlo and Martin Atzmueller. //On Requirements and Design Criteria |
* Michał Araszkiewicz and Grzegorz J. Nalepa. // | * Michał Araszkiewicz and Grzegorz J. Nalepa. // | ||
* Bernardo Alkmim, Edward Hermann Haeusler and Alexandre Rademaker. //Utilizing iALC to Formalize the Brazilian OAB Exam// | * Bernardo Alkmim, Edward Hermann Haeusler and Alexandre Rademaker. //Utilizing iALC to Formalize the Brazilian OAB Exam// | ||
Line 94: | Line 94: | ||
* Veronika Žolnerčíková. // | * Veronika Žolnerčíková. // | ||
+ | ===== Workshop Schedule ===== | ||
+ | 9.45-10.10 < | ||
+ | < | ||
+ | 10.10-10.40 - Giovanni Sileno, Alexander Boer and Tom Van Engers. The Role of Normware in Trustworthy and Explainable AI\\ | ||
+ | 10.40-11.00 - Michał Araszkiewicz and Tomasz Zurek. A Dialogical Framework for Disputed Issues in Legal Interpretation | ||
+ | 11.00-11.30 - **Coffee break** | ||
+ | |||
+ | 11.30-12.30 - **Keynote lecture: [[http:// | ||
+ | Abstract: //AI's successes are these days so prominent that---if we believe reports in the news---the times seem near that machines perform better at any human task than humans themselves. At the same time the prominent AI technique of neural networks---today typically called deep learning---is often considered to lead to black box results, hindering transparency, | ||
+ | |||
+ | Bio: //Prof. Bart Verheij holds the chair of artificial intelligence and argumentation at the University of Groningen. He is head of the department of Artificial Intelligence in the Bernoulli Institute of Mathematics, | ||
+ | |||
+ | 12.30-13.00 - Michał Araszkiewicz and Grzegorz J. Nalepa. Explainability of Formal Models of Argumentation Applied to Legal Domain\\ | ||
+ | 13.00-14.00 - **Lunch** | ||
+ | |||
+ | 14.00-14.30 - Martijn Van Otterlo and Martin Atzmueller. On Requirements and Design Criteria for Explainability in Legal AI | ||
+ | \\ | ||
+ | 14.30-15.00 - Muhammad Mudassar Yamin and Basel Katt. Ethical Problems and Legal Issues in Development and Usage Autonomous Adversaries in Cyber Domain | ||
+ | |||
+ | 15.00-15.30 - **Coffee break** | ||
+ | |||
+ | 15.30-16.00 - Bernardo Alkmim, Edward Hermann Haeusler and Alexandre Rademaker. Utilizing iALC to Formalize the Brazilian OAB Exam\\ | ||
+ | 16.00-16.20 - Veronika Žolnerčíková. Homologation of Autonomous Machines from a Legal Perspective\\ | ||
+ | 16.20-16:45 - **XAILA, closing & open discussion** | ||