Seguir
Tomer Libal
Tomer Libal
Email confirmado em uni.lu - Página inicial
Título
Citado por
Citado por
Ano
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, ...
302021
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
222013
Functions-as-constructors higher-order unification
T Libal, D Miller
1st International Conference on Formal Structures for Computation and …, 2016
212016
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
202013
NAI: the normative reasoner
T Libal, A Steen
Proceedings of the Seventeenth International Conference on Artificial …, 2019
152019
Automated reasoning in normative detachment structures with ideal conditions
T Libal, M Pascucci
Proceedings of the seventeenth international conference on artificial …, 2019
152019
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
A meta-level annotation language for legal texts
T Libal
Logic and Argumentation: Third International Conference, CLAR 2020, Hangzhou …, 2020
122020
Towards an executable methodology for the formalization of legal texts
T Libal, A Steen
Logic and Argumentation: Third International Conference, CLAR 2020, Hangzhou …, 2020
102020
Towards a substitution tree based index for higher-order resolution theorem provers
T Libal, A Steen
5th Workshop on Practical Aspects of Automated Reasoning, 2016
102016
System description: The proof transformation system ceres
T Dunchev, A Leitsch, T Libal, D Weller, B Woltzenlogel Paleo
Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010
92010
Towards automated GDPR compliance checking
T Libal
Trustworthy AI-Integrating Learning, Optimization and Reasoning: First …, 2021
82021
The NAI Suite-Drafting and Reasoning over Legal Texts.
T Libal, A Steen
JURIX, 243-246, 2019
82019
Regular patterns in second-order unification
T Libal
International Conference on Automated Deduction, 557-571, 2015
82015
Proving determinacy of the PharOS real-time operating system
S Azaiez, D Doligez, M Lemerre, T Libal, S Merz
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International …, 2016
62016
System Feature Description: Importing Refutations into the GAPT Framework.
C Dunchev, A Leitsch, T Libal, M Riener, M Rukhaia, D Weller, BW Paleo
PxTP, 51-57, 2012
62012
An evaluation of methodologies for legal formalization
T Novotna, T Libal
International Workshop on Explainable, Transparent Autonomous Agents and …, 2022
52022
Towards transparent legal formalization
T Libal, T Novotná
Explainable and Transparent AI and Multi-Agent Systems: Third International …, 2021
52021
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20