An Approach to Abductive Reasoning in Equational Logic. - Mnacho Echenim; Nicolas Peltier; Sophie Tourret (IJCAI, 2013)

A Rewriting Strategy to Generate Prime Implicates in Equational Logic. - Mnacho Echenim; Nicolas Peltier; Sophie Tourret (IJCAR, 2014)

A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses. - Sophie Tourret; Mnacho Echenim; Nicolas Peltier (PAAR@IJCAR, 2014)

Quantifier-Free Equational Logic and Prime Implicate Generation. - Mnacho Echenim; Nicolas Peltier; Sophie Tourret (CADE, 2015)

Learning from Interpretation Transition using Feed-Forward Neural Networks. - Enguerrand Gentet; Sophie Tourret; Katsumi Inoue (ILP (Short Papers), 2016)

Abduction in first order logic with equality. (Prime implicate generation in equational logic). - Sophie Tourret (2016)

Learning Logic Program Representation for Delayed Systems With Limited Training Data. - Yin Jun Phua; Tony Ribeiro; Sophie Tourret; Katsumi Inoue (ILP (Late Breaking Papers), 2017)

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 (ILP, 2017)

Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks. - Sophie Tourret; Enguerrand Gentet; Katsumi Inoue (ISNN (1), 2017)

Prime Implicate Generation in Equational Logic. - Mnacho Echenim; Nicolas Peltier; Sophie Tourret (J. Artif. Intell. Res., 2017)

Prime Implicate Generation in Equational Logic (extended abstract). - Mnacho Echenim; Nicolas Peltier; Sophie Tourret (IJCAI, 2018)

Derivation Reduction of Metarules in Meta-interpretive Learning. - Andrew Cropper; Sophie Tourret (ILP, 2018)

SLD-Resolution Reduction of Second-Order Horn Fragments. - Sophie Tourret; Andrew Cropper (JELIA, 2019)

SLD-Resolution Reduction of Second-Order Horn Fragments - technical report -. - Sophie Tourret; Andrew Cropper (CoRR, 2019)

On a Notion of Relevance. - Fajar Haifani; Patrick Koopmann; Sophie Tourret; Christoph Weidenbach (Description Logics, 2020)

Signature-Based Abduction for Expressive Description Logics. - Patrick Koopmann; Warren Del-Pinto; Sophie Tourret; Renate A. Schmidt (KR, 2020)

Lifting Congruence Closure with Free Variables to λ-free Higher-order Logic via SAT Encoding. - Sophie Tourret; Pascal Fontaine; Daniel El Ouraoui; Haniel Barbosa (SMT, 2020)

Extensions to the Comprehensive Framework for Saturation Theorem Proving. - Jasmin Blanchette; Sophie Tourret (Arch. Formal Proofs, 2020)

A Comprehensive Framework for Saturation Theorem Proving. - Sophie Tourret (Arch. Formal Proofs, 2020)

Signature-Based Abduction for Expressive Description Logics - Technical Report. - Patrick Koopmann; Warren Del-Pinto; Sophie Tourret; Renate A. Schmidt (CoRR, 2020)

Logical reduction of metarules. - Andrew Cropper; Sophie Tourret (Mach. Learn., 2020)

Superposition for Full Higher-order Logic. - Alexander Bentkamp; Jasmin Blanchette; Sophie Tourret; Petar Vukmirovic (CADE, 2021)

A Unifying Splitting Framework. - Gabriel Ebner; Jasmin Blanchette; Sophie Tourret (CADE, 2021)

Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance. - Fajar Haifani; Sophie Tourret; Christoph Weidenbach (CADE, 2021)

Superposition with First-class Booleans and Inprocessing Clausification. - Visa Nummelin; Alexander Bentkamp; Sophie Tourret; Petar Vukmirovic (CADE, 2021)

A modular Isabelle framework for verifying saturation provers. - Sophie Tourret; Jasmin Blanchette (CPP, 2021)

Abduction in EL via Translation to FOL. - Fajar Haifani; Patrick Koopmann; Sophie Tourret (SOQE@KR, 2021)

Superposition with Lambdas. - Alexander Bentkamp; Jasmin Blanchette; Sophie Tourret; Petar Vukmirovic; Uwe Waldmann (J. Autom. Reason., 2021)

Connection-Minimal Abduction in EL via Translation to FOL. - Fajar Haifani; Patrick Koopmann; Sophie Tourret; Christoph Weidenbach (IJCAR, 2022)

Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract). - Fajar Haifani; Patrick Koopmann; Sophie Tourret; Christoph Weidenbach (Description Logics, 2022)

Connection-minimal Abduction in EL via Translation to FOL - Technical Report. - Fajar Haifani; Patrick Koopmann; Sophie Tourret; Christoph Weidenbach (CoRR, 2022)

A Posthumous Contribution by Larry Wos: Excerpts from an Unpublished Column. - Sophie Tourret; Christoph Weidenbach (J. Autom. Reason., 2022)

Making Higher-Order Superposition Work. - Petar Vukmirovic; Alexander Bentkamp; Jasmin Blanchette; Simon Cruanes; Visa Nummelin; Sophie Tourret (J. Autom. Reason., 2022)

A Comprehensive Framework for Saturation Theorem Proving. - Uwe Waldmann; Sophie Tourret; Simon Robillard; Jasmin Blanchette (J. Autom. Reason., 2022)

Verified Given Clause Procedures. - Jasmin Blanchette; Qi Qiu; Sophie Tourret (CADE, 2023)

Given Clause Loops. - Jasmin Christian Blanchette; Qi Qiu; Sophie Tourret (Arch. Formal Proofs, 2023)

Mechanical Mathematicians. - Alexander Bentkamp; Jasmin Blanchette; Visa Nummelin; Sophie Tourret; Petar Vukmirovic; Uwe Waldmann (Commun. ACM, 2023)

Superposition for Higher-Order Logic. - Alexander Bentkamp; Jasmin Blanchette; Sophie Tourret; Petar Vukmirovic (J. Autom. Reason., 2023)

Unifying Splitting. - Gabriel Ebner; Jasmin Blanchette; Sophie Tourret (J. Autom. Reason., 2023)

Complete and Efficient Higher-Order Reasoning via Lambda-Superposition. - Alexander Bentkamp; Jasmin Blanchette; Visa Nummelin; Sophie Tourret; Uwe Waldmann (ACM SIGLOG News, 2023)

A Modular Formalization of Superposition in Isabelle/HOL. - Martin Desharnais; Balázs Tóth; Uwe Waldmann; Jasmin Blanchette; Sophie Tourret (ITP, 2024)

Invited Talk: The Hows and Whys of Higher-Order SMT. - Sophie Tourret (SMT@CAV, 2024)

A Modular Splitting Framework for Saturation Theorem Proving. - Ghilain Bergeron; Florent Krasnopol; Sophie Tourret (Arch. Formal Proofs, 2025)

Compactness Theorem for First-Order Logic. - Sophie Tourret; Lawrence C. Paulson (Arch. Formal Proofs, 2025)