Automated Reasoning with Legal Entities

A research project funded by the

Luxembourg National Research Fund

Grant: CORE C20/IS/14616644

AuReLeE Kick-off Event

In order to foster collaboration and the exchange of ideas, I'm happy to invite you to an informal kick-off event for my recently started AuReLeE project (Automated Reasoning with Legal Entities). The idea is to gather researchers working on related but different topics, and to foster networking among these groups and sub-communities.

The kick-off event will take place on Thursday, May 27, 09:00 – 13:15 (CEST), online via WebEx.

Participation is open to anybody interested in the topics surrounding the project, i.e., including computational logic, normative reasoning, legal reasoning, automated theorem proving, software system standardization and development, AI & Law, KR, rule languages, and more. Feel free to forward this e-mail to anybody that might be interested as well.


All times in CEST/Luxembourgish time.

  • 09:00 - 09:45 Alexander Steen and David Fuenmayor: Welcome; presentation of AuReLeE
  • 09:45 - 10:15 Adam Wyner (Swansea Univ.): Remarks on the Interface between Controlled Natural Languages, Logic, and Defeasibility (Talk + discussion)
  • 10:15 - 10:45 Leon van der Torre (Univ. of Luxembourg) and Dov Gabbay (Kings College London): Norms and Arguments (Talk + discussion)
  • 10:50 - 11:05 Coffee break
  • 11:05 - 12:55 Contributed short presentations
    • 11:05 Tomer Libal (Univ. of Luxembourg): Practical Challenges of Legal Knowledge Formalization
    • 11:20 Axel Adrian (Univ. of Erlangen-Nürnberg FAU): NLP, Logic and Law at FAU
    • 11:35 Christoph Benzmüller (FU Berlin): Value-oriented Legal Argumentation in Isabelle/HOL
    • 11:50 Adrian Paschke and Tobias Gleißner (Franhofer FOKUS/FU Berlin): The projects RECOMP and KI Wissen
    • 12:10 Reka Markovich (Univ. of Luxembourg): Input/Output Logic for Conflict of Laws
    • 12:25 Geoff Sutcliffe and Anjou Sharma (Univ. of Miami): Moral Dilemmas and Automated Theorem Proving
    • 12:40 Kees van Berkel (TU Vienna): What is the (potential) role of proof theory for normative reasoning?
  • 12:55 - 13:15 Open discussion
  • 13:15 End of kick-off


If you want to participate please contact Alexander Steen.

AuReLeE acknowledges financial support from the Luxembourg National Research Fund (FNR) under grant CORE AuReLeE (C20/IS/14616644). Last updated: May 27, 2021