Sophie Tourret

52 papers A* 3A 10B 6Journal 21Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Towards Term-based Verification of Diagrammatic Equivalence. CoRR Julie Cailler, Noé Delorme, Simon Perdrix, Sophie Tourret
2025	J	`jnl`	A Modular Splitting Framework for Saturation Theorem Proving. Arch. Formal Proofs Ghilain Bergeron, Florent Krasnopol, Sophie Tourret
2025	J	`jnl`	Compactness Theorem for First-Order Logic. Arch. Formal Proofs Sophie Tourret, Lawrence C. Paulson
2025	B	`conf`	Formalizing Splitting in Isabelle/HOL. ITP Ghilain Bergeron, Florent Krasnopol, Sophie Tourret
2024	B	`conf`	A Modular Formalization of Superposition in Isabelle/HOL. ITP Martin Desharnais, Balázs Tóth, Uwe Waldmann, Jasmin Blanchette, Sophie Tourret
2024	—	`conf`	Invited Talk: The Hows and Whys of Higher-Order SMT. SMT@CAV Sophie Tourret
2023	J	`jnl`	Complete and Efficient Higher-Order Reasoning via Lambda-Superposition. ACM SIGLOG News Alexander Bentkamp, Jasmin Blanchette, Visa Nummelin, Sophie Tourret, Uwe Waldmann
2023	J	`jnl`	Given Clause Loops. Arch. Formal Proofs Jasmin Christian Blanchette, Qi Qiu, Sophie Tourret
2023	J	`jnl`	Mechanical Mathematicians. Commun. ACM Alexander Bentkamp, Jasmin Blanchette, Visa Nummelin, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann
2023	J	`jnl`	Superposition for Higher-Order Logic. J. Autom. Reason. Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic
2023	J	`jnl`	Unifying Splitting. J. Autom. Reason. Gabriel Ebner, Jasmin Blanchette, Sophie Tourret
2023	A	`conf`	Verified Given Clause Procedures. CADE Jasmin Blanchette, Qi Qiu, Sophie Tourret
2022	J	`jnl`	A Comprehensive Framework for Saturation Theorem Proving. J. Autom. Reason. Uwe Waldmann, Sophie Tourret, Simon Robillard, Jasmin Blanchette
2022	J	`jnl`	A Posthumous Contribution by Larry Wos: Excerpts from an Unpublished Column. J. Autom. Reason. Sophie Tourret, Christoph Weidenbach
2022	A	`conf`	Connection-Minimal Abduction in IJCAR Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
2022	—	`conf`	Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract). Description Logics Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
2022	J	`jnl`	Connection-minimal Abduction in EL via Translation to FOL - Technical Report. CoRR Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
2022	J	`jnl`	Making Higher-Order Superposition Work. J. Autom. Reason. Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret
2021	A	`conf`	A Unifying Splitting Framework. CADE Gabriel Ebner, Jasmin Blanchette, Sophie Tourret
2021	B	`conf`	A modular Isabelle framework for verifying saturation provers. CPP Sophie Tourret, Jasmin Blanchette
2021	—	`conf`	Abduction in EL via Translation to FOL. SOQE@KR Fajar Haifani, Patrick Koopmann, Sophie Tourret
2021	A	`conf`	Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance. CADE Fajar Haifani, Sophie Tourret, Christoph Weidenbach
2021	A	`conf`	Making Higher-Order Superposition Work. CADE Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret
2021	A	`conf`	Superposition for Full Higher-order Logic. CADE Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic
2021	A	`conf`	Superposition with First-class Booleans and Inprocessing Clausification. CADE Visa Nummelin, Alexander Bentkamp, Sophie Tourret, Petar Vukmirovic
2021	J	`jnl`	Superposition with Lambdas. CoRR Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann
2021	J	`jnl`	Superposition with Lambdas. J. Autom. Reason. Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann
2020	—	`conf`	A Comprehensive Framework for Saturation Theorem Proving. IJCAR (1) Uwe Waldmann, Sophie Tourret, Simon Robillard, Jasmin Blanchette
2020	J	`jnl`	A Comprehensive Framework for Saturation Theorem Proving. Arch. Formal Proofs Sophie Tourret
2020	J	`jnl`	Extensions to the Comprehensive Framework for Saturation Theorem Proving. Arch. Formal Proofs Jasmin Blanchette, Sophie Tourret
2020	—	`ed.`	Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020 co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, France, June-July, 2020 (Virtual). PAAR+SC²@IJCAR Pascal Fontaine, Konstantin Korovin, Ilias S. Kotsireas, Philipp Rümmer, Sophie Tourret
2020	—	`conf`	Lifting Congruence Closure with Free Variables to λ-free Higher-order Logic via SAT Encoding. SMT Sophie Tourret, Pascal Fontaine, Daniel El Ouraoui, Haniel Barbosa
2020	J	`jnl`	Logical reduction of metarules. Mach. Learn. Andrew Cropper, Sophie Tourret
2020	—	`conf`	On a Notion of Relevance. Description Logics Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach
2020	J	`jnl`	Signature-Based Abduction for Expressive Description Logics - Technical Report. CoRR Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt
2020	A*	`conf`	Signature-Based Abduction for Expressive Description Logics. KR Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt
2019	J	`jnl`	Logical reduction of metarules. CoRR Andrew Cropper, Sophie Tourret
2019	J	`jnl`	SLD-Resolution Reduction of Second-Order Horn Fragments - technical report -. CoRR Sophie Tourret, Andrew Cropper
2019	B	`conf`	SLD-Resolution Reduction of Second-Order Horn Fragments. JELIA Sophie Tourret, Andrew Cropper
2019	A	`conf`	Superposition with Lambdas. CADE Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann
2018	B	`conf`	Derivation Reduction of Metarules in Meta-interpretive Learning. ILP Andrew Cropper, Sophie Tourret
2018	A*	`conf`	Prime Implicate Generation in Equational Logic (extended abstract). IJCAI Mnacho Echenim, Nicolas Peltier, Sophie Tourret
2017	B	`conf`	Inductive Learning from State Transitions over Continuous Domains. ILP Tony Ribeiro, Sophie Tourret, Maxime Folschette, Morgan Magnin, Domenico Borzacchiello, Francisco Chinesta, Olivier F. Roux, Katsumi Inoue
2017	—	`conf`	Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks. ISNN (1) Sophie Tourret, Enguerrand Gentet, Katsumi Inoue
2017	—	`conf`	Learning Logic Program Representation for Delayed Systems With Limited Training Data. ILP (Late Breaking Papers) Yin Jun Phua, Tony Ribeiro, Sophie Tourret, Katsumi Inoue
2017	J	`jnl`	Prime Implicate Generation in Equational Logic. J. Artif. Intell. Res. Mnacho Echenim, Nicolas Peltier, Sophie Tourret
2016	—	`—`	Abduction in first order logic with equality. (Prime implicate generation in equational logic). Sophie Tourret
2016	—	`conf`	Learning from Interpretation Transition using Feed-Forward Neural Networks. ILP (Short Papers) Enguerrand Gentet, Sophie Tourret, Katsumi Inoue
2015	A	`conf`	Quantifier-Free Equational Logic and Prime Implicate Generation. CADE Mnacho Echenim, Nicolas Peltier, Sophie Tourret
2014	—	`conf`	A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses. PAAR@IJCAR Sophie Tourret, Mnacho Echenim, Nicolas Peltier
2014	A	`conf`	A Rewriting Strategy to Generate Prime Implicates in Equational Logic. IJCAR Mnacho Echenim, Nicolas Peltier, Sophie Tourret
2013	A*	`conf`	An Approach to Abductive Reasoning in Equational Logic. IJCAI Mnacho Echenim, Nicolas Peltier, Sophie Tourret