Tomer Libal
Tomer Libal
American University of Paris
Verified email at aup.edu - Homepage
Title
Cited by
Cited by
Year
The proof certifier checkers
Z Chihani, T Libal, G Reis
International Conference on Automated Reasoning with Analytic Tableaux and …, 2015
222015
PROOFTOOL: a GUI for the GAPT Framework
C Dunchev, A Leitsch, T Libal, M Riener, M Rukhaia, D Weller, ...
arXiv preprint arXiv:1307.1942, 2013
202013
Understanding resolution proofs through Herbrand’s theorem
S Hetzl, T Libal, M Riener, M Rukhaia
International Conference on Automated Reasoning with Analytic Tableaux and …, 2013
192013
Functions-as-constructors higher-order unification
T Libal, D Miller
1st International Conference on Formal Structures for Computation and …, 2016
162016
Coalescing: Syntactic abstraction for reasoning in first-order modal logics
D Doligez, J Kriener, L Lamport, T Libal, S Merz
arXiv preprint arXiv:1409.3819, 2014
152014
Advanced proof viewing in ProofTool
T Libal, M Riener, M Rukhaia
arXiv preprint arXiv:1410.8218, 2014
132014
Automated reasoning in normative detachment structures with ideal conditions
T Libal, M Pascucci
Proceedings of the Seventeenth International Conference on Artificial …, 2019
102019
NAI: the normative reasoner
T Libal, A Steen
Proceedings of the Seventeenth International Conference on Artificial …, 2019
92019
Towards a substitution tree based index for higher-order resolution theorem provers
T Libal, A Steen
Practical Aspects of Automated Reasoning, 82-94, 2016
82016
System description: The proof transformation system ceres
T Dunchev, A Leitsch, T Libal, D Weller, BW Paleo
International Joint Conference on Automated Reasoning, 427-433, 2010
82010
Regular patterns in second-order unification
T Libal
International Conference on Automated Deduction, 557-571, 2015
62015
System Feature Description: Importing Refutations into the GAPT Framework
C Dunchev, A Leitsch, T Libal, M Riener, M Rukhaia, D Weller, ...
Proof Exchange for Theorem Proving Second International Workshop, PxTP, 2012
62012
Certification of prefixed tableau proofs for modal logic
T Libal, M Volpe
arXiv preprint arXiv:1609.04100, 2016
52016
Proving determinacy of the PharOS real-time operating system
S Azaiez, D Doligez, M Lemerre, T Libal, S Merz
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2016
52016
Towards an Executable Methodology for the Formalization of Legal Texts.
T Libal, A Steen
CLAR, 151-165, 2020
42020
The NAI Suite-Drafting and Reasoning over Legal Texts.
T Libal, A Steen
JURIX, 243-246, 2019
42019
NAI: towards transparent and usable semi-automated legal analysis
T Libal, A Steen
Jusletter IT: IRIS, 265-272, 2020
32020
Towards Automated GDPR Compliance Checking.
T Libal
TAILOR, 3-19, 2020
32020
The Dawn of the Human-Machine Era: A forecast of new and emerging language technologies.
D Sayers, R Sousa-Silva, S Höhn, L Ahmedi, K Allkivi-Metsoja, ...
22021
A Meta-level Annotation Language for Legal Texts.
T Libal
CLAR 12061, 131-150, 2020
22020
The system can't perform the operation now. Try again later.
Articles 1–20