ソフィ トゥレ

J-GLOBALへ         更新日: 16/09/20 18:03
 
アバター
研究者氏名
ソフィ トゥレ
所属
国立情報学研究所

研究分野

 
 

学歴

 
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.

論文

 
Quantifier-Free Equational Logic and Prime Implicate Generation
ナチョ エシェニム、ニコラ ペルチエ、 ソフィ トゥレ
proceedings of CADE-25      2015年   [査読有り]
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年   [査読有り]

Misc

 
A Superposition-Based Approach to Abductive Reasoning in Equational Clausal Logic
ナチョ エシェニム、ニコラ ペルチエ、ソフィ トゥレ
proceedings of ADDCT'14 (IJCAR 2014 workshop)      2014年   [依頼有り]
A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses
ナチョ エシェニム、ニコラ ペルチエ、ソフィ トゥレ
proceedings of PAAR’14 (IJCAR 2014 workshop)      2014年   [査読有り]
A Superposition Strategy for Abductive Reasoning in Ground Equational Logic
ナチョ エシェニム、ニコラ ペルチエ、ソフィ トゥレ
IWS 2012 (IJCAR 2012 workshop)      2012年   [査読有り]