停止战争！

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

对于科学家来说：

默认搜索操作

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

问别人

莫阿·约翰逊

>主页 >珀森斯

人员信息

附属： 瑞典哥德堡查尔默斯科技大学

优化列表

精炼活动！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

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

2024
[第九章]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2403-11314
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2403-11314
丹尼尔·恩斯特罗姆,维克托·凯尔伯格,莫阿·约翰逊:
变形金刚中的推理——减少虚假关联和推理快捷方式。 CoRR公司 abs/2403.11314(2024)
[i8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cor/abs-2403-16584
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2403-16584
尼古拉斯·奥迪内特·德·皮埃琴（Nicolas Audinet de Pieuchon）,达乌德,康诺·托马斯·杰扎克,莫阿·约翰逊,理查德·约翰逊:
大型语言模型（或人类）可以提取文本吗？ CoRR公司 abs/2403.16584(2024)
2023
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acl/Bonafilia英国标准J23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acl/BonafiliaBSJ23
布莱恩·博纳菲利亚,巴斯蒂安·布鲁因斯马,丹尼萨·塞诺瓦,莫阿·约翰逊:
瑞典-北约话语中的突然语义转变。 ACL（学生） 2023:184-193
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/emnlp/HagstromSNJJ23文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/emnlp/HagstromSNJJ23
洛维萨·哈格斯特伦,丹尼萨·塞诺瓦,托比亚斯·诺伦德,莫阿·约翰逊,理查德·约翰逊:
缩放、检索增强和形式对语言模型事实一致性的影响。 EMNLP公司 2023:5457-5476
[公元22年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/nesy/JohanssonS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nesy/JohanssonS23
莫阿·约翰逊,尼古拉斯·斯莫尔博内:
用大型语言模型探索数学猜想。 NeSy公司 2023:62-77
【c21】
- 看法
  - 电子版@aclantology.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/nodalida/SaynovaBJJ23公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nodalida/SaynovaBJJ23
丹尼萨·塞诺瓦,巴斯蒂安·布鲁因斯马,莫阿·约翰逊,理查德·约翰逊:
课堂讲解：特定领域内容和停止语的作用。没有DaLiDa 2023:103-112
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vecos/Johansson公司23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vecos/Johansson网站23
莫阿·约翰逊:
大型语言模型能为定理证明和形式化方法做什么？ AISoLA公司 2023:391-394
[i7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2311-01307
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2311-01307
洛维萨·哈格斯特伦,丹尼萨·塞诺瓦,托比亚斯·诺伦德,莫阿·约翰逊,理查德·约翰逊:
缩放、检索增强和形式对语言模型事实一致性的影响。 CoRR公司 abs/2311.01307(2023)
2022
[第19条]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aic/JergeusOCJ22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aic/JergeusOCJ22
埃里克·杰杰斯,利奥·卡尔森·奥诺宁,埃米尔·卡尔森,莫阿·约翰逊:
通过强化学习学习抽象。 AIC公司 2022:120-126
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/AhrendtGJR22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/AhrendtGJR22
沃尔夫冈·阿伦特,迪莉安·古罗夫,莫阿·约翰逊,菲利普·吕默:
TriCo——实现、规范和测试的三重联合试验。 ISoLA（1） 2022:174-187
[i6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2212-13980
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2212-13980
埃里克·杰杰斯,利奥·卡尔森·奥诺宁,埃米尔·卡尔森,莫阿·约翰逊:
通过强化学习学习抽象。 CoRR公司腹肌/2212.13980(2022)
2021
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2109-03721
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2109-03721
莫阿·约翰逊,尼古拉斯·斯莫尔博内:
猜想、检验和证明：理论探索概述。 VPT@ETAPS（预计到达时间） 2021:1-16
2020
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/if/EinarsdottirSJ20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/if/EinarsdottirSJ20
Sólrún Halla Einarsdóttir先生,尼古拉斯·斯莫尔博内,莫阿·约翰逊:
基于模板的理论探索：通过测试发现函数程序的属性。国际单项体育联合会 2020:67-78

2010 – 2019

请参阅常见问题解答

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

2019
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/Johansson约翰森19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/Johansson约翰19
莫阿·约翰逊:
归纳法的引理发现——综述。 CICM公司 2019:125-139
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/nais/JohanssonKL19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nais/JohanssonKL19
莫阿·约翰逊,玛丽·科内利乌松,尼基·利兹巴特·劳伦斯:
使用滑雪杆上的功率计确定越野滑雪技术。 NAIS公司 2019:52-57
[电子2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/2019
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/2019
何塞·朱利奥·阿尔弗雷斯,莫阿·约翰逊:
声明性语言的实用方面——第21届国际研讨会，2019年PADL，葡萄牙里斯本，2019月14日至15日，会议记录。计算机科学课堂讲稿11372,施普林格 2019，国际标准图书编号978-3-030-05997-2 [目录]
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1904-10359
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1904-10359
莫阿·约翰逊,玛丽·科内利乌松,尼基·利兹巴特·劳伦斯:
使用滑雪杆上的功率计识别越野滑雪技术。 CoRR公司 abs/1904.10359(2019)
2018
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aisc/EinarsdottirJP18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aisc/EinarsdottirJP18
Sólrún Halla Einarsdóttir先生,莫阿·约翰逊,约翰内斯·奥曼·波霍拉:
进入无限——对造物的理论探索。 AISC公司 2018:70-86
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1808-00198
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1808-00198
阿格林·希尔姆基尔,奥斯卡·伊瓦森,莫阿·约翰逊,丹·库伦斯特耶纳,Teun van Erp公司:
基于职业自行车手数据的机器学习。 CoRR公司 abs/1808.00198(2018)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1808-05789
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1808-05789
安德烈亚斯·阿维德森,莫阿·约翰逊,罗宾·Touche:
Haskell的类型类定律的证明。 CoRR公司 abs/1808.05789(2018)
2017
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/SmallboneJCA17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/SmallboneJCA17
尼古拉斯·斯莫尔博内,莫阿·约翰逊,科恩·克莱森,Maximilian代数:
为忙碌的程序员提供快速规范。 J.功能。程序。 27:e18（电子18）(2017)
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/haskell/AlgehedCJS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/haskell/AlgehedCJS17
Maximilian代数,科恩·克莱森,莫阿·约翰逊,尼古拉斯·斯莫尔博内:
QuickSpec：程序员的轻量级理论探索工具（系统演示）。哈斯克尔 2017:38-39
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/itp/Johansson公司17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/itp/Johansson 17网址
莫阿·约翰逊:
交互式定理证明的自动理论探索：Hipster系统简介。 ITP公司 2017:1-11
2016
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sfp/ArvidssonJT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sfp/ArvidssonJT16
安德烈亚斯·阿维德森,莫阿·约翰逊,罗宾·Touche:
证明Haskell的类型类法则。全要素生产率 2016:61-74
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 2016年中期会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/km/2016
迈克尔·科尔哈斯,莫阿·约翰逊,布鲁斯·米勒,莱昂纳多·德·莫拉,弗兰克·沃姆。汤帕:
智能计算机数学-第九届国际会议，CICM 2016，比亚莱斯托克，波兰，2016年7月25-29日，会议记录。计算机科学课堂讲稿9791,施普林格 2016，国际标准图书编号978-3-319-42546-7 [目录]
2015
[j5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ecesst/ValbuenaJ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eceasst/ValbuenaJ15
艾琳·洛博·瓦布埃纳,莫阿·约翰逊:
Hipster中的条件引理发现和递归归纳。电子。Commun公司。欧洲协会软件。科学。Technol公司。 72(2015)
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/专家/BundyCDJM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/expert/BundyCDJM15
艾伦·邦迪,弗拉米尼娅·卡瓦洛,卢卡斯·狄克逊,莫阿·约翰逊,罗伊·麦卡斯兰德:
Theory Mine背后的理论。 IEEE国际。系统。 30(4):64-69(2015)
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/BonacinaJ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BonacinaJ15
玛丽亚·保拉·博纳西纳,莫阿·约翰逊:
自动定理证明中的插值。 J.自动化。原因。 54(1):69-97(2015)
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/BonacinaJ15a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BonacinaJ15a
玛丽亚·保拉·博纳西纳,莫阿·约翰逊:
自动扣除中地面证据的内插系统：一项调查。 J.自动化。原因。 54(4):353-390(2015)
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/克莱森JRS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/ClaessenJRS15
科恩·克莱森,莫阿·约翰逊,丹·罗森,尼古拉斯·斯莫尔博内:
提示：大量归纳问题。 CICM公司 2015:333-337
2014
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/JohanssonRSC14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/JohanssonRSC14
莫阿·约翰逊,丹·罗森,尼古拉斯·斯莫尔博内,科恩·克莱森:
嬉皮士：在证明助手中整合理论探索。 CICM公司 2014:108-122
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/JohanssonRSC14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/JohanssonRSC14
莫阿·约翰逊,丹·罗森,尼古拉斯·斯莫尔博内,科恩·克莱森:
嬉皮士：将理论探索融入证明助手。 CoRR公司腹肌/1405.3426(2014)
2013
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ClaessenJRS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ClaessenJRS13
科恩·克莱森,莫阿·约翰逊,丹·罗森,尼古拉斯·斯莫尔博内:
使用理论探索实现归纳证明的自动化。 CADE公司 2013:392-406
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/HerasKJM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/HerasKJM13
乔纳森·赫拉斯,叶卡捷琳娜·科门丹茨卡娅,莫阿·约翰逊,埃文·麦克林:
ACL2中的证明模式识别和引理发现。 LPAR公司 2013:389-406
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/HerasKJM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/HerasKJM13
乔纳森·赫拉斯,叶卡捷琳娜·科门丹茨卡娅,莫阿·约翰逊,埃文·麦克林:
ACL2中的证明模式识别。 CoRR公司腹肌/1308.1780(2013)
2012
【c5】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ClaessenJRS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ClaessenJRS12
科恩·克莱森,莫阿·约翰逊,丹·罗森,尼古拉斯·斯莫尔博内:
HipSpec：自动化程序属性的归纳证明。 ATx公司/IJCAR的WInG 2012:16-25
2011
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/JohanssonDB11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/JohanssonDB11
莫阿·约翰逊,卢卡斯·狄克逊,阿兰·邦迪:
归纳理论的猜想综合。 J.自动化。原因。 47(三):251-289(2011)
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tableaux/BonacinaJ11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tableaux/BonacinaJ11
玛丽亚·保拉·博纳西纳,莫阿·约翰逊:
论决策程序中的内插。表格 2011:1-16
2010
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/JohanssonDB10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/JohanssonDB10
莫阿·约翰逊,卢卡斯·迪克森,阿兰·邦迪:
动态Rippling、中间输出推理和引理发现。验证、归纳、终止分析 2010:102-116
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/itp/JohanssonDB10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/itp/JohanssonDB10
莫阿·约翰逊,卢卡斯·狄克逊,阿兰·邦迪:
波纹和感应证明的案例分析。 ITP公司 2010:291-306

2000 – 2009

请参阅常见问题解答

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

2006
[c1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/Johansson BD06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/JohanssonBD06
莫阿·约翰逊,阿兰·邦迪,卢卡斯·狄克逊:
最佳开沟。人工智能理论和系统中的推理、行动和交互 2006:83-100

合著者索引

请参阅常见问题解答

服务

管理网站设置

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