Sophie Tourret

post-doctoral researcher in the Automation of Logic group

Interests

automated reasoning, formal logic, artificial intelligence, machine intelligence

Contact

sophie.tourret@mpi-inf.mpg.de

+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

 

other

  • editor of the AAR newsletter (2017-present)

Teaching

Past employment and education