停止战争！

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

对于科学家：

默认搜索操作

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

问别人

阿米莉亚·哈里森

阿米莉亚·哈里森

>主页 >人员

人员信息

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2010 – 2019

请参阅常见问题解答

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

2019
[公元10年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/amai/BogaertsEH19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/amai/BogaertsEH19
Bart Bogaerts公司,伊斯娃·爱德姆,阿米莉亚·哈里森:
客座评论：关于答案集编程和其他计算范式的特刊。安。数学。Artif公司。因特尔。 86(1-3):1-2(2019)
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tplp/HarrisonL19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/HarrisonL19
阿米莉亚·哈里森,弗拉基米尔·利夫希茨:
将答案集编程的两个方言联系起来。理论与实践。日志。程序。 19(5-6):1006-1020(2019)
[第九章]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1907-12139
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1907-12139
阿米莉亚·哈里森,弗拉基米尔·利夫希茨:
将答案集编程的两个方言联系起来。 CoRR公司 abs/1907.12139(2019)
2017
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ai/HarrisonLPV17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ai/HarrisonLPV17
阿米莉亚·哈里森,弗拉基米尔·利夫希茨,大卫·皮埃尔斯,阿古斯汀·瓦尔维德:
无穷均衡逻辑和强等价逻辑程序。 Artif公司。因特尔。 246:22-33(2017)
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tplp/HarrisonLR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/HarrisonLR17
阿米莉亚·哈里森,弗拉基米尔·利夫希茨,达南杰·拉朱:
用GRINGO的输入语言完成课程。理论与实践。日志。程序。 17(5-6):855-871(2017)
【c6】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ijcai/Harrison公司17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/HarrisonL17
阿米莉亚·哈里森,尤利亚·利勒:
一阶模块逻辑程序及其保守性扩展（扩展摘要）。国际JCAI 2017:4859-4863
[电子1]
- 看法
- 出口记录
  dblp键：
  - conf/lpnmr/2017aspocp公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/2017aspocp网站
Bart Bogaerts公司,阿米莉亚·哈里森:
与第十四届逻辑编程和非单调推理国际会议合办的第十届答案集编程和其他计算范式研讨会会议记录，ASPOCP@LPNMR2017年7月3日，芬兰埃斯波。 CEUR研讨会论文集1868,CEUR-WS.org公司 2017 [目录]
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/HarrisonLR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cor/HarrisonLR17
阿米莉亚·哈里森,弗拉基米尔·利夫希茨,达南杰·拉朱:
用GRINGO的输入语言完成程序。 CoRR公司 abs/1707.05848(2017)
2016
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tplp/HarrisonL16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/HarrisonL16
阿米莉亚·哈里森,尤利娅·利勒:
一阶模块化逻辑程序及其保守扩展。理论与实践。日志。程序。 16(5-6):755-770(2016)
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tplp/HarrisonL16a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/HarrisonL16a
阿米莉亚·哈里森,弗拉基米尔·利夫希茨:
具有外延原子的无穷大公式的稳定模型。理论与实践。日志。程序。 16(5-6):771-786(2016)
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tplp/HarrisonLM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/HarrisonLM16
阿米莉亚·哈里森,弗拉基米尔·利夫希茨,朱利安·迈克尔:
证明无穷公式。理论与实践。日志。程序。 16(5-6):787-799(2016)
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/更正/哈里森L16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/HarrisonL16
阿米莉亚·哈里森,弗拉基米尔·利夫希茨:
具有扩张原子的无限公式的稳定模型。 CoRR公司 abs/1608.01603(2016)
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/HarrisonLM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/HarrisonLM16
阿米莉亚·哈里森,弗拉基米尔·利夫希茨,朱利安·迈克尔:
证明无穷公式。 CoRR公司 abs/1608.01626(2016)
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/HarrisonL16a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/HarrisonL16a
阿米莉亚·哈里森,尤利亚·利勒:
一阶模块化逻辑程序及其Con:set servative Extensions。 CoRR公司腹肌/1608.02681(2016)
2015
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tplp/HarrisonLT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/HarrisonLT15
阿米莉亚·哈里森,弗拉基米尔·利夫希茨,米罗斯瓦·特鲁兹琴斯基:
稳定模型语义下无穷公式的等价性。理论与实践。日志。程序。 15(1):18-34(2015)
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tplp/GebserHKLS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/GebserHKLS15
马丁·格布瑟,阿米莉亚·哈里森,罗兰·卡明斯基,弗拉基米尔·利夫希茨,托尔斯滕·绍布:
抽象外国佬。理论与实践。日志。程序。 15(4-5):449-463(2015)
【c5】
- 看法
  - 电子版@aaai.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aaaiss/BaileyHLLM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aaaiss/BaileyHLLM15
丹尼尔·贝利,阿米莉亚·哈里森,尤利亚·利勒,弗拉基米尔·利夫希茨,朱利安·迈克尔:
Winograd模式对相关性的挑战和推理。 AAAI春季研讨会 2015
【c4】
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Harrison公司15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Harrison15
阿米莉亚·哈里森:
答案集编程的形式化方法。 ICLP（技术通信） 2015
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/HarrisonLPV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/HarrisonLPV15
阿米莉亚·哈里森,弗拉基米尔·利夫希茨,大卫·皮埃尔斯,阿古斯汀·瓦尔维德:
无限均衡逻辑与强等价。低密度核磁共振 2015:398-410
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/GebserHKLS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/GebserHKLS15
马丁·盖布瑟,阿米莉亚·哈里森,罗兰·卡明斯基,弗拉基米尔·利夫希茨,托尔斯滕·绍布:
摘要格林戈。 CoRR公司 abs/1507.06576(2015)
2014
【c2】
- 看法
  - 电子版@aaai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/kr/哈里森LY14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kr/HarrisonLY14
阿米莉亚·哈里森,弗拉基米尔·利夫希茨,杨芳凯:
古灵阁的语义和无限命题公式。韩国 2014
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/HarrisonLT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/HarrisonLT14
阿米莉亚·哈里森,弗拉基米尔·利夫希茨,米罗斯瓦·特鲁兹琴斯基:
稳定模型语义下无穷公式的等价性。 CoRR公司 abs/1403.6689(2014)
2013
[j1]
- 看法
  - 电子版@chambridge.org（存档）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/tplp/Harrison13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/Harrison13
阿米莉亚·哈里森:
古灵阁的语义及其强等价性证明。理论与实践。日志。程序。 13(4-5在线供应)(2013)
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpnmr/HarrisonLT13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpnmr/HarrisonLT13
阿米莉亚·哈里森,弗拉基米尔·利夫希茨,米罗斯瓦·特鲁兹琴斯基:
稳定模型语义下无穷公式的等价变换。低密度核磁共振 2013:387-394
[i2]
- 看法
  - 电子版@nist.gov（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/tac/Bentor HBM13型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tac/BentorHBM13网站
伊农·本托,阿米莉亚·哈里森,Shruti Bhosale公司,雷蒙德·穆尼:
德克萨斯大学奥斯汀分校KBP 2013插槽填充系统：文本推理的贝叶斯逻辑程序。节气门执行器控制 2013
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/HarrisonLY13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/HarrisonLY13
阿米莉亚·哈里森,弗拉基米尔·利夫希茨,杨芳凯:
论古灵阁的语义。 CoRR公司 abs/1312.6149(2013)

合著者索引

请参阅常见问题解答

服务

管理网站设置

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