Modal logic investigations in the semantics of counts-as
Dynamics of legal provisions and its representation
Temporalised normative positions in defeasible logic
Automatic semantics extraction in law documents
Permission and authorization in normative multiagent systems
A legal drafting environment based on formal and semantic XML standards