The third most common neurological disorder, only behind stroke and migraines, is
Epilepsy. The main criteria for its diagnosis are the occurrence of unprovoked seizures and …

Houdini is a Defeasible Deontic Logic reasoner that has been recently developed in Java.
The algorithm employed in Houdini follows the proof conditions of the logic to conclude …

In this work, we describe the main processes by which an agent operating in a
normative/ethical system may formulate a new normative/ethical rule. This is an issue that …

Legal texts are typically written in a natural language. However, a legal text that is written in
a formal language has the advantage of being subject to automation, at least partially. Such …

Many methods have been explored for translating legal texts into formal logic, but the results
are yet far from being actually applicable to real-world problems, mainly because (a) natural …