An executable specification of an argumentation protocol
Formal representation of the institute of criminal liability
Rational norm creation
A knowledge base for automatic capitulation in expert system
Automated extraction of normative references in legal texts
Permissions and obligations in hierarchical normative systems