13 citations · 19 across the 8 of their papers we have counts for
8 papers
Are manual annotations necessary for statutory interpretations retrieval?
Aleksander Smywiński-Pohl, Tomer Libal, Adam Kaczmarczyk +1
One of the elements of legal research is looking for cases where judges have extended the meaning of a legal concept by providing interpretations of what a concept means or does no…
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…
Certification of Prefixed Tableau Proofs for Modal Logic
Tomer Libal, Marco Volpe
Different theorem provers tend to produce proof objects in different formats and this is especially the case for modal logics, where several deductive formalisms (and provers based…
Advanced Proof Viewing in ProofTool
Tomer Libal, Martin Riener, Mikheil Rukhaia
Sequent calculus is widely used for formalizing proofs. However, due to the proliferation of data, understanding the proofs of even simple mathematical arguments soon becomes impos…
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
Damien Doligez, Jael Kriener, Leslie Lamport +2
We present a syntactic abstraction method to reason about first-order modal logics by using theorem provers for standard first-order logic and for propositional modal logic.