List of works - David Fuenmayor - Paulina

List of works by David Fuenmayor

LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset)

scientific article published on 15 October 2020

Modelling Value-Oriented Legal Reasoning in LogiKEy

scientific article published on 14 March 2024

Who finds the short proof?

scientific article published on 25 January 2023

Paulina is supported by:

About Paulina

Help