默认搜索操作

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

问别人

ICLP2019：美国新墨西哥州拉斯克鲁塞斯-技术通信

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-07646
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-07646
Bart Bogaerts公司,伊斯娃·爱德姆,保罗·福多,安德烈亚·福米萨诺,乔瓦姆巴蒂斯塔·伊安尼,丹妮拉·伊普里赞,格尔曼·维达尔,艾丽西娅·维拉纽埃娃,玛丽娜·德沃斯,杨芳凯:
第35届逻辑编程国际会议（技术通信），ICLP 2019技术通信，美国新墨西哥州拉斯克鲁塞斯，2019年9月20日至25日。 EPTCS系统306,2019
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08230
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08230
法尔科·诺加茨,菲利普·科纳,塞巴斯蒂安·克林斯:
Prolog编码指南：状态和工具支持。 8-21
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1909-08231
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08231
理查德·陶佩,康斯坦丁·舍科提欣,彼得·施勒,安东尼乌斯·温齐尔,格哈德·弗里德里希:
在ASP的声明性领域特定启发式中利用部分知识。 22-35
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08232
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08232
乔·巴博萨,马里奥·弗洛里多,维托尔·桑托斯·科斯塔:
类型化逻辑程序设计的三值语义。 36-51
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08233
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08233
迈克尔·莫拉克:
认识逻辑程序：不同的世界观。 52-64
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08234
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08234
萨尔塔克·戈什,C.R.Ramakrishnan（罗马克里希南）:
概率逻辑程序中信息的价值。 71-84
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08235
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08235
克雷格·奥尔松,尤利亚·利勒:
信息提取工具文本2ALM:从叙述到行动语言系统描述。 87-100
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08236
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08236
阿德里安·胡森,让·克里文:
分子生物学的可追溯逻辑。 101-113
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08238
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08238
Bin Wang（王斌）,沈钧（音）,张树涛,Zhizheng Zhang（张志正）:
关于LPMLN程序的强等价性。 114-125
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08239
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08239
丹妮拉·伊普里赞:
RestKB：关于餐厅用餐的常识库。 126-139
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08240
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08240
大卫·斯皮斯,嘉惠游,赖安·海沃德:
多重图和多重流：减少规划的接地尺寸。 140-153
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08241
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08241
圣地亚哥·埃斯科瓦尔,朱莉娅·萨皮尼亚:
大多数通用变体Unifiers。 154-167
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08242
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08242
马特乌斯·斯拉津斯基,萨尔瓦多·阿布鲁,格里戈兹·J·纳勒帕:
用合成逻辑程序生成局部搜索邻域。 168-181
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-09209
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-09209
吕道明,杨芳凯,刘波,史蒂文·古斯塔夫森:
通过逻辑编程实现的以人为中心的数据驱动规划器-因素关键体系结构。 182-195
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08998
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08998
李佐雄,满罗:
LPMLN程序的强等价性。 196-209
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08243
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08243
文森特·巴里查德,伊戈尔·斯特芬:
量化约束处理规则。 210-223
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1907-11354
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1907-11354
保罗·塔劳,Jan Wielemaker公司,汤姆·施里杰弗斯:
Prolog中的惰性流编程。 224-237
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08246
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08246
K.通开-特克斯,杨红A.刘:
否定的扩展魔法：以需求驱动的分层数据日志高效评估，具有精确的复杂性保证。 241-254
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08247
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08247
贾科莫·达科尔,埃里希·特潘:
谷歌vs IBM：关于Job Shop调度问题的约束解决挑战。 259-265
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08248
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08248
费利西达·阿瓜多,佩德罗·卡巴拉尔,豪尔赫·范丁诺,布雷斯·穆尼兹,吉尔伯托·佩雷斯,弗朗西斯科·苏亚雷斯:
肝移植中基于规则的供者-患者匹配解释系统。 266-272
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08249
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08249
阿里亚姆·达斯,李有福,金旺（Jin Wang）,李明达,卡洛·扎尼奥洛:
从图分析到递归聚合机器学习的大数据应用。 273-279
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08250
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08250
范德阮（Van Duc Nguyen）,Tran Cao儿子,恩里科·蓬泰利:
非专业用户的自然语言生成。 280-294
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08251
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08251
塔里克·哈立德,贝拉伊德·本哈穆:
同步和异步布尔网络中基于ASP的吸引子枚举方法。 295-301
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08252
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08252
刘刘,米罗斯瓦·特鲁兹琴斯基:
用ASP解决哈密顿循环问题的编码选择。 302-308
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08254
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08254
尼科斯·安杰洛普洛斯,Jan Wielemaker公司:
大数据生物分析进展。 309-322
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1907-13305
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1907-13305
何塞·路易斯·维尔奇斯·麦地那,皮埃尔·西格尔,文森特·里希,安德烈·唐塞斯库:
在嵌入式计算机中为电动滑橇实现非单调逻辑。 323-329
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08255
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08255
阿贝尔·迪乌布,斯蒂芬妮娅·科斯坦蒂尼,弗朗西丝卡·A·利西:
通过逻辑编程实现道德机器。 333-339
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cor/abs-1909-08256
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08256
瓦伦蒂娜·皮托尼,斯蒂芬妮娅·科斯坦蒂尼:
逻辑框架的时态模块。 340-346
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1908-00183
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1908-00183
卡门·莱蒂西亚·加西亚·马塔,佩德罗·拉斐尔·马尔克斯-古铁雷斯:
用答案集编程解决Flowshop调度问题：利用该问题减少组合数。 347-353
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08257
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08257
优素福·伊兹米利奥格鲁:
使用答案集编程推理扩展对象之间的定性方向和距离。 371-378
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-09017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-09017
法哈德·沙克林:
非单调逻辑程序的归纳以解释统计学习模型。 379-388
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1905-00840
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1905-00840
田田高:
KALM：一种基于规则的知识创作和问答方法。 389-395
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08258
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08258
金加尔·巴苏:
对话人工智能：开放领域问题解答和常识推理。 396-402
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cor/abs-1909-08259
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08259
弗朗西斯科·法比亚诺:
多智能体认知规划求解器的设计。 403-412
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-09058
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-09058
萨拉特·钱德拉·瓦拉纳西:
基于答案集程序的强制程序合成。 413-417
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08260
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08260
弗朗西斯科·帕琴察:
高反应环境中的推理。 420-426
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-09213
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-09213
法比奥·塔迪沃:
在GPU上进行约束编程的实验。 427-432
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08261
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08261
马特乌斯·斯拉津斯基:
局部搜索邻域算子的自动合成研究报告。 433-440
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-08263
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-08263
马尔科·德博托利:
分布式答案集着色：通过图着色的稳定模型计算。 441-451
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-09454
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-09454
瓦伦蒂娜·皮托尼:
基于资源的代理中的内存管理。 452-460

管理网站设置

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