Picture for Tomer Libal

Tomer Libal

Inria, Paris

The NAI Suite -- Drafting and Reasoning over Legal Texts

Add code
Oct 15, 2019
Figure 1 for The NAI Suite -- Drafting and Reasoning over Legal Texts
Figure 2 for The NAI Suite -- Drafting and Reasoning over Legal Texts
Figure 3 for The NAI Suite -- Drafting and Reasoning over Legal Texts
Figure 4 for The NAI Suite -- Drafting and Reasoning over Legal Texts
Viaarxiv icon

Automated Reasoning in Normative Detachment Structures with Ideal Conditions

Add code
Oct 23, 2018
Figure 1 for Automated Reasoning in Normative Detachment Structures with Ideal Conditions
Figure 2 for Automated Reasoning in Normative Detachment Structures with Ideal Conditions
Figure 3 for Automated Reasoning in Normative Detachment Structures with Ideal Conditions
Viaarxiv icon

Determinism in the Certification of UNSAT Proofs

Add code
Dec 05, 2017
Figure 1 for Determinism in the Certification of UNSAT Proofs
Figure 2 for Determinism in the Certification of UNSAT Proofs
Viaarxiv icon