Enabling Reasoning with LegalRuleML

May 23, 2016 at 10:28:20 AM
New CS Department,
Engineering Dr,
11794 Stony Brook, NY
From Jul 8, 2016, 12:30 PM
To Jul 8, 2016, 1:00 PM
A paper by Ho-Pun Lam, Mustafa Hashmi, and Brendan Scofield (Data61, CSIRO | NICTA)
Abstract. This paper presents an approach for the specification and implementation of translating legal norms represented using LegalRuleML to a variant of Modal Defeasible Logic. From its logical form, legal norms will be transformed into a machine readable format and eventually implemented as executable semantics that can be reasoned about depending on the client's preference.