The CCLAW team presented the following papers at the 35th International Conference on Legal Knowledge and Information Systems (JURIX 2022):
- An End-to-End Pipeline from Law Text to Logical Formulas;
- Compliance through Model Checking
- Driving-Decision Making of Autonomous Vehicle according to Queensland Overtaking Traffic Rules
- ICT support for Business Process Compliance
- Traffic Rule Formalization for Autonomous Vehicle
Please visit the Papers section of the website for details of each paper.
14 - 16 December 2022