Sophie Tourret
post-doctoral researcher in the Automation of Logic group
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
Publications
journal paper
- Prime Implicate Generation in Equational Logic, Mnacho Echenim, Nicolas Peltier, Sophie Tourret, JAIR (accepted for publication, to appear) 60, 2017
conference papers
- Extracting Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks, Sophie Tourret, Enguerrand Gentet, Katsumi Inoue, ISNN, 2017
- Learning Logic Program Representation for Delayed Systems with Limited Training Data, Yin Jun Phua, Sophie Tourret, Katsumi Inoue, ILP (short papers), 2017
- 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
- Learning from Interpretation Transition using Feed-Forward Neural Networks, Enguerrand Gentet, Sophie Tourret, Katsumi Inoue, ILP (short papers), 2016
- Quantifier-Free Equational Logic and Prime Implicate Generation, Mnacho Echenim, Nicolas Peltier, Sophie Tourret, CADE, 2015
- A Rewriting Strategy to Generate Prime Implicates in Equational Logic, Mnacho Echenim, Nicolas Peltier, Sophie Tourret, IJCAR, 2014
- An Approach to Abductive Reasoning in Equational Logic, Mnacho Echenim, Nicolas Peltier, Sophie Tourret, IJCAI, 2013
workshop papers
- Learning Logic Program Representation from Delayed Interpretation Transition Using Recurrent Neural Networks, Yin Jun Phua, Sophie Tourret, Katsumi Inoue, SNL, 2017
- A Superposition-Based Approach to Abductive Reasoning in Equational Clausal Logic, Mnacho Echenim, Nicolas Peltier, Sophie Tourret, ADDCT, 2014
- A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses, Mnacho Echenim, Nicolas Peltier, Sophie Tourret, PAAR, 2014
- A Superposition Strategy for Abductive Reasoning in Ground Equational Logic, Mnacho Echenim, Nicolas Peltier, Sophie Tourret, IWS, 2012
technical reports and theses
- Prime Implicate Generation in Equational Logic, Sophie Tourret, PhD thesis, Grenoble Alpes University, 2016
- Quantifier-Free Equational Logic and Prime Implicate Generation - Proofs, Mnacho Echenim, Nicolas Peltier, Sophie Tourret, Tech. rep., 2015
- An Approach to Abductive Reasoning in Equational Logic (long version), Mnacho Echenim, Nicolas Peltier, Sophie Tourret, Tech. rep., 2013
- Abduction and Prime Implicates, from Propositional Logic to Equational Logic, Sophie Tourret, Master thesis, Grenoble INP - Ensimag, 2012
Activities
conference-related
- IJCAI-ECAI 2018 program committee member
- ETAPS 2014 volunteer (reception, logistic)
other
- editor of the AAR newsletter (2017-present)
Teaching
- 2012-2014, teaching assistant at Grenoble INP - Ensimag in formal languages, databases and networks.