3 citations · 8 across the 7 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…