停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

索菲·图雷特

>主页 >珀森斯

人员信息

附属： 法国Inria
附属： 德国马克斯·普朗克信息学研究所

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
[j13]
- 看法
  - 电子版@isa-afp.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/afp/BlanchetteQT23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/afp/BlanchetteQT23
贾斯敏·克里斯蒂安·布兰切特,齐秋,索菲·图雷特:
给定条款循环。架构（architecture）。正式校对 2023(2023)
[公元12年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cacm/BentkampBNTVW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cacm/BentkampBNTVW23
亚历山大·本特坎普,布兰切特,Visa Nummelin卡,索菲·图雷特,佩塔尔·武克米罗维奇,乌韦·沃尔德曼:
机械数学家。 Commun公司。ACM公司 66(4):80-90(2023)
[公元11年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/BentkampBTV23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BentkampBTV23
亚历山大·本特坎普,布兰切特,索菲·图雷特,佩塔尔·武克米罗维奇:
高阶逻辑的叠加。 J.汽车。原因。 67(1):10(2023)
[j10]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jar/EbnerBT23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/EbnerBT23
加布里埃尔·埃布纳,布兰切特,索菲·图雷特:
统一拆分。 J.汽车。原因。 67(2):16(2023)
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/siglog/BentkampBNTW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/siglog/BentkampBNTW23
亚历山大·本特坎普,布兰切特,Visa Nummelin卡,索菲·图雷特,乌韦·沃尔德曼:
基于Lambda叠加的完整高效高阶推理。 ACM SIGLOG新闻 10(4):25-40(2023)
[公元26年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BlanchetteQT23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BlanchetteQT23
布兰切特,齐秋,索菲·图雷特:
验证给定条款程序。 CADE公司 2023:61-77
2022
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/WaldmannTRB22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/WaldmannTRB22
乌韦·沃尔德曼,索菲·图雷特,西蒙·罗比拉德,布兰切特:
饱和定理证明的综合框架。 J.汽车。原因。 66(4):499-539(2022)
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/VukmirovicBBCNT22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/VukmirovicBBCNT22
佩塔尔·武克米罗维奇,亚历山大·本特坎普,布兰切特,西蒙·克鲁安斯,Visa Nummelin卡,索菲·图雷特:
使高阶叠加起作用。 J.汽车。原因。 66(4):541-564(2022)
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/TorretW22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/TourretW22
索菲·图雷特,克里斯托夫·魏登巴赫:
拉里·沃斯的遗作：摘自一篇未发表的专栏。 J.汽车。原因。 66(4):575-584年(2022)
[公元25年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HaifaniKTW22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HaifaniKTW22
法贾尔·海法尼,帕特里克·科普曼,索菲·图雷特,克里斯托夫·魏登巴赫:
连接-最小绑架EL公司通过翻译为FOL。国际JCAR 2022:188-207
[公元24年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/HaifaniKTW22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/HaifaniKTW22
法贾尔·海法尼,帕特里克·科普曼,索菲·图雷特,克里斯托夫·魏登巴赫:
连接——通过翻译成FOL（扩展摘要）实现EL中的最小诱拐。描述逻辑 2022
[i5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2205-08449
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2205-08449
法贾尔·海法尼,帕特里克·科普曼,索菲·图雷特,克里斯托夫·魏登巴赫:
通过翻译为FOL的EL中的最小连接绑架-技术报告。 CoRR公司 abs/2205.08449(2022)
2021
[j5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/BentkampBTVW21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BentkampBTVW21
亚历山大·本特坎普,布兰切特,索菲·图雷特,佩塔尔·武克米罗维奇,乌韦·沃尔德曼:
与Lambdas叠加。 J.汽车。原因。 65(7):893-940(2021)
【c23】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HaifaniTW21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HaifaniTW21
法贾尔·海法尼,索菲·图雷特,克里斯托夫·魏登巴赫:
SOS分解的广义完备性及其在关联新概念中的应用。 CADE公司 2021:327-343
[公元22年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/EbnerBT21公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/EbnerBT21
加布里埃尔·埃布纳,布兰切特,索菲·图雷特:
统一分裂框架。 CADE公司 2021:344-360
【c21】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/NummelinBTV21号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/NummelinBTV21网址
Visa Nummelin卡,亚历山大·本特坎普,索菲·图雷特,佩塔尔·武克米罗维奇:
与第一类布尔函数和Inprocessing子句的叠加。 CADE公司 2021:378-395
[公元20年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/本特坎普BTV21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BentkampBTV21
亚历山大·本特坎普,布兰切特,索菲·图雷特,佩塔尔·武克米罗维奇:
全高阶逻辑的叠加。 CADE公司 2021:396-412
[第19条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Vukmirovic公司BBCNT21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/VukmirovicBBCNT21
佩塔尔·武克米罗维奇,亚历山大·本特坎普,布兰切特,西蒙·克鲁安斯,Visa Nummelin卡,索菲·图雷特:
使高阶叠加起作用。 CADE公司 2021:415-432
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/TourretB21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/TourretB21
索菲·图雷特,布兰切特:
用于验证饱和校准仪的模块化Isabelle框架。清洁石油产品 2021:224-237
[第17条]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/kr/海法尼KT21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kr/HaifaniKT21网站
法贾尔·海法尼,帕特里克·科普曼,索菲·图雷特:
EL中的绑架通过翻译为FOL。韩国SOQE 2021:46-58
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2102-00453
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2102-00453
亚历山大·本特坎普,布兰切特,索菲·图雷特,佩塔尔·武克米罗维奇,乌韦·沃尔德曼:
与Lambdas叠加。 CoRR公司 abs/2102.00453(2021)
2020
【j4】
- 看法
  - 电子版@isa-afp.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/法新社/布兰切特T20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/afp/BlanchetteT20
布兰切特,索菲·图雷特:
饱和定理证明综合框架的扩展。架构（architecture）。正式证明 2020(2020)
[j3]
- 看法
  - 电子版@isa-afp.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/afp/Tourret20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/afp/Tourret20
索菲·图雷特:
饱和定理证明的综合框架。架构（architecture）。正式证明 2020(2020)
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ml/CropperT20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ml/CropperT20
安德鲁·克洛珀,索菲·图雷特:
元规则的逻辑简化。机器。学习。 109(7):1323-1369(2020)
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/WaldmannTRB20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/WaldmannTRB20
乌韦·沃尔德曼,索菲·图雷特,西蒙·罗比拉德,布兰切特:
饱和定理证明的综合框架。国际JCAR（1） 2020:316-334
[第15条]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/HaifaniKTW20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/HaifaniKTW20
法贾尔·海法尼,帕特里克·科普曼,索菲·图雷特,克里斯托夫·魏登巴赫:
论关联概念。描述逻辑 2020
[第14条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/kr/KoopmannDTS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kr/KoopmannDTS20
帕特里克·科普曼,沃伦·德尔·潘特,索菲·图雷特,雷娜特·施密特:
表达描述逻辑的基于签名的诱拐。韩国 2020:592-602
[第13条]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/smt/TourretFOB20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/smt/TourretFOB20
索菲·图雷特,帕斯卡·方丹,丹尼尔·埃尔·乌拉维,哈尼尔·巴博萨:
通过SAT编码将带自由变量的同余闭包提升为无λ高阶逻辑。表面贴装技术 2020:3-14
[电子1]
- 看法
- 出口记录
  dblp键：
  - conf/cade/2020paar
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2020paar
帕斯卡·方丹,康斯坦丁柯罗文,伊利亚斯·科齐里亚斯,菲利普·吕默,索菲·图雷特:
2020年，第七届自动推理实用方面研讨会（PAAR）和第五届可满足性检查和符号计算研讨会（SC-Square）的联合会议记录，与第十届国际自动推理联合会议（2020年IJCAR）合办，法国巴黎，2020年6月-7月（虚拟）。 CEUR研讨会记录2752,CEUR-WS.org公司 2020 [目录]
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2007-00757
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-200757
帕特里克·科普曼,沃伦·德尔·潘特,索菲·图雷特,雷娜特·施密特:
表达描述逻辑的基于签名的诱拐——技术报告。 CoRR公司 abs/2007.00757(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BentkampBTVW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BentkampBTVW19
亚历山大·本特坎普,布兰切特,索菲·图雷特,佩塔尔·武克米罗维奇,乌韦·沃尔德曼:
与Lambdas叠加。 CADE公司 2019:55-73
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/TourretC19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/TourretC19
索菲·图雷特,安德鲁·克洛珀:
二阶喇叭碎片的SLD分辨率降低。杰莉亚 2019:259-276
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1902-09900
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1902-09900
索菲·图雷特,安德鲁·克洛珀:
二阶喇叭碎片的SLD分辨率降低-技术报告-。 CoRR公司 abs/1902.09900(2019)
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1907-10952
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1907-10952
安德鲁·克洛珀,索菲·图雷特:
元规则的逻辑简化。 CoRR公司 abs/1907.10952(2019)
2018
[第10条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ijcai/EchenimPT18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/EchenimPT18
Mnacho Echenim公司,尼古拉斯·佩尔蒂埃,索菲·图雷特:
等式逻辑中的素蕴涵生成（扩展抽象）。国际JCAI 2018:5588-5592
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ilp/CropperT18文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ilp/CropperT18
安德鲁·克洛珀,索菲·图雷特:
元解释学习中元规则的推导简化。 ILP公司 2018:1-21
2017
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jair/EchenimPT17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jair/EchenimPT17
Mnacho Echenim公司,尼古拉斯·佩尔蒂埃,索菲·图雷特:
等式逻辑中的素蕴涵生成。 J.阿蒂夫。智力。物件。 60:827-880(2017)
【c8】
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ilp/PhuaRTI17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ilp/PhuaRTI17
尹俊甫,托尼·里贝罗,索菲·图雷特,井上胜美:
训练数据有限的时滞系统的学习逻辑程序表示。 ILP（最新论文） 2017:27-37
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ilp/RibeiroTFMBCRI17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ilp/RibeiroTFMBCRI17
托尼·里贝罗,索菲·图雷特,马克西姆·福舍特,摩根·马格宁,多梅尼科·博扎奇埃洛,弗朗西斯科·切内斯塔,奥利维尔·鲁克斯,井上胜美:
连续域上状态转移的归纳学习。 ILP公司 2017:124-139
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isnn/TourretGI17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isnn/TourretGI17
索菲·图雷特,Enguerrand Gentet公司,井上胜美:
从前馈神经网络学习动态系统的人性化描述。 ISNN（1） 2017:483-492
2016
【b1】
- 看法
  - 电子版@archives-ouvertes.fr（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 博士/哈尔/图雷特16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/hal/Tourret16
索菲·图雷特:
拐骗在一阶逻辑中具有相等性。（等式逻辑中的素数隐含生成）。法国格勒诺布尔阿尔卑斯大学，2016
【c5】
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ilp/GentetTI16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ilp/GentetTI16网站
Enguerrand Gentet公司,索菲·图雷特,井上胜美:
使用前馈神经网络学习口译转换。 ILP（短文） 2016:27-33
2015
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/EchenimPT15会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/EchenimPT15
Mnacho Echenim公司,尼古拉斯·佩尔蒂埃,索菲·图雷特:
无量词等式逻辑与素蕴涵生成。 CADE公司 2015:311-325
2014
【c3】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/TourretEP14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/TourretEP14
索菲·图雷特,Mnacho Echenim公司,尼古拉斯·佩尔蒂埃:
地平面等式子句的演绎完全约束迭加演算。 IJCAR的PAAR 2014:94-104
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/EchenimPT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/EchenimPT14
Mnacho Echenim公司,尼古拉斯·佩尔蒂埃,索菲·图雷特:
在等式逻辑中生成素蕴涵的重写策略。国际JCAR 2014:137-151
2013
【c1】
- 看法
- 出口记录
  dblp键：
  - conf/ijcai/EchenimPT13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/EchenimPT13
Mnacho Echenim公司,尼古拉斯·佩尔蒂埃,索菲·图雷特:
赤道逻辑中的推理方法。国际JCAI 2013:531-537

合著者索引

请参阅常见问题解答

服务

管理站点设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。