Seguir
Sophie Tourret
Sophie Tourret
Inria
Dirección de correo verificada de loria.fr
Título
Citado por
Citado por
Año
Superposition with lambdas
A Bentkamp, J Blanchette, S Tourret, P Vukmirović, U Waldmann
Journal of Automated Reasoning 65 (7), 893-940, 2021
562021
A comprehensive framework for saturation theorem proving
U Waldmann, S Tourret, S Robillard, J Blanchette
Journal of Automated Reasoning 66 (4), 499-539, 2022
462022
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
412020
Logical reduction of metarules
A Cropper, S Tourret
Machine Learning 109, 1323-1369, 2020
382020
Making Higher-Order Superposition Work.
P Vukmirovic, A Bentkamp, J Blanchette, S Cruanes, V Nummelin, ...
CADE, 415-432, 2021
372021
Superposition for Full Higher-order Logic.
A Bentkamp, J Blanchette, S Tourret, P Vukmirovic
CADE, 396-412, 2021
292021
Derivation reduction of metarules in meta-interpretive learning
A Cropper, S Tourret
Inductive Logic Programming: 28th International Conference, ILP 2018 …, 2018
212018
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
212013
Superposition for higher-order logic
A Bentkamp, J Blanchette, S Tourret, P Vukmirović
Journal of Automated Reasoning 67 (1), 10, 2023
202023
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
172018
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
152022
Superposition with First-class Booleans and Inprocessing Clausification.
V Nummelin, A Bentkamp, S Tourret, P Vukmirovic
CADE, 378-395, 2021
152021
Learning from Interpretation Transition using Feed-Forward Neural Networks.
E Gentet, S Tourret, K Inoue
ILP (Short Papers), 27-33, 2016
152016
Mechanical mathematicians
A Bentkamp, J Blanchette, V Nummelin, S Tourret, P Vukmirović, ...
Communications of the ACM 66 (4), 80-90, 2023
102023
A modular Isabelle framework for verifying saturation provers
S Tourret, J Blanchette
Proceedings of the 10th ACM SIGPLAN International Conference on Certified …, 2021
102021
Quantifier-free equational logic and prime implicate generation
M Echenim, N Peltier, S Tourret
International Conference on Automated Deduction, 311-325, 2015
92015
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
82014
Prime implicate generation in equational logic
M Echenim, N Peltier, S Tourret
Journal of Artificial Intelligence Research 60, 827-880, 2017
72017
A Unifying Splitting Framework.
G Ebner, J Blanchette, S Tourret
CADE, 344-360, 2021
62021
Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance.
F Haifani, S Tourret, C Weidenbach
CADE, 327-343, 2021
62021
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20