2 citations · 2 across the 2 of their papers we have counts for
4 papers
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…
A general proof certification framework for modal logic
Tomer Libal, Marco Volpe
One of the main issues in proof certification is that different theorem provers, even when designed for the same logic, tend to use different proof formalisms and produce outputs i…
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…
Determinism in the Certification of UNSAT Proofs
Tomer Libal, Xaviera Steele
The search for increased trustworthiness of SAT solvers is very active and uses various methods. Some of these methods obtain a proof from the provers then check it, normally by re…