13 citations · 19 across the 8 of their papers we have counts for
1 paper · 1 filter
Tomer Libal, Alexander Steen
A prototype for automated reasoning over legal texts, called NAI, is presented. As an input, NAI accepts formalized logical representations of such legal texts that can be created…