Toward Robust Legal Text Formalization into Defeasible Deontic Logic using LLMs

Elias Horner, Cristinel Mateis, Guido Governatori +1

We present a comprehensive approach to the automated formalization of legal texts using large language models (LLMs), targeting their transformation into Defeasible Deontic Logic (…