ソフィ トゥレ

J-GLOBALへ         更新日: 17/10/19 22:46
 
アバター
研究者氏名
ソフィ トゥレ
所属
国立情報学研究所

研究分野

 
 

学歴

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

受賞

 
 
Grenoble Informatics Laboratory Best presentation and poster Award Abduction in Equational Logic
 
2 minutes madness presentation and poster session of the Grenoble Informatics Laboratory for second year PhD students.

論文

 
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年9月   [査読有り]
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年9月   [査読有り]
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年7月   [査読有り]
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年9月   [査読有り]
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年6月   [査読有り]
Quantifier-Free Equational Logic and Prime Implicate Generation
ナチョ エシェニム、ニコラ ペルチエ、 ソフィ トゥレ
proceedings of CADE-25      2015年   [査読有り]
A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses
ナチョ エシェニム、ニコラ ペルチエ、ソフィ トゥレ
proceedings of PAAR’14 (IJCAR 2014 workshop)      2014年   [査読有り]
A Superposition-Based Approach to Abductive Reasoning in Equational Clausal Logic
ナチョ エシェニム、ニコラ ペルチエ、ソフィ トゥレ
proceedings of ADDCT'14 (IJCAR 2014 workshop)      2014年   [招待有り]
A Rewriting Strategy to Generate Prime Implicates in Equational Logic
ナチョ エシェニム、ニコラ ペルチエ、ソフィ トゥレ
proceedings of IJCAR 2014      2014年   [査読有り]
An Approach to Abductive Reasoning in Equational Logic
ナチョ エシェニム、ニコラ ペルチエ、ソフィ トゥレ
proceedings of IJCAI 2013      2013年   [査読有り]