ソフィトゥレ

Tourret Sophie

所属機関・部署：

研究分野 (1件)：情報学基礎論

研究キーワード (4件)： Bioinformatic , Machine Intelligence , Formal Logic , Automated Reasoning

論文 (11件)：

Learning Programs with Continuous Domains from State Transitions. The 27th International Conference on Inductive Logic Programming (ILP 2017; Orléans, France, September 4-6, 2017),. 2017
Learning Logic Program Representation for Delayed Systems with Limited Training Data. The 27th International Conference on Inductive Logic Programming (ILP 2017; Orléans, France, September 4-6, 2017),. 2017
Learning Logic Program Representation from Delayed Interpretation Transition Using Recurrent Neural Networks. Proceedings of the 1st International Workshop on Symbolic-Neural Learning (SNL-2017; Nagoya, Japan, July 7-8, 2017),. 2017
Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks. Fengyu Cong, Andrew Leung, and Qinglai Wei (eds.), Advances in Neural Networks: Proceedings of the 14th International Symposium (ISNN 2017; Sapporo, Japan, June 21-23, 2017), Part 1, Lecture Notes in Computer Science, 10261 483-492. 2017
Learning from Interpretation Transition using Feed-Forward Neural Networks. James Cussens and Alessandra Russo (eds.), Proceedings of the 26th International Conference on Inductive Logic Programming (ILP 2016; London, UK) (Short papers), CEUR Workshop Proceedings, 1865 27-33. 2016

学歴 (3件)：

2012 - 2016 Grenoble-Alpes University / Grenoble Informatics Laboratory Computer Sciences PhD on Abduction in Equational Logic
2011 - 2012 Joseph Fourier University Master on Web and Artificial Intelligence
2009 - 2012 Grenoble INP Ensimag (engineering school)

受賞 (1件)：

Grenoble Informatics Laboratory Best presentation and poster Award Abduction in Equational Logic

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

ソフィ トゥレ