Interests

automated reasoning, formal logic, artificial intelligence, machine intelligence

Contact

+49-681-9325-2927

Physical location:

Campus E1 5, Room 606 (6th floor)

surface mail address:

Max-Planck-Institut für Informatik
Saarland Informatics Campus
Building E1 4
66123 Saarbrücken

2018, Automated Reasoning II (with U. Waldmann)
2012-2014, formal languages, databases and networks (teaching assistant at Grenoble INP - Ensimag).

My work revolves currently around two projects:

SPASS, a SAT and SMT solver developped at RG1, for which I work on an extension of the SAT solver to XOR clauses;
Matryoshka, a project that aims at extending state-of-the-art first-order solvers (SMT & Superposition) to higher-order logic. I am involved in the extension of Superposition to HOL and in improving the CCFV-based instantiation scheme of SMT solvers.

I am also working on the derivation reduction of second-order Horn fragments.

Information about my previous research topics can be found on:

that correspond to when I was doing my first post-doc and PhD respectively.

journal paper

Prime Implicate Generation in Equational Logic, Mnacho Echenim, Nicolas Peltier, Sophie Tourret, JAIR, 60, 2017 (pdf)

conference papers

Extracting Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks, Sophie Tourret, Enguerrand Gentet, Katsumi Inoue, ISNN, 2017 (preprint pdf)
Learning Logic Program Representation for Delayed Systems with Limited Training Data, Yin Jun Phua, Sophie Tourret, Katsumi Inoue, ILP (short papers), 2017 (preprint pdf)
Learning Programs with Continuous Domains from State Transitions, Tony Ribeiro, Sophie Tourret, Maxime Folschette, Morgan Magnin, Domenico Borzacchiello, Francisco Chinesta, Olivier Roux, Katsumi Inoue, ILP, 2017 (preprint pdf)
Learning from Interpretation Transition using Feed-Forward Neural Networks, Enguerrand Gentet, Sophie Tourret, Katsumi Inoue, ILP (short papers), 2016 (preprint pdf)
Quantifier-Free Equational Logic and Prime Implicate Generation, Mnacho Echenim, Nicolas Peltier, Sophie Tourret, CADE, 2015 (preprint pdf)
A Rewriting Strategy to Generate Prime Implicates in Equational Logic, Mnacho Echenim, Nicolas Peltier, Sophie Tourret, IJCAR, 2014 (preprint pdf)
An Approach to Abductive Reasoning in Equational Logic, Mnacho Echenim, Nicolas Peltier, Sophie Tourret, IJCAI, 2013 (preprint pdf)

workshop papers

Learning Logic Program Representation from Delayed Interpretation Transition Using Recurrent Neural Networks, Yin Jun Phua, Sophie Tourret, Katsumi Inoue, SNL, 2017 (pdf)
A Superposition-Based Approach to Abductive Reasoning in Equational Clausal Logic, Mnacho Echenim, Nicolas Peltier, Sophie Tourret, ADDCT, 2014 (website)
A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses, Mnacho Echenim, Nicolas Peltier, Sophie Tourret, PAAR, 2014 (pdf)
A Superposition Strategy for Abductive Reasoning in Ground Equational Logic, Mnacho Echenim, Nicolas Peltier, Sophie Tourret, IWS, 2012 (pdf)

technical reports and theses

Prime Implicate Generation in Equational Logic, Sophie Tourret, PhD thesis, Grenoble Alpes University, 2016 (pdf)
Quantifier-Free Equational Logic and Prime Implicate Generation - Proofs, Mnacho Echenim, Nicolas Peltier, Sophie Tourret, Tech. rep., 2015 (pdf)
An Approach to Abductive Reasoning in Equational Logic (long version), Mnacho Echenim, Nicolas Peltier, Sophie Tourret, Tech. rep., 2013 (pdf)
Abduction and Prime Implicates, from Propositional Logic to Equational Logic, Sophie Tourret, Master thesis, Grenoble INP - Ensimag, 2012 (pdf)

conference-related

other