| 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, ... | 45 | 2021 |
| Functions-as-constructors higher-order unification T Libal, D Miller 1st International Conference on Formal Structures for Computation and …, 2016 | 22 | 2016 |
| 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 | 22 | 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 |
| Automated reasoning in normative detachment structures with ideal conditions T Libal, M Pascucci Proceedings of the seventeenth international conference on artificial …, 2019 | 18 | 2019 |
| NAI: the normative reasoner T Libal, A Steen Proceedings of the Seventeenth International Conference on Artificial …, 2019 | 16 | 2019 |
| 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 | 16 | 2014 |
| A meta-level annotation language for legal texts T Libal Logic and Argumentation: Third International Conference, CLAR 2020, Hangzhou …, 2020 | 14 | 2020 |
| Advanced proof viewing in ProofTool T Libal, M Riener, M Rukhaia arXiv preprint arXiv:1410.8218, 2014 | 13 | 2014 |
| 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 | 12 | 2016 |
| Towards automated GDPR compliance checking T Libal International Workshop on the Foundations of Trustworthy AI Integrating …, 2020 | 11 | 2020 |
| Towards an executable methodology for the formalization of legal texts T Libal, A Steen Logic and Argumentation: Third International Conference, CLAR 2020, Hangzhou …, 2020 | 10 | 2020 |
| The NAI suite–drafting and reasoning over legal texts T Libal, A Steen Legal Knowledge and Information Systems, 243-246, 2019 | 9 | 2019 |
| 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 | 9 | 2010 |
| An evaluation of methodologies for legal formalization T Novotna, T Libal International Workshop on Explainable, Transparent Autonomous Agents and …, 2022 | 7 | 2022 |
| 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 | 7 | 2016 |
| Regular patterns in second-order unification T Libal International Conference on Automated Deduction, 557-571, 2015 | 7 | 2015 |
| 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 |
| The legai editor: a tool for the construction of legal knowledge bases T Libal Legal Knowledge and Information Systems, 286-289, 2022 | 5 | 2022 |
Alexander SteenUniversity of Greifswalduni-greifswald.de üzerinde doğrulanmış e-posta adresine sahip
