Sophie Tourret

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 41

Top Venues

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Sophie Tourret
Invited Talk: The Hows and Whys of Higher-Order SMT. SMT@CAV (2024)
Jasmin Christian Blanchette, Qi Qiu, Sophie Tourret
Given Clause Loops. Arch. Formal Proofs 2023 (2023)
Alexander Bentkamp, Jasmin Blanchette, Visa Nummelin, Sophie Tourret, Uwe Waldmann
Complete and Efficient Higher-Order Reasoning via Lambda-Superposition. ACM SIGLOG News 10 (4) (2023)
Jasmin Blanchette, Qi Qiu, Sophie Tourret
Verified Given Clause Procedures. CADE (2023)
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic
Superposition for Higher-Order Logic. J. Autom. Reason. 67 (1) (2023)
Alexander Bentkamp, Jasmin Blanchette, Visa Nummelin, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann
Mechanical Mathematicians. Commun. ACM 66 (4) (2023)
Gabriel Ebner, Jasmin Blanchette, Sophie Tourret
Unifying Splitting. J. Autom. Reason. 67 (2) (2023)
Uwe Waldmann, Sophie Tourret, Simon Robillard, Jasmin Blanchette
A Comprehensive Framework for Saturation Theorem Proving. J. Autom. Reason. 66 (4) (2022)
Sophie Tourret, Christoph Weidenbach
A Posthumous Contribution by Larry Wos: Excerpts from an Unpublished Column. J. Autom. Reason. 66 (4) (2022)
Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
via Translation to FOL. IJCAR (2022)
Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
Connection-minimal Abduction in EL via Translation to FOL - Technical Report. CoRR (2022)
Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract). Description Logics (2022)
Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret
Making Higher-Order Superposition Work. J. Autom. Reason. 66 (4) (2022)
Visa Nummelin, Alexander Bentkamp, Sophie Tourret, Petar Vukmirovic
Superposition with First-class Booleans and Inprocessing Clausification. CADE (2021)
Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret
Making Higher-Order Superposition Work. CADE (2021)
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann
Superposition with Lambdas. CoRR (2021)
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann
Superposition with Lambdas. J. Autom. Reason. 65 (7) (2021)
Fajar Haifani, Sophie Tourret, Christoph Weidenbach
Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance. CADE (2021)
Fajar Haifani, Patrick Koopmann, Sophie Tourret
Abduction in EL via Translation to FOL. SOQE@KR (2021)
Gabriel Ebner, Jasmin Blanchette, Sophie Tourret
A Unifying Splitting Framework. CADE (2021)
Sophie Tourret, Jasmin Blanchette
A modular Isabelle framework for verifying saturation provers. CPP (2021)
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic
Superposition for Full Higher-order Logic. CADE (2021)
Sophie Tourret, Pascal Fontaine, Daniel El Ouraoui, Haniel Barbosa
Lifting Congruence Closure with Free Variables to λ-free Higher-order Logic via SAT Encoding. SMT (2020)
Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
On a Notion of Relevance. Description Logics (2020)
Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt
Signature-Based Abduction for Expressive Description Logics - Technical Report. CoRR (2020)
Sophie Tourret
A Comprehensive Framework for Saturation Theorem Proving. Arch. Formal Proofs 2020 (2020)
Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt
Signature-Based Abduction for Expressive Description Logics. KR (2020)
Andrew Cropper, Sophie Tourret
Logical reduction of metarules. Mach. Learn. 109 (7) (2020)
Uwe Waldmann, Sophie Tourret, Simon Robillard, Jasmin Blanchette
A Comprehensive Framework for Saturation Theorem Proving. IJCAR (1) (2020)
Jasmin Blanchette, Sophie Tourret
Extensions to the Comprehensive Framework for Saturation Theorem Proving. Arch. Formal Proofs 2020 (2020)
Sophie Tourret, Andrew Cropper
SLD-Resolution Reduction of Second-Order Horn Fragments - technical report -. CoRR (2019)
Sophie Tourret, Andrew Cropper
SLD-Resolution Reduction of Second-Order Horn Fragments. JELIA (2019)
Andrew Cropper, Sophie Tourret
Logical reduction of metarules. CoRR (2019)
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann
Superposition with Lambdas. CADE (2019)
Andrew Cropper, Sophie Tourret
Derivation Reduction of Metarules in Meta-interpretive Learning. ILP (2018)
Mnacho Echenim, Nicolas Peltier, Sophie Tourret
Prime Implicate Generation in Equational Logic (extended abstract). IJCAI (2018)
Yin Jun Phua, Tony Ribeiro, Sophie Tourret, Katsumi Inoue
Learning Logic Program Representation for Delayed Systems With Limited Training Data. ILP (Late Breaking Papers) (2017)
Mnacho Echenim, Nicolas Peltier, Sophie Tourret
Prime Implicate Generation in Equational Logic. J. Artif. Intell. Res. 60 (2017)
Tony Ribeiro, Sophie Tourret, Maxime Folschette, Morgan Magnin, Domenico Borzacchiello, Francisco Chinesta, Olivier F. Roux, Katsumi Inoue
Inductive Learning from State Transitions over Continuous Domains. ILP (2017)
Sophie Tourret, Enguerrand Gentet, Katsumi Inoue
Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks. ISNN (1) (2017)
Enguerrand Gentet, Sophie Tourret, Katsumi Inoue
Learning from Interpretation Transition using Feed-Forward Neural Networks. ILP (Short Papers) (2016)
Mnacho Echenim, Nicolas Peltier, Sophie Tourret
Quantifier-Free Equational Logic and Prime Implicate Generation. CADE (2015)
Mnacho Echenim, Nicolas Peltier, Sophie Tourret
A Rewriting Strategy to Generate Prime Implicates in Equational Logic. IJCAR (2014)
Sophie Tourret, Mnacho Echenim, Nicolas Peltier
A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses. PAAR@IJCAR (2014)
Mnacho Echenim, Nicolas Peltier, Sophie Tourret
An Approach to Abductive Reasoning in Equational Logic. IJCAI (2013)

Sophie Tourret.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sophie Tourret