A prototype for automated reasoning over legal texts, called NAI, is
pre...
One of the main issues in proof certification is that different theorem
...
Systems of deontic logic suffer either from being too expressive and
the...
The search for increased trustworthiness of SAT solvers is very active a...