会员服务
ETAPS ·
2019 年 7 月 8 日
Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning
翻译：第六次关于《关于核查和综合的合角条款》讲习班记录和第三次关于方案等值和相互关系理由讲习班记录
Emanuele De Angelis,Grigory Fedyukovich,Nikos Tzevelekos,Mattias Ulbrich
Emanuele De Angelis,Grigory Fedyukovich,Nikos Tzevelekos,Mattias Ulbrich

This volume contains the joint post-proceedings of the 3rd Workshop on Program Equivalence and Relational Reasoning (PERR) and the 6th Workshop on Horn Clauses for Verification and Synthesis (HCVS), which took place in Prague, Czech Republic on 6th and 7th April, respectively, as affiliated workshops of ETAPS.


翻译：本卷载有方案等值和关系理由问题第三次讲习班和核查和合成合营条款问题第六次讲习班的后期联合活动,这两个讲习班分别于4月6日和7日在捷克共和国布拉格举行,作为欧洲反恐和防扩散方案附属讲习班。
0
下载
关闭预览

相关内容

知识图谱推理，50页ppt，Salesforce首席科学家Richard Socher
知识图谱推理，50页ppt，Salesforce首席科学家Richard Socher
专知会员服务
109+阅读 · 2020年6月10日
神经网络与形式语言综述，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日
【毕业之路】如何修改博士论文？这份45页PPT《Editing your thesis》教你
【毕业之路】如何修改博士论文？这份45页PPT《Editing your thesis》教你
专知会员服务
77+阅读 · 2020年4月13日
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
专知会员服务
165+阅读 · 2020年3月18日
近期必读的5篇顶会CVPR 2020【图神经网络（GNN）】相关论文-Part2
近期必读的5篇顶会CVPR 2020【图神经网络（GNN）】相关论文-Part2
专知会员服务
84+阅读 · 2020年3月17日
【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
54+阅读 · 2020年1月30日
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日
最新BERT相关论文清单，BERT-related Papers
最新BERT相关论文清单，BERT-related Papers
专知会员服务
53+阅读 · 2019年9月29日
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
Call4Papers
10+阅读 · 2019年6月24日
19篇ICML2019论文摘录选读！
19篇ICML2019论文摘录选读！
专知
28+阅读 · 2019年4月28日
计算机 | EMNLP 2019等国际会议信息6条
计算机 | EMNLP 2019等国际会议信息6条
Call4Papers
18+阅读 · 2019年4月26日
CCF A类 | 顶级会议RTSS 2019诚邀稿件
CCF A类 | 顶级会议RTSS 2019诚邀稿件
Call4Papers
10+阅读 · 2019年4月17日
大数据 | 顶级SCI期刊专刊/国际会议信息7条
大数据 | 顶级SCI期刊专刊/国际会议信息7条
Call4Papers
10+阅读 · 2018年12月29日
计算机类 | ISCC 2019等国际会议信息9条
计算机类 | ISCC 2019等国际会议信息9条
Call4Papers
5+阅读 · 2018年12月25日
2018年中科院JCR分区发布！
2018年中科院JCR分区发布！
材料科学与工程
3+阅读 · 2018年12月11日
【NIPS2018】接收论文列表
【NIPS2018】接收论文列表
专知
5+阅读 · 2018年9月10日
人工智能 | 国际会议/SCI期刊约稿信息9条
人工智能 | 国际会议/SCI期刊约稿信息9条
Call4Papers
3+阅读 · 2018年1月12日
Adversarial Variational Bayes: Unifying VAE and GAN 代码
Adversarial Variational Bayes: Unifying VAE and GAN 代码
CreateAMind
7+阅读 · 2017年10月4日
Multi-Modal Graph Neural Network for Joint Reasoning on Vision and Scene Text
Multi-Modal Graph Neural Network for Joint Reasoning on Vision and Scene Text
Arxiv
10+阅读 · 2020年3月31日
Heterogeneous Relational Reasoning in Knowledge Graphs with Reinforcement Learning
Heterogeneous Relational Reasoning in Knowledge Graphs with Reinforcement Learning
Arxiv
10+阅读 · 2020年3月12日
Entity Context and Relational Paths for Knowledge Graph Completion
Arxiv
29+阅读 · 2020年2月17日
Iteratively Learning Embeddings and Rules for Knowledge Graph Reasoning
Arxiv
7+阅读 · 2019年3月21日
Learning Graph Embedding with Adversarial Training Methods
Learning Graph Embedding with Adversarial Training Methods
Arxiv
6+阅读 · 2019年1月4日
Relational inductive biases, deep learning, and graph networks
Arxiv
6+阅读 · 2018年10月17日
Neural-Brane: Neural Bayesian Personalized Ranking for Attributed Network Embedding
Arxiv
4+阅读 · 2018年4月23日
Variational Knowledge Graph Reasoning
Arxiv
15+阅读 · 2018年4月5日
An Interpretable Reasoning Network for Multi-Relation Question Answering
Arxiv
4+阅读 · 2018年3月8日
An overview of embedding models of entities and relationships for knowledge base completion
Arxiv
5+阅读 · 2018年2月3日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
ETAPS
相关VIP内容
知识图谱推理，50页ppt，Salesforce首席科学家Richard Socher
知识图谱推理，50页ppt，Salesforce首席科学家Richard Socher
专知会员服务
109+阅读 · 2020年6月10日
神经网络与形式语言综述，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日
【毕业之路】如何修改博士论文？这份45页PPT《Editing your thesis》教你
【毕业之路】如何修改博士论文？这份45页PPT《Editing your thesis》教你
专知会员服务
77+阅读 · 2020年4月13日
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
专知会员服务
165+阅读 · 2020年3月18日
近期必读的5篇顶会CVPR 2020【图神经网络（GNN）】相关论文-Part2
近期必读的5篇顶会CVPR 2020【图神经网络（GNN）】相关论文-Part2
专知会员服务
84+阅读 · 2020年3月17日
【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
54+阅读 · 2020年1月30日
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日
最新BERT相关论文清单，BERT-related Papers
最新BERT相关论文清单，BERT-related Papers
专知会员服务
53+阅读 · 2019年9月29日
热门VIP内容
相关资讯
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
Call4Papers
10+阅读 · 2019年6月24日
19篇ICML2019论文摘录选读！
19篇ICML2019论文摘录选读！
专知
28+阅读 · 2019年4月28日
计算机 | EMNLP 2019等国际会议信息6条
计算机 | EMNLP 2019等国际会议信息6条
Call4Papers
18+阅读 · 2019年4月26日
CCF A类 | 顶级会议RTSS 2019诚邀稿件
CCF A类 | 顶级会议RTSS 2019诚邀稿件
Call4Papers
10+阅读 · 2019年4月17日
大数据 | 顶级SCI期刊专刊/国际会议信息7条
大数据 | 顶级SCI期刊专刊/国际会议信息7条
Call4Papers
10+阅读 · 2018年12月29日
计算机类 | ISCC 2019等国际会议信息9条
计算机类 | ISCC 2019等国际会议信息9条
Call4Papers
5+阅读 · 2018年12月25日
2018年中科院JCR分区发布！
2018年中科院JCR分区发布！
材料科学与工程
3+阅读 · 2018年12月11日
【NIPS2018】接收论文列表
【NIPS2018】接收论文列表
专知
5+阅读 · 2018年9月10日
人工智能 | 国际会议/SCI期刊约稿信息9条
人工智能 | 国际会议/SCI期刊约稿信息9条
Call4Papers
3+阅读 · 2018年1月12日
Adversarial Variational Bayes: Unifying VAE and GAN 代码
Adversarial Variational Bayes: Unifying VAE and GAN 代码
CreateAMind
7+阅读 · 2017年10月4日
相关论文
Multi-Modal Graph Neural Network for Joint Reasoning on Vision and Scene Text
Multi-Modal Graph Neural Network for Joint Reasoning on Vision and Scene Text
Arxiv
10+阅读 · 2020年3月31日
Heterogeneous Relational Reasoning in Knowledge Graphs with Reinforcement Learning
Heterogeneous Relational Reasoning in Knowledge Graphs with Reinforcement Learning
Arxiv
10+阅读 · 2020年3月12日
Entity Context and Relational Paths for Knowledge Graph Completion
Arxiv
29+阅读 · 2020年2月17日
Iteratively Learning Embeddings and Rules for Knowledge Graph Reasoning
Arxiv
7+阅读 · 2019年3月21日
Learning Graph Embedding with Adversarial Training Methods
Learning Graph Embedding with Adversarial Training Methods
Arxiv
6+阅读 · 2019年1月4日
Relational inductive biases, deep learning, and graph networks
Arxiv
6+阅读 · 2018年10月17日
Neural-Brane: Neural Bayesian Personalized Ranking for Attributed Network Embedding
Arxiv
4+阅读 · 2018年4月23日
Variational Knowledge Graph Reasoning
Arxiv
15+阅读 · 2018年4月5日
An Interpretable Reasoning Network for Multi-Relation Question Answering
Arxiv
4+阅读 · 2018年3月8日
An overview of embedding models of entities and relationships for knowledge base completion
Arxiv
5+阅读 · 2018年2月3日
Top
微信扫码咨询专知VIP会员
Top