The proof certifier checkers Z Chihani, T Libal, G Reis International Conference on Automated Reasoning with Analytic Tableaux and …, 2015 | 22 | 2015 |
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 | 20 | 2013 |
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 | 19 | 2013 |
Functions-as-constructors higher-order unification T Libal, D Miller 1st International Conference on Formal Structures for Computation and …, 2016 | 18 | 2016 |
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 | 15 | 2014 |
Advanced proof viewing in ProofTool T Libal, M Riener, M Rukhaia arXiv preprint arXiv:1410.8218, 2014 | 13 | 2014 |
NAI: the normative reasoner T Libal, A Steen Proceedings of the Seventeenth International Conference on Artificial …, 2019 | 12 | 2019 |
Automated reasoning in normative detachment structures with ideal conditions T Libal, M Pascucci Proceedings of the Seventeenth International Conference on Artificial …, 2019 | 11 | 2019 |
Towards a substitution tree based index for higher-order resolution theorem provers T Libal, A Steen Practical Aspects of Automated Reasoning, 82-94, 2016 | 9 | 2016 |
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, ... | 8 | 2021 |
System description: The proof transformation system ceres T Dunchev, A Leitsch, T Libal, D Weller, B Woltzenlogel Paleo International Joint Conference on Automated Reasoning, 427-433, 2010 | 8 | 2010 |
Regular patterns in second-order unification T Libal International Conference on Automated Deduction, 557-571, 2015 | 7 | 2015 |
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 | 6 | 2016 |
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 | 6 | 2012 |
Towards an executable methodology for the formalization of legal texts T Libal, A Steen International Conference on Logic and Argumentation, 151-165, 2020 | 5 | 2020 |
The NAI Suite-Drafting and Reasoning over Legal Texts. T Libal, A Steen JURIX, 243-246, 2019 | 5 | 2019 |
Certification of prefixed tableau proofs for modal logic T Libal, M Volpe arXiv preprint arXiv:1609.04100, 2016 | 5 | 2016 |
Towards automated GDPR compliance checking T Libal International Workshop on the Foundations of Trustworthy AI Integrating …, 2020 | 3 | 2020 |
A meta-level annotation language for legal texts T Libal International Conference on Logic and Argumentation, 131-150, 2020 | 3 | 2020 |
NAI: towards transparent and usable semi-automated legal analysis T Libal, A Steen Jusletter IT: IRIS, 265-272, 2020 | 3 | 2020 |