Sophie Tourret
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
26
Venues
9
Active years
2013–2026
Best venue rank
A*
Where they publish
Papers
26 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | IJCAR | Towards Term-Based Verification of Diagrammatic Equivalence. | Julie Cailler, No Delorme, Simon Perdrix, Sophie Tourret |
| 2025 | ITP | Formalizing Splitting in Isabelle/HOL. | Ghilain Bergeron, Florent Krasnopol, Sophie Tourret |
| 2024 | ITP | A Modular Formalization of Superposition in Isabelle/HOL. | Martin Desharnais, Balzs Tth, Uwe Waldmann, Jasmin Blanchette, Sophie Tourret |
| 2023 | CADE | Verified Given Clause Procedures. | Jasmin Blanchette, Qi Qiu, Sophie Tourret |
| 2022 | CADE | Connection-Minimal Abduction in | Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach |
| 2021 | CADE | Superposition for Full Higher-order Logic. | Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic |
| 2021 | CADE | A Unifying Splitting Framework. | Gabriel Ebner, Jasmin Blanchette, Sophie Tourret |
| 2021 | CADE | Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance. | Fajar Haifani, Sophie Tourret, Christoph Weidenbach |
| 2021 | CADE | Superposition with First-class Booleans and Inprocessing Clausification. | Visa Nummelin, Alexander Bentkamp, Sophie Tourret, Petar Vukmirovic |
| 2021 | CADE | Making Higher-Order Superposition Work. | Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret |
| 2021 | CPP | A modular Isabelle framework for verifying saturation provers. | Sophie Tourret, Jasmin Blanchette |
| 2021 | KR | Abduction in EL via Translation to FOL. | Fajar Haifani, Patrick Koopmann, Sophie Tourret |
| 2020 | CADE | A Comprehensive Framework for Saturation Theorem Proving. | Uwe Waldmann, Sophie Tourret, Simon Robillard, Jasmin Blanchette |
| 2020 | KR | Signature-Based Abduction for Expressive Description Logics. | Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt |
| 2019 | CADE | Superposition with Lambdas. | Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann |
| 2019 | JELIA | SLD-Resolution Reduction of Second-Order Horn Fragments. | Sophie Tourret, Andrew Cropper |
| 2018 | IJCAI | Prime Implicate Generation in Equational Logic (extended abstract). | Mnacho Echenim, Nicolas Peltier, Sophie Tourret |
| 2018 | ILP | Derivation Reduction of Metarules in Meta-interpretive Learning. | Andrew Cropper, Sophie Tourret |
| 2017 | ILP | Learning Logic Program Representation for Delayed Systems With Limited Training Data. | Yin Jun Phua, Tony Ribeiro, Sophie Tourret, Katsumi Inoue |
| 2017 | ILP | Inductive Learning from State Transitions over Continuous Domains. | Tony Ribeiro, Sophie Tourret, Maxime Folschette, Morgan Magnin, Domenico Borzacchiello, Francisco Chinesta, Olivier F. Roux, Katsumi Inoue |
| 2017 | ISNN | Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks. | Sophie Tourret, Enguerrand Gentet, Katsumi Inoue |
| 2016 | ILP | Learning from Interpretation Transition using Feed-Forward Neural Networks. | Enguerrand Gentet, Sophie Tourret, Katsumi Inoue |
| 2015 | CADE | Quantifier-Free Equational Logic and Prime Implicate Generation. | Mnacho Echenim, Nicolas Peltier, Sophie Tourret |
| 2014 | CADE | A Rewriting Strategy to Generate Prime Implicates in Equational Logic. | Mnacho Echenim, Nicolas Peltier, Sophie Tourret |
| 2014 | CADE | A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses. | Sophie Tourret, Mnacho Echenim, Nicolas Peltier |
| 2013 | IJCAI | An Approach to Abductive Reasoning in Equational Logic. | Mnacho Echenim, Nicolas Peltier, Sophie Tourret |