Sophie Tourret

According to our database, Sophie Tourret authored at least 42 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Invited Talk: The Hows and Whys of Higher-Order SMT.

Sophie Tourret

Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024), 2024

A Modular Formalization of Superposition in Isabelle/HOL.

Martin Desharnais, Balázs Tóth, Uwe Waldmann, Jasmin Blanchette, Sophie Tourret

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2023

Complete and Efficient Higher-Order Reasoning via Lambda-Superposition.

Alexander Bentkamp, Jasmin Blanchette, Visa Nummelin, Sophie Tourret, Uwe Waldmann

ACM SIGLOG News, October, 2023

Unifying Splitting.

Gabriel Ebner, Jasmin Blanchette, Sophie Tourret

J. Autom. Reason., June, 2023

Superposition for Higher-Order Logic.

Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic

J. Autom. Reason., March, 2023

Mechanical Mathematicians.

Alexander Bentkamp, Jasmin Blanchette, Visa Nummelin, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann

Commun. ACM, 2023

Given Clause Loops.

Jasmin Christian Blanchette, Qi Qiu, Sophie Tourret

Arch. Formal Proofs, 2023

Verified Given Clause Procedures.

Jasmin Blanchette, Qi Qiu, Sophie Tourret

Proceedings of the Automated Deduction - CADE 29, 2023

2022

A Comprehensive Framework for Saturation Theorem Proving.

Uwe Waldmann, Sophie Tourret, Simon Robillard, Jasmin Blanchette

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 Posthumous Contribution by Larry Wos: Excerpts from an Unpublished Column.

Sophie Tourret, Christoph Weidenbach

J. Autom. Reason., 2022

Connection-minimal Abduction in EL via Translation to FOL - Technical Report.

Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach

CoRR, 2022

Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract).

Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Connection-Minimal Abduction in <i>EL</i> via Translation to FOL.

Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

Superposition with Lambdas.

Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann

J. Autom. Reason., 2021

Abduction in EL via Translation to FOL.

Fajar Haifani, Patrick Koopmann, Sophie Tourret

Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 2021

A modular Isabelle framework for verifying saturation provers.

Sophie Tourret, Jasmin Blanchette

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

Superposition with First-class Booleans and Inprocessing Clausification.

Visa Nummelin, Alexander Bentkamp, Sophie Tourret, Petar Vukmirovic

Proceedings of the Automated Deduction - CADE 28, 2021

Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance.

Fajar Haifani, Sophie Tourret, Christoph Weidenbach

Proceedings of the Automated Deduction - CADE 28, 2021

A Unifying Splitting Framework.

Gabriel Ebner, Jasmin Blanchette, Sophie Tourret

Proceedings of the Automated Deduction - CADE 28, 2021

Superposition for Full Higher-order Logic.

Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Logical reduction of metarules.

Andrew Cropper, Sophie Tourret

Mach. Learn., 2020

Signature-Based Abduction for Expressive Description Logics - Technical Report.

Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt

CoRR, 2020

A Comprehensive Framework for Saturation Theorem Proving.

Sophie Tourret

Arch. Formal Proofs, 2020

Extensions to the Comprehensive Framework for Saturation Theorem Proving.

Jasmin Blanchette, Sophie Tourret

Arch. Formal Proofs, 2020

Lifting Congruence Closure with Free Variables to λ-free Higher-order Logic via SAT Encoding.

Sophie Tourret, Pascal Fontaine, Daniel El Ouraoui, Haniel Barbosa

Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), 2020

Signature-Based Abduction for Expressive Description Logics.

Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

On a Notion of Relevance.

Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

2019

SLD-Resolution Reduction of Second-Order Horn Fragments - technical report -.

Sophie Tourret, Andrew Cropper

CoRR, 2019

SLD-Resolution Reduction of Second-Order Horn Fragments.

Sophie Tourret, Andrew Cropper

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

2018

Derivation Reduction of Metarules in Meta-interpretive Learning.

Andrew Cropper, Sophie Tourret

Proceedings of the Inductive Logic Programming - 28th International Conference, 2018

Prime Implicate Generation in Equational Logic (extended abstract).

Mnacho Echenim, Nicolas Peltier, Sophie Tourret

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

Prime Implicate Generation in Equational Logic.

Mnacho Echenim, Nicolas Peltier, Sophie Tourret

J. Artif. Intell. Res., 2017

Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks.

Sophie Tourret, Enguerrand Gentet, Katsumi Inoue

Proceedings of the Advances in Neural Networks - ISNN 2017 - 14th International Symposium, 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

Proceedings of the Inductive Logic Programming - 27th International Conference, 2017

Learning Logic Program Representation for Delayed Systems With Limited Training Data.

Yin Jun Phua, Tony Ribeiro, Sophie Tourret, Katsumi Inoue

Proceedings of the Late Breaking Papers of the 27th International Conference on Inductive Logic Programming, 2017

2016

Abduction in first order logic with equality. (Prime implicate generation in equational logic).

Sophie Tourret

PhD thesis, 2016

Learning from Interpretation Transition using Feed-Forward Neural Networks.

Enguerrand Gentet, Sophie Tourret, Katsumi Inoue

Proceedings of the 26th International Conference on Inductive Logic Programming (Short papers), 2016

2015

Quantifier-Free Equational Logic and Prime Implicate Generation.

Mnacho Echenim, Nicolas Peltier, Sophie Tourret

Proceedings of the Automated Deduction - CADE-25, 2015

2014

A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses.

Sophie Tourret, Mnacho Echenim, Nicolas Peltier

Proceedings of the 4th Workshop on Practical Aspects of Automated Reasoning, 2014

A Rewriting Strategy to Generate Prime Implicates in Equational Logic.

Mnacho Echenim, Nicolas Peltier, Sophie Tourret

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

An Approach to Abductive Reasoning in Equational Logic.

Mnacho Echenim, Nicolas Peltier, Sophie Tourret

Proceedings of the IJCAI 2013, 2013