default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSophie Tourret
Person information
- affiliation: Inria, France
- affiliation: Max Planck Institute for Informatics, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c28]Martin Desharnais, Balázs Tóth, Uwe Waldmann, Jasmin Blanchette, Sophie Tourret:
A Modular Formalization of Superposition in Isabelle/HOL. ITP 2024: 12:1-12:20- [c27]Sophie Tourret:
Invited Talk: The Hows and Whys of Higher-Order SMT. SMT@CAV 2024: 1 - 2023
- [j13]Jasmin Christian Blanchette, Qi Qiu, Sophie Tourret:
Given Clause Loops. Arch. Formal Proofs 2023 (2023) - [j12]Alexander Bentkamp, Jasmin Blanchette
, Visa Nummelin, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann:
Mechanical Mathematicians. Commun. ACM 66(4): 80-90 (2023) - [j11]Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic:
Superposition for Higher-Order Logic. J. Autom. Reason. 67(1): 10 (2023) - [j10]Gabriel Ebner, Jasmin Blanchette, Sophie Tourret:
Unifying Splitting. J. Autom. Reason. 67(2): 16 (2023) - [j9]Alexander Bentkamp, Jasmin Blanchette, Visa Nummelin, Sophie Tourret, Uwe Waldmann:
Complete and Efficient Higher-Order Reasoning via Lambda-Superposition. ACM SIGLOG News 10(4): 25-40 (2023) - [c26]Jasmin Blanchette, Qi Qiu, Sophie Tourret:
Verified Given Clause Procedures. CADE 2023: 61-77 - 2022
- [j8]Uwe Waldmann, Sophie Tourret, Simon Robillard, Jasmin Blanchette:
A Comprehensive Framework for Saturation Theorem Proving. J. Autom. Reason. 66(4): 499-539 (2022) - [j7]Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret:
Making Higher-Order Superposition Work. J. Autom. Reason. 66(4): 541-564 (2022) - [j6]Sophie Tourret, Christoph Weidenbach:
A Posthumous Contribution by Larry Wos: Excerpts from an Unpublished Column. J. Autom. Reason. 66(4): 575-584 (2022) - [c25]Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach:
Connection-Minimal Abduction in EL via Translation to FOL. IJCAR 2022: 188-207 - [c24]Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach:
Connection-Minimal Abduction in EL via Translation to FOL (Extended Abstract). Description Logics 2022 - [i5]Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach:
Connection-minimal Abduction in EL via Translation to FOL - Technical Report. CoRR abs/2205.08449 (2022) - 2021
- [j5]Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann:
Superposition with Lambdas. J. Autom. Reason. 65(7): 893-940 (2021) - [c23]Fajar Haifani, Sophie Tourret, Christoph Weidenbach:
Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance. CADE 2021: 327-343 - [c22]Gabriel Ebner, Jasmin Blanchette, Sophie Tourret:
A Unifying Splitting Framework. CADE 2021: 344-360 - [c21]Visa Nummelin, Alexander Bentkamp, Sophie Tourret, Petar Vukmirovic:
Superposition with First-class Booleans and Inprocessing Clausification. CADE 2021: 378-395 - [c20]Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic:
Superposition for Full Higher-order Logic. CADE 2021: 396-412 - [c19]Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret:
Making Higher-Order Superposition Work. CADE 2021: 415-432 - [c18]Sophie Tourret, Jasmin Blanchette:
A modular Isabelle framework for verifying saturation provers. CPP 2021: 224-237 - [c17]Fajar Haifani, Patrick Koopmann, Sophie Tourret:
Abduction in EL via Translation to FOL. SOQE@KR 2021: 46-58 - [i4]Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann:
Superposition with Lambdas. CoRR abs/2102.00453 (2021) - 2020
- [j4]Jasmin Blanchette, Sophie Tourret:
Extensions to the Comprehensive Framework for Saturation Theorem Proving. Arch. Formal Proofs 2020 (2020) - [j3]Sophie Tourret:
A Comprehensive Framework for Saturation Theorem Proving. Arch. Formal Proofs 2020 (2020) - [j2]Andrew Cropper, Sophie Tourret:
Logical reduction of metarules. Mach. Learn. 109(7): 1323-1369 (2020) - [c16]Uwe Waldmann, Sophie Tourret, Simon Robillard, Jasmin Blanchette:
A Comprehensive Framework for Saturation Theorem Proving. IJCAR (1) 2020: 316-334 - [c15]Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach:
On a Notion of Relevance. Description Logics 2020 - [c14]Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt:
Signature-Based Abduction for Expressive Description Logics. KR 2020: 592-602 - [c13]Sophie Tourret, Pascal Fontaine, Daniel El Ouraoui, Haniel Barbosa:
Lifting Congruence Closure with Free Variables to λ-free Higher-order Logic via SAT Encoding. SMT 2020: 3-14 - [e1]Pascal Fontaine, Konstantin Korovin, Ilias S. Kotsireas, Philipp Rümmer, Sophie Tourret:
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). CEUR Workshop Proceedings 2752, CEUR-WS.org 2020 [contents] - [i3]Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt:
Signature-Based Abduction for Expressive Description Logics - Technical Report. CoRR abs/2007.00757 (2020)
2010 – 2019
- 2019
- [c12]Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann:
Superposition with Lambdas. CADE 2019: 55-73 - [c11]Sophie Tourret, Andrew Cropper:
SLD-Resolution Reduction of Second-Order Horn Fragments. JELIA 2019: 259-276 - [i2]Sophie Tourret, Andrew Cropper:
SLD-Resolution Reduction of Second-Order Horn Fragments - technical report -. CoRR abs/1902.09900 (2019) - [i1]Andrew Cropper, Sophie Tourret:
Logical reduction of metarules. CoRR abs/1907.10952 (2019) - 2018
- [c10]Mnacho Echenim, Nicolas Peltier, Sophie Tourret:
Prime Implicate Generation in Equational Logic (extended abstract). IJCAI 2018: 5588-5592 - [c9]Andrew Cropper, Sophie Tourret:
Derivation Reduction of Metarules in Meta-interpretive Learning. ILP 2018: 1-21 - 2017
- [j1]Mnacho Echenim, Nicolas Peltier, Sophie Tourret:
Prime Implicate Generation in Equational Logic. J. Artif. Intell. Res. 60: 827-880 (2017) - [c8]Yin Jun Phua, Tony Ribeiro, Sophie Tourret, Katsumi Inoue:
Learning Logic Program Representation for Delayed Systems With Limited Training Data. ILP (Late Breaking Papers) 2017: 27-37 - [c7]Tony Ribeiro, Sophie Tourret, Maxime Folschette, Morgan Magnin, Domenico Borzacchiello, Francisco Chinesta, Olivier F. Roux, Katsumi Inoue:
Inductive Learning from State Transitions over Continuous Domains. ILP 2017: 124-139 - [c6]Sophie Tourret, Enguerrand Gentet, Katsumi Inoue:
Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks. ISNN (1) 2017: 483-492 - 2016
- [b1]Sophie Tourret:
Abduction in first order logic with equality. (Prime implicate generation in equational logic). Grenoble Alpes University, France, 2016 - [c5]Enguerrand Gentet, Sophie Tourret, Katsumi Inoue:
Learning from Interpretation Transition using Feed-Forward Neural Networks. ILP (Short Papers) 2016: 27-33 - 2015
- [c4]Mnacho Echenim, Nicolas Peltier, Sophie Tourret:
Quantifier-Free Equational Logic and Prime Implicate Generation. CADE 2015: 311-325 - 2014
- [c3]Sophie Tourret, Mnacho Echenim, Nicolas Peltier:
A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses. PAAR@IJCAR 2014: 94-104 - [c2]Mnacho Echenim, Nicolas Peltier, Sophie Tourret:
A Rewriting Strategy to Generate Prime Implicates in Equational Logic. IJCAR 2014: 137-151 - 2013
- [c1]Mnacho Echenim, Nicolas Peltier, Sophie Tourret:
An Approach to Abductive Reasoning in Equational Logic. IJCAI 2013: 531-537
Coauthor Index
aka: Jasmin Christian Blanchette
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-04 01:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
