Sophie Tourret

Available identifiers

Publication	Date of Publication	Type
Verified Given Clause Procedures	2024-04-26	Paper
Unifying splitting	2023-06-27	Paper
Superposition for higher-order logic	2023-06-14	Paper
A posthumous contribution by Larry Wos: excerpts from an unpublished column	2022-12-12	Paper
A comprehensive framework for saturation theorem proving	2022-12-12	Paper
Making higher-order superposition work	2022-12-12	Paper
Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL	2022-12-07	Paper
A comprehensive framework for saturation theorem proving	2022-11-09	Paper
A unifying splitting framework	2021-12-01	Paper
Generalized completeness for SOS resolution and its application to a new notion of relevance	2021-12-01	Paper
Superposition with first-class booleans and inprocessing clausification	2021-12-01	Paper
Superposition for full higher-order logic	2021-12-01	Paper
Making higher-order superposition work	2021-12-01	Paper
Superposition with lambdas	2021-11-24	Paper
Derivation reduction of metarules in meta-interpretive learning	2021-02-08	Paper
Inductive learning from state transitions over continuous domains	2021-02-08	Paper
Logical reduction of metarules	2020-10-06	Paper
Superposition with lambdas	2020-03-10	Paper
SLD-resolution reduction of second-order Horn fragments	2020-02-18	Paper
Prime implicate generation in equational logic	2018-01-12	Paper
Quantifier-free equational logic and prime implicate generation	2015-12-02	Paper
A rewriting strategy to generate prime implicates in equational logic	2014-09-26	Paper

This page was built for person: Sophie Tourret