Proceedings of the Seventh Workshop on Automated Semantic Analysis of Information in Legal Texts Advisory Board Kevin D. Ashley, University of Pittsburgh, USA Katie Atkinson, University of Liverpool, UK Enrico Francesconi, Italian National Research Council (IGSG-CNR) and European Parliament, Italy Matthias Grabmair, Technical University of Munich , Germany Jaro mır ́ S Organising Committee Francesca Lagioia, European University Institute and University of Bologna, Italy Jack Mumford, University of Liverpool, UK (chair) Hannes Westermann, Maastricht University , Netherlands Proceedings volume compiled by: Jack Mumford Department of Artificial Intelligence School of Computer Science University of Liverpool UK Programme Committee David Bareham, University of Liverpool, UK Floris Bex, Utrecht University, Netherlands Andrea Galassi, University of Bologna, Italy Ru ̄ta Liepina, University of Bologna, Italy Giuseppe Pisano, University of Bologna, Italy Georg Rehm, German Research Center for Artificial Intelligence (DFKI), Germany Marijn Schraagen, Utrecht University, Netherlands Emilio Sulis, University of Turin, Italy Sabine Wehnert, Otto von Guericke University Magdeburg , Germany (Long paper) Measuring Faithfulness and Abstention: An Automated Pipeline for Evaluating LLM-Generated 3-ply Case-Based Legal Arguments. Li Zhang , Morgan Gray, Jaromir Savelka, and Kevin Ashley 2025 9 11

s. This volume contains the peer-reviewed papers presented at the workshop.

 -

11:10-13:00 – Session 2: Structure & Explainability in Legal AI Chair: Francesca Lagioia • (Long paper) Incorporating Legal Structure in Retrieval-Augmented Generation: A Case Study on Copyright

Fair Use. Justin Ho, Alexandra Colby, and William Fisher. • (Short paper) Detecting Purpose Language in State Regulations. Matthew Carey, Chandan Aggarwal, Royce

Koh, Cindy Zhang, and Sylvia Kwakye. • (Short paper) Explainable NLLP: Advancements in Explainable AI for Natural Legal Language Processing.

Lucas Resck, Felipe Moreno-Vera, Tobias Veiga, Gerardo Paucar, Ezequiel Fajreldines, Guilherme Klafke, Luis Gustavo Nonato, and Jorge Poco. • (Abstract) Bridging Statutes and Precedent: A Rule-Tree & LLM-Driven Pipeline for Case-Law Analysis.

Hannes Westermann. • (Abstract) Transparent and trustworthy AI for legal document generation. Gabor Recski. • Author panel discussion on key questions and open problems for Structure & Explainability in Legal AI. 13:00-14:00 – Lunch Break 14:00-15:30 – Session 3: Neuro-Symbolic & Logical Approaches Chair: Hannes Westermann • (Long paper) From Legal Texts to Defeasible Deontic Logic via LLMs: A Study in Automated Semantic

Analysis. Elias Horner, Cristinel Mateis, Guido Governatori, and Agata Ciabattoni. • (Abstract) Towards a Neuro-Symbolic Approach to Legal Compliance Checking: Patterns for Deontic Norms

Representation and Reasoning. Enrico Francesconi. • (Abstract) Translating Natural Language Building Regulations into SHACL DL with a LLM. Dominic Love, and Adam Wyner. • (Abstract) A Neuro-Symbolic Approach to Legal Textual Entailment. Cor Steging, and Ludi van Leeuwen. • Author panel discussion on key questions and open problems for Neuro-Symbolic & Logical Approaches. 15:30-16:00 – Cofee Break 16:00-17:45 – Session 4:Information Extraction & Datasets Chair: Francesca Lagioia • (Short paper) What Are the Facts? Automated Extraction of Court-Established Facts from Opinions of Criminal Courts. Kal´ra Bendoav´, Tomsaˇ´ Knap, Jan Cˇerny,´ Vojetcˇh Pour, Ivana Kvapiıkl´oav´, Jaro mır´ Sˇavelka, and Jakub Dar´pal. • (Abstract) Unsupervised Learning for Creating Labeled Datasets for Legal Text Classification. Shashank

Chakravarthy, Anna Wilbik, and Gijs van Dijck. • (Abstract) Czech Constitutional Court Decisions Semantic Search. Tereza Novotna´. • (Abstract) Citation Context - Intelligent Datasets for Case Law Retrieval. Jack Mumford. • (Abstract) Generating Legal Problems for Access to Justice: Exploring the Use of GenAI for Legal Query

Formulation. Lyra Hoeben-Kuil. • Author panel discussion on key questions and open problems for Information Extraction & Datasets. The organising committee expresses its sincere gratitude to all authors for their submissions and participation in the workshop, to the advisory board for their sage advice, to the program committee for its diligent reviewing, and to all the many workshop attendees for their thoughtful engagement.

These proceedings are published online by the ASAIL organising committee as CEUR Workshop Proceedings. http://ceur-ws.org Copyright © 2025 for the individual papers by the papers’ authors.

Copyright © 2025 for the volume as a collection by its editors.

This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).