2 papers
cs.AI2026
A Simple Doxastic Deontic Logic for Norm-Guided Decision Making
Thorsten Engesser, Agata Ciabattoni
Making decisions despite conflicting norms and incomplete or unreliable information is a fundamental challenge for autonomous systems. We introduce a simple doxastic deontic logic…
cs.CL2025
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 (…