2 citations · 2 across the 2 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2019★ 2 cited
The NAI Suite -- Drafting and Reasoning over Legal Texts
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…
cs.AI2018
Automated Reasoning in Normative Detachment Structures with Ideal Conditions
Tomer Libal, Matteo Pascucci
Systems of deontic logic suffer either from being too expressive and therefore hard to mechanize, or from being too simple to capture relevant aspects of normative reasoning. In th…