Workshop on Logic Programming and Legal Reasoning (LPLR 2025)

Collocated within the 41st International Conference on Logic Programming

Unical, Rende (CS), Italy

September 12–13, 2025

Aim and Scope of the Workshop

Representation of legal rules and reasoning over them is a critical application area since laws and regulations are used in almost all human activities. Furthermore, corpora pertaining to laws and regulations are typically complex and enormous in size, and experts are usually needed in order to apply legal reasoning in everyday life. Thus, automating reasoning over legal documents by means of applying logic programming can speed up a process that is laborious and time consuming.

The aim of the workshop is to give the opportunity to legal experts and computer scientists to present recent research results and discuss related ideas on this particularly active area of research.

Topics of Interest

The workshop is open to both theoretical and application contributions regarding the use of Logic Programming towards solutions in legal reasoning, indicatively related, but not limited to the following themes:

Important Dates

The reference time-zone for all deadlines is Anywhere on Earth (AoE) UTC-12.

Programme

TBA

Submission Details

Submissions should be 7–14 pages in PDF format, including abstract, figures and references, and according to the CEUR-WS template (single column). The reviewing will be single-blind. All submissions will be made electronically through the EasyChair conference system.

At least one of the authors must register and attend ICLP to present the paper for inclusion in the workshop proceedings.

Workshop Co-Chairs

Dr. Ilias Tachmazidis
School of Computing and Engineering
University of Huddersfield, UK

Dr. Sotiris Batsakis
School of Computing and Engineering
University of Huddersfield, UK

Dr. Livio Robaldo
Hillary Rodham Clinton School of Law
University of Swansea, UK

Dr. Emmanuel Papadakis
School of Computing and Engineering
University of Huddersfield, UK

Dr. Adam Wyner
School of Mathematics and Computer Science
University of Swansea, UK