停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第23届LPAR 2020：西班牙阿利坎特

>主页 >会议和研讨会 >LPAR公司

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@easychair.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/lpar/2020年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/2020
埃尔维拉·阿尔伯特,劳拉·科瓦奇:
LPAR 2020：第23届编程、人工智能和推理逻辑国际会议，西班牙阿利坎特，2020年5月22日至27日。 EPiC计算系列73,轻松头发 2020
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/NieuwenhuisLOR20文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/NieuwenhuisLOR20
罗伯特·尼文胡斯,阿德里亚·洛扎诺,阿尔伯特·奥利弗拉斯,恩里克·罗德里格斯-卡博内尔:
决策水平是稳定的：朝向更好的SAT启发式。 1月11日
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Abraham公司BBD20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/AbrahamBBD20
埃里卡·阿布拉哈姆,埃齐奥·巴托西,Borzoo Bonakdarpour公司,Oyendrila Dobe公司:
概率超特性的参数合成。 12-31
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/AlrabbaaBBKK20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/AlrabbaaBBKK20
克里斯蒂安·阿拉巴阿,弗兰兹·巴德,Stefan Borgwardt公司,帕特里克·科普曼,艾莉莎·科夫图诺娃:
寻找描述逻辑蕴涵的小证据：理论与实践。 32-67
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/AschieriCG20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/AschieriCG20
费德里科·阿舍里,阿加塔·恰巴托尼,弗朗西斯科·安东尼奥·根科:
通过1深度中间证明的一种类型化平行lambda-calculus。 68-89
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/阳台20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BaltagS20
亚历山德鲁·巴尔塔格,索尼娅·斯梅茨:
学习他人所知。 90-119
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BendikC20型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BendikC20
雅罗斯拉夫·本迪克,伊万娜·塞尔纳:
基于旋转的MSS/MCS枚举。 120-137
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BraauwbroekUG20公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BraauwbroekUG20
拉斯·布劳布洛克,约瑟夫·乌尔班,赫尔曼·杰弗斯:
Coq Proof Assistant的战术学习和证明。 138-150
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BockmannL20文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BoockmannL20
简·H·布克曼,杰拉尔德·吕特根:
从记忆图中学习数据结构形状。 151-168
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/DileepMS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/DileepMS20
A.迪利普,库尔德普·S·梅尔,阿马尔·法廷·萨比利:
N上的归纳模型。 169-190
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/EchenimIP20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/EchenimIP20
Mnacho Echenim公司,半径Iosif,尼古拉斯·佩尔蒂埃:
带有归纳定义的分离逻辑中的蕴涵检查是2-EXPTIME困难的。 191-211
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/FleuryW20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/FleuryW20
马蒂亚斯·弗勒里,克里斯托夫·魏登巴赫:
一个经过验证的SAT求解器框架，包括优化和部分估值。 212-229
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Gauthier20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Gauthier20
Thibault Gauthier公司:
高阶逻辑中函数综合的深度强化学习。 230-248
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/GlorianLL20公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/GlorianLL20
盖尔·格洛里安,让-马里·拉格尼兹,克里斯托夫·勒库特:
NACRE——一个Nogood和子句推理引擎。 249-259
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/GoldbergerKAK20公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/GoldbergerKAK20
本·戈德伯格,盖伊·卡茨,约西·阿迪,约瑟夫·凯什特:
使用验证的深度神经网络的最小修改。 260-278
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/HarkFG20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/HarkFG20
马塞尔·哈克,弗洛里安·弗洛恩,吉尔根·吉斯尔:
多项式循环：超越终止。 279-297
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/HavlenaHLVV20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/HavlenaHLVV20
Vojtech Havlena公司,卢卡斯·霍利克,Ondrej Lengál,Ondrej Vales公司,托马斯·沃伊纳:
WSkS反婚前协议：一点点就能走很长的路。 298-316
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/KhaledB20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/KhaledB20
塔里克·哈立德,贝莱德·本哈莫:
一种基于ASP的布尔网络表示和吸引子检测方法。 317-333
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/KieronskiM20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/KieronskiM20网站
伊曼纽尔·基伦斯基,亚当·马林诺夫斯基:
具有及物性的三重碎片。 334-353
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/MontiBD20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/MontiBD20
劳尔·蒙蒂,卡洛斯·巴德,佩德罗·达吉尼奥:
具有一般分布的可修复故障树的组合语义。 354-372
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/OostemaMH20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/OostemaMH20
彼得·奥斯塔,鲁本·马丁斯,Marijn鞋跟:
着色单元-使用SAT的距离条。 373-389
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/KatelaanZ20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/KatelaanZ20
延斯·卡特兰,弗洛里安·祖勒格:
超越符号堆：用归纳定义决定分离逻辑。 390-408
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/PiotrowskiU20公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/PiotrowskiU20网址
巴托斯·彼得罗夫斯基,约瑟夫·乌尔班:
基于递归神经网络的状态前提选择。 409-422
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Rebola-PardW20文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Rebola-PardoW20（网址：https://dblp.org/rec/conf/lpar/Rebola-PardoW20）
阿德里安·雷博拉·帕多,乔治·魏森巴赫:
RAT消除。 423-448
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Salhi20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Salhi20
雅库布沙利:
关于获取知识的推理。 449-464
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/SavelaOJ20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/SavelaOJ20
贾科·萨维拉,艾米莉亚·奥卡里宁,马蒂·贾维萨洛:
通过布尔可满足性和有序生成寻找周期公寓。 465-482
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/SweeneyHP20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/SweeneyHP20
约瑟夫·斯韦尼,Marijn鞋跟,劳伦斯·皮尔吉:
锁定电路的灵敏度分析。 483-497
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/PohjolaG20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/PohjolaG20
约翰内斯·奥曼·波霍拉,阿夫·根格尔巴赫:
带有特殊重载的HOL的机械化语义。 498-515
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Silva20文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Silva20
亚历山德拉·席尔瓦:
并发Kleene代数模型。 516

服务

管理网站设置

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