会员服务
ETAPS · 正则化项 · Processing（编程语言） · 人工智能 · 人机交互 ·
2019 年 10 月 30 日
Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology
翻译：关于科学和技术方面的原因、责任和解释的正式理由的第四次研讨会记录
Georgiana Caltais,Jean Krivine
Georgiana Caltais,Jean Krivine

The fourth edition of the international workshop on Causation, Responsibility and Explanation took place in Prague (Czech Republic) as part of ETAPS 2019. The program consisted in 5 invited speakers and 4 regular papers, whose selection was based on a careful reviewing process and that are included in these proceedings.


翻译：作为ETAPS 2019的一部分,在布拉格(捷克共和国)举行了关于因果关系、责任和解释的国际讲习班第四版,该方案包括5名应邀演讲人和4份定期论文,这些论文是根据仔细审查程序挑选的,并被纳入这些议事录。
0
下载
关闭预览

相关内容

ETAPS是欧洲主要的学术和工业研究论坛，致力于与软件科学相关的课题。ETAPS成立于1998年，是由ESOP、FASE、FoSSaCS和TACAS四个年度会议组成的联合会，并有卫星讲习班。官网链接：https://www.etaps.org/
神经网络与形式语言综述，12页pdf，A Survey of Neural Networks and Formal Languages
神经网络与形式语言综述，12页pdf，A Survey of Neural Networks and Formal Languages
专知会员服务
20+阅读 · 2020年6月4日
【快讯】ICML 2020论文出炉，1088篇上榜， 你的paper中了吗？
【快讯】ICML 2020论文出炉，1088篇上榜， 你的paper中了吗？
专知会员服务
52+阅读 · 2020年6月1日
【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
54+阅读 · 2020年1月30日
【Freddy Lecue 博士|公开演讲】可解释XAI人工智能进展（Explainable AI-The Story So Far），Sungkyunkwan University 2019
【Freddy Lecue 博士|公开演讲】可解释XAI人工智能进展（Explainable AI-The Story So Far），Sungkyunkwan University 2019
专知会员服务
32+阅读 · 2019年11月11日
【Freddy Lecue 博士|公开演讲】关于知识图谱在可解释AI中的作用（On The Role of Knowledge Graphs in Explainable AI.），International Semantic Web Conference 2019
【Freddy Lecue 博士|公开演讲】关于知识图谱在可解释AI中的作用（On The Role of Knowledge Graphs in Explainable AI.），International Semantic Web Conference 2019
专知会员服务
73+阅读 · 2019年11月11日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
49+阅读 · 2019年10月17日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
35+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
58+阅读 · 2019年10月17日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
154+阅读 · 2019年10月12日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
104+阅读 · 2019年10月9日
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
Call4Papers
10+阅读 · 2019年6月24日
人工智能 | ISAIR 2019诚邀稿件（推荐SCI期刊）
人工智能 | ISAIR 2019诚邀稿件（推荐SCI期刊）
Call4Papers
6+阅读 · 2019年4月1日
IEEE | DSC 2019诚邀稿件 (EI检索)
IEEE | DSC 2019诚邀稿件 (EI检索)
Call4Papers
10+阅读 · 2019年2月25日
大数据 | 顶级SCI期刊专刊/国际会议信息7条
大数据 | 顶级SCI期刊专刊/国际会议信息7条
Call4Papers
10+阅读 · 2018年12月29日
计算机类 | ISCC 2019等国际会议信息9条
计算机类 | ISCC 2019等国际会议信息9条
Call4Papers
5+阅读 · 2018年12月25日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
17+阅读 · 2018年12月24日
2018年中科院JCR分区发布！
2018年中科院JCR分区发布！
材料科学与工程
3+阅读 · 2018年12月11日
人工智能类 | 国际会议/SCI期刊专刊信息9条
人工智能类 | 国际会议/SCI期刊专刊信息9条
Call4Papers
4+阅读 · 2018年7月10日
人工智能 | 国际会议/SCI期刊约稿信息9条
人工智能 | 国际会议/SCI期刊约稿信息9条
Call4Papers
3+阅读 · 2018年1月12日
人工智能 | 国际会议截稿信息5条
人工智能 | 国际会议截稿信息5条
Call4Papers
6+阅读 · 2017年11月22日
Differentiable Reasoning on Large Knowledge Bases and Natural Language
Arxiv
12+阅读 · 2019年12月17日
The Design and Implementation of XiaoIce, an Empathetic Social Chatbot
The Design and Implementation of XiaoIce, an Empathetic Social Chatbot
Arxiv
4+阅读 · 2018年12月21日
ConceptNet 5.5: An Open Multilingual Graph of General Knowledge
ConceptNet 5.5: An Open Multilingual Graph of General Knowledge
Arxiv
10+阅读 · 2018年12月11日
Neural-Symbolic VQA: Disentangling Reasoning from Vision and Language Understanding
Neural-Symbolic VQA: Disentangling Reasoning from Vision and Language Understanding
Arxiv
4+阅读 · 2018年10月4日
The Vadalog System: Datalog-based Reasoning for Knowledge Graphs
The Vadalog System: Datalog-based Reasoning for Knowledge Graphs
Arxiv
5+阅读 · 2018年7月23日
Emergent Translation in Multi-Agent Communication
Arxiv
3+阅读 · 2018年4月11日
Why not be Versatile? Applications of the SGNMT Decoder for Machine Translation
Arxiv
3+阅读 · 2018年3月20日
Interpretable Counting for Visual Question Answering
Arxiv
6+阅读 · 2018年3月2日
Zero-Resource Neural Machine Translation with Multi-Agent Communication Game
Arxiv
4+阅读 · 2018年2月9日
VQA: Visual Question Answering
Arxiv
9+阅读 · 2016年10月27日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
ETAPS
正则化项
Processing（编程语言）
人工智能
人机交互
相关VIP内容
神经网络与形式语言综述，12页pdf，A Survey of Neural Networks and Formal Languages
神经网络与形式语言综述，12页pdf，A Survey of Neural Networks and Formal Languages
专知会员服务
20+阅读 · 2020年6月4日
【快讯】ICML 2020论文出炉，1088篇上榜， 你的paper中了吗？
【快讯】ICML 2020论文出炉，1088篇上榜， 你的paper中了吗？
专知会员服务
52+阅读 · 2020年6月1日
【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
54+阅读 · 2020年1月30日
【Freddy Lecue 博士|公开演讲】可解释XAI人工智能进展（Explainable AI-The Story So Far），Sungkyunkwan University 2019
【Freddy Lecue 博士|公开演讲】可解释XAI人工智能进展（Explainable AI-The Story So Far），Sungkyunkwan University 2019
专知会员服务
32+阅读 · 2019年11月11日
【Freddy Lecue 博士|公开演讲】关于知识图谱在可解释AI中的作用（On The Role of Knowledge Graphs in Explainable AI.），International Semantic Web Conference 2019
【Freddy Lecue 博士|公开演讲】关于知识图谱在可解释AI中的作用（On The Role of Knowledge Graphs in Explainable AI.），International Semantic Web Conference 2019
专知会员服务
73+阅读 · 2019年11月11日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
49+阅读 · 2019年10月17日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
35+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
58+阅读 · 2019年10月17日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
154+阅读 · 2019年10月12日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
104+阅读 · 2019年10月9日
热门VIP内容
相关资讯
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
Call4Papers
10+阅读 · 2019年6月24日
人工智能 | ISAIR 2019诚邀稿件（推荐SCI期刊）
人工智能 | ISAIR 2019诚邀稿件（推荐SCI期刊）
Call4Papers
6+阅读 · 2019年4月1日
IEEE | DSC 2019诚邀稿件 (EI检索)
IEEE | DSC 2019诚邀稿件 (EI检索)
Call4Papers
10+阅读 · 2019年2月25日
大数据 | 顶级SCI期刊专刊/国际会议信息7条
大数据 | 顶级SCI期刊专刊/国际会议信息7条
Call4Papers
10+阅读 · 2018年12月29日
计算机类 | ISCC 2019等国际会议信息9条
计算机类 | ISCC 2019等国际会议信息9条
Call4Papers
5+阅读 · 2018年12月25日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
17+阅读 · 2018年12月24日
2018年中科院JCR分区发布！
2018年中科院JCR分区发布！
材料科学与工程
3+阅读 · 2018年12月11日
人工智能类 | 国际会议/SCI期刊专刊信息9条
人工智能类 | 国际会议/SCI期刊专刊信息9条
Call4Papers
4+阅读 · 2018年7月10日
人工智能 | 国际会议/SCI期刊约稿信息9条
人工智能 | 国际会议/SCI期刊约稿信息9条
Call4Papers
3+阅读 · 2018年1月12日
人工智能 | 国际会议截稿信息5条
人工智能 | 国际会议截稿信息5条
Call4Papers
6+阅读 · 2017年11月22日
相关论文
Differentiable Reasoning on Large Knowledge Bases and Natural Language
Arxiv
12+阅读 · 2019年12月17日
The Design and Implementation of XiaoIce, an Empathetic Social Chatbot
The Design and Implementation of XiaoIce, an Empathetic Social Chatbot
Arxiv
4+阅读 · 2018年12月21日
ConceptNet 5.5: An Open Multilingual Graph of General Knowledge
ConceptNet 5.5: An Open Multilingual Graph of General Knowledge
Arxiv
10+阅读 · 2018年12月11日
Neural-Symbolic VQA: Disentangling Reasoning from Vision and Language Understanding
Neural-Symbolic VQA: Disentangling Reasoning from Vision and Language Understanding
Arxiv
4+阅读 · 2018年10月4日
The Vadalog System: Datalog-based Reasoning for Knowledge Graphs
The Vadalog System: Datalog-based Reasoning for Knowledge Graphs
Arxiv
5+阅读 · 2018年7月23日
Emergent Translation in Multi-Agent Communication
Arxiv
3+阅读 · 2018年4月11日
Why not be Versatile? Applications of the SGNMT Decoder for Machine Translation
Arxiv
3+阅读 · 2018年3月20日
Interpretable Counting for Visual Question Answering
Arxiv
6+阅读 · 2018年3月2日
Zero-Resource Neural Machine Translation with Multi-Agent Communication Game
Arxiv
4+阅读 · 2018年2月9日
VQA: Visual Question Answering
Arxiv
9+阅读 · 2016年10月27日
Top
微信扫码咨询专知VIP会员
Top