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
202015
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
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
152013
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
132013
Advanced proof viewing in ProofTool
T Libal, M Riener, M Rukhaia
arXiv preprint arXiv:1410.8218, 2014
102014
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
Towards a substitution tree based index for higher-order resolution theorem provers
T Libal, A Steen
Practical Aspects of Automated Reasoning, 82-94, 2016
72016
Certification of prefixed tableau proofs for modal logic
T Libal, M Volpe
arXiv preprint arXiv:1609.04100, 2016
52016
Regular patterns in second-order unification
T Libal
International Conference on Automated Deduction, 557-571, 2015
52015
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
52012
NAI: the normative reasoner
T Libal, A Steen
Proceedings of the Seventeenth International Conference on Artificial …, 2019
42019
Automated reasoning in normative detachment structures with ideal conditions
T Libal, M Pascucci
Proceedings of the Seventeenth International Conference on Artificial …, 2019
42019
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
42016
Defining the meaning of TPTP formatted proofs
R Blanco, T Libal, D Miller
22015
The NAI Suite-Drafting and Reasoning over Legal Texts.
T Libal, A Steen
JURIX, 243-246, 2019
12019
Solving context related unification problems using regular languages
T Libal
Technical report, Institute of Computer Languages, Vienna University of …, 0
1
A Meta-level Annotation Language for Legal Texts
T Libal
International Conference on Logic and Argumentation, 131-150, 2020
2020
Towards an Executable Methodology for the Formalization of Legal Texts
T Libal, A Steen
International Conference on Logic and Argumentation, 151-165, 2020
2020
NAI: Towards Transparent and Usable Semi-Automated Legal Analysis
T Libal, A Steen
Verantwortungsbewusste Digitalisierung, Tagungsband des 23. Internationalen …, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20