| Superposition with lambdas A Bentkamp, J Blanchette, S Tourret, P Vukmirović, U Waldmann Journal of Automated Reasoning 65 (7), 893-940, 2021 | 56 | 2021 |
| A comprehensive framework for saturation theorem proving U Waldmann, S Tourret, S Robillard, J Blanchette Journal of Automated Reasoning 66 (4), 499-539, 2022 | 48 | 2022 |
| Signature-based abduction for expressive description logics P Koopmann, W Del-Pinto, S Tourret, RA Schmidt Proceedings of the International Conference on Principles of Knowledge …, 2020 | 43 | 2020 |
| Logical reduction of metarules A Cropper, S Tourret Machine Learning 109, 1323-1369, 2020 | 38 | 2020 |
| Making Higher-Order Superposition Work. P Vukmirovic, A Bentkamp, J Blanchette, S Cruanes, V Nummelin, ... CADE, 415-432, 2021 | 37 | 2021 |
| Superposition for Full Higher-order Logic. A Bentkamp, J Blanchette, S Tourret, P Vukmirovic CADE, 396-412, 2021 | 29 | 2021 |
| Derivation reduction of metarules in meta-interpretive learning A Cropper, S Tourret Inductive Logic Programming: 28th International Conference, ILP 2018 …, 2018 | 21 | 2018 |
| An approach to abductive reasoning in equational logic M Echenim, N Peltier, S Tourret IJCAI 2013-International Joint Conference on Artificial Intelligence, 531-537, 2013 | 21 | 2013 |
| Superposition for higher-order logic A Bentkamp, J Blanchette, S Tourret, P Vukmirović Journal of Automated Reasoning 67 (1), 10, 2023 | 20 | 2023 |
| Connection-Minimal Abduction in via Translation to FOL F Haifani, P Koopmann, S Tourret, C Weidenbach International Joint Conference on Automated Reasoning, 188-207, 2022 | 18 | 2022 |
| Inductive learning from state transitions over continuous domains T Ribeiro, S Tourret, M Folschette, M Magnin, D Borzacchiello, F Chinesta, ... Inductive Logic Programming: 27th International Conference, ILP 2017 …, 2018 | 18 | 2018 |
| Superposition with First-class Booleans and Inprocessing Clausification. V Nummelin, A Bentkamp, S Tourret, P Vukmirovic CADE, 378-395, 2021 | 15 | 2021 |
| Learning from Interpretation Transition using Feed-Forward Neural Networks. E Gentet, S Tourret, K Inoue ILP (Short Papers), 27-33, 2016 | 15 | 2016 |
| Mechanical mathematicians A Bentkamp, J Blanchette, V Nummelin, S Tourret, P Vukmirović, ... Communications of the ACM 66 (4), 80-90, 2023 | 11 | 2023 |
| A modular Isabelle framework for verifying saturation provers S Tourret, J Blanchette Proceedings of the 10th ACM SIGPLAN International Conference on Certified …, 2021 | 11 | 2021 |
| Quantifier-free equational logic and prime implicate generation M Echenim, N Peltier, S Tourret International Conference on Automated Deduction, 311-325, 2015 | 9 | 2015 |
| Prime implicate generation in equational logic M Echenim, N Peltier, S Tourret Journal of Artificial Intelligence Research 60, 827-880, 2017 | 8 | 2017 |
| A rewriting strategy to generate prime implicates in equational logic M Echenim, N Peltier, S Tourret International Joint Conference on Automated Reasoning, 137-151, 2014 | 8 | 2014 |
| A Unifying Splitting Framework. G Ebner, J Blanchette, S Tourret CADE, 344-360, 2021 | 6 | 2021 |
| Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance. F Haifani, S Tourret, C Weidenbach CADE, 327-343, 2021 | 6 | 2021 |
Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerified email at ifi.lmu.de
