posted by user: swadpasc || 808 views || tracked by 2 users: [display]

LoReTra 2023 : Workshop on Logic Representation of Traffic Rules


When Jun 23, 2023 - Jun 23, 2023
Where Braga
Submission Deadline Apr 17, 2023
Notification Due May 16, 2023
Final Version Due May 23, 2023
Categories    knowledge representation   legal ai   semantic web   legal reasoning

Call For Papers

Call for Papers

Workshop on Logic Representation of Traffic Rules (LoReTra) in conjunction with ICAIL 2023 The 19th International Conference on Artificial Inteligence and Law

Using symbolic logic to formalise legal norms is one of the most traditional goals of legal informatics as a scientific discipline. More than mere theoretical value, this approach is also connected to promising real-world applications involving, e.g., the observance of legal norms by highly automated machines or even the (partial) automatisation of legal reasoning, leading to new automated legal services.

Albeit the long research tradition on the use of logic to formalise legal norms – be it by using classic logic systems (e.g., first-order logic), be it by attempting to construct a specific system of logic of norms (e.g., deontic logic) –, many challenges involved in the development of an adequate methodology for the formalisation of concrete legal regulations remain unsolved. This includes not only the choice of a sufficiently expressive formal language or model, but also the concrete way through which a legal text formulated in natural language is to be translated into the formal representation.

The workshop LoReTra seeks to explore the various challenges connected with the task of using formal languages and models to represent legal norms, at the example of traffic rules, in a machine-readable manner, and reasoning with such formalizations, e.g., in autonomous driving.

LoReTra seeks to discuss current research questions concerning (among others):

- Knowledge representation methods applicable to legal norms (in particular traffic rules), including different types of (deontic) logic or comparable formalisms
- Formalisation of and reasoning with rule-exceptions, rule-conflicts and/or contrary-to-duty obligations
- Formalisation of abstract legal concepts and basic principles of law (e.g., "human dignity", "mutual respect", "care", "danger", "trust")
- Models and approaches to the practical implementation of law-formalisations (e.g., (legal) ontologies, LegalRuleML, PROLEG, reasoning engines, SAT-solvers)
- Models and approaches - including automated methods - to adequately 'translate' legal provisions (especially traffic rules) from natural language to a formal symbolism
- Legal and/or engineering challenges arising from the use of formal representation methods to formalise legal norms (especially traffic rules)
- Methods and approaches for legal and ethical AI reasoning and compliance checking in autonomous driving applying formalized traffic rules and legal knowledge
- Machine learning methods and approaches for knowledge extraction and learning and hybrid symbolic and sub-symbolic approaches for knowledge representation and reasoning with traffic rules

We particularly invite submissions including experience reports on concrete attempts at implementing formalisations of legal norms within an automated system.

The workshop aims to attract participants from various disciplines, particularly from Computer Science, Law and Philosophy, and to be of interest to anyone working on the application of knowledge representation methods to the field of law.

Participation and Submission
People interested in participating are invited to submit high quality, original short (5-9 pages) or long papers (10-14 pages) in the style template CEURART (1-column variant), available at:


Submitted papers must be original contributions written in English. Please submit your paper via EasyChair.

Authors of the accepted papers will present at the workshop. The publication of the submited papers (e.g. as CEUR workshop-proceedings) is intended.

Georg Borges (Saarland University, Germany)

Adrian Paschke (Freie Universität Berlin and Fraunhofer FOKUS, Germany)

Important Dates
Submission deadline: 17.4.2023

Notification of acceptance: 16.5.2023

Workshop: 23.6.2023

Workshop Website:

Related Resources

TIME 2024   The 31st International Symposium on Temporal Representation and Reasoning
BES 2024   8th International Conference on Biomedical Engineering and Science
KR 2024   Principles of Knowledge Representation and Reasoning
ICLR 2024   International Conference of Learning Representations
SEMANTiCS 2024   20th International Conference on Semantic Systems
ICITT 2024   2024 8th International Conference on Intelligent Traffic and Transportation (ICITT 2024)
CiViE 2024   8th International Conference On Civil Engineering
IEEE ICTLE 2024   IEEE--2024 12th International Conference on Traffic and Logistic Engineering (ICTLE 2024)
SNLP 2024   5th International Conference on Semantic & Natural Language Processing
RuleML+RR 2024   The 8th International Joint Conference on Rules and Reasoning