no code implementations • 12 Jan 2022 • Giovanni Sileno, Thomas van Binsbergen, Matteo Pascucci, Tom van Engers
In this respect, it goes rather in the direction of legal core ontologies, but differently from those, our proposal aims to keep the character of a DSL, rather than a set of axioms in a logical framework: it is meant to be cross-compiled to underlying languages/tools adequate to the type of target application.
no code implementations • 23 Oct 2018 • Tomer Libal, Matteo Pascucci
Systems of deontic logic suffer either from being too expressive and therefore hard to mechanize, or from being too simple to capture relevant aspects of normative reasoning.