Título: Recuperando 'fórmulas culpables' de un lenguaje deóntico mediante el mapeo inverso de unsat cores Director: Fernando Schapachnik Jurados: Sergio Mera y Hernán Czemerinski Resumen: FormaLex es un conjunto de herramientas que tiene como objetivo modelar y analizar sistemas legales realizando de manera automatizada verificaciones de fórmulas lógicas que [...]