会员服务
LOPSTR · 变换 · Principle · 泛函 ·
2018 年 8 月 16 日
Pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018)
翻译：第28次基于逻辑的方案综合和转变国际专题讨论会(2018年LOPSTR)的预筹备情况
Fred Mesnard,Peter J. Stuckey
Fred Mesnard,Peter J. Stuckey
from arxiv, Corrected typos

This volume constitutes the pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018), held on 4-6th September 2018 in Frankfurt am Main, Germany and co-located with the 20th International Symposium on Principles and Practice of Declarative Programming (PPDP 2018) and the 26th International Workshop on Functional and Logic Programming (WFLP 2018).


翻译：该卷是2018年9月4日至6日在德国美因河畔法兰克福举行的第28次基于逻辑的方案综合和转型国际专题讨论会(2018年)的预发本,与第20次宣布性方案拟定原则和做法国际专题讨论会(2018年PPDP)和第26次功能和逻辑方案编制国际讲习班(2018年WFLP)合用同一地点。
0
下载
关闭预览

相关内容

LOPSTR是一个生动、友好的论坛，可以介绍和讨论正在进行的工作。正式的会议记录只有在研讨会结束后才产生，这样作者才能将这些反馈纳入已发表的论文中。目前，LOPSTR系列的目标是刺激和促进基于逻辑的程序开发方面的国际研究与合作。LOPSTR对任何语言范式中基于逻辑的程序开发都是开放的。官网链接：http://lopstr.webs.upv.es/
【快讯】ICML 2020论文出炉，1088篇上榜， 你的paper中了吗？
【快讯】ICML 2020论文出炉，1088篇上榜， 你的paper中了吗？
专知会员服务
51+阅读 · 2020年6月1日
因果图，Causal Graphs，52页ppt
因果图，Causal Graphs，52页ppt
专知会员服务
246+阅读 · 2020年4月19日
【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
53+阅读 · 2020年1月30日
【斯坦福大学】TASO:基于深度学习优化的自动生成图变换 （TASO: Optimizing Deep Learning with Automatic Generation of Graph Substitutions），35页ppt
【斯坦福大学】TASO:基于深度学习优化的自动生成图变换 （TASO: Optimizing Deep Learning with Automatic Generation of Graph Substitutions），35页ppt
专知会员服务
9+阅读 · 2019年12月22日
【斯坦福大学Chelsea Finn-NeurIPS 2019】贝叶斯元学习
【斯坦福大学Chelsea Finn-NeurIPS 2019】贝叶斯元学习
专知会员服务
37+阅读 · 2019年12月17日
【CVPR 2019 | tutorial】野外家庭的视觉识别： Visual Recognition of Families In the Wild
【CVPR 2019 | tutorial】野外家庭的视觉识别： Visual Recognition of Families In the Wild
专知会员服务
9+阅读 · 2019年11月28日
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
专知会员服务
18+阅读 · 2019年10月22日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
34+阅读 · 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
专知会员服务
56+阅读 · 2019年10月17日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
151+阅读 · 2019年10月12日
CCF推荐 | 国际会议信息6条
CCF推荐 | 国际会议信息6条
Call4Papers
9+阅读 · 2019年8月13日
计算机类 | PLDI 2020等国际会议信息6条
计算机类 | PLDI 2020等国际会议信息6条
Call4Papers
3+阅读 · 2019年7月8日
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
Call4Papers
10+阅读 · 2019年6月24日
计算机 | EMNLP 2019等国际会议信息6条
计算机 | EMNLP 2019等国际会议信息6条
Call4Papers
18+阅读 · 2019年4月26日
CCF A类 | 顶级会议RTSS 2019诚邀稿件
CCF A类 | 顶级会议RTSS 2019诚邀稿件
Call4Papers
10+阅读 · 2019年4月17日
Call for Participation: Shared Tasks in NLPCC 2019
Call for Participation: Shared Tasks in NLPCC 2019
中国计算机学会
5+阅读 · 2019年3月22日
IEEE | DSC 2019诚邀稿件 (EI检索)
IEEE | DSC 2019诚邀稿件 (EI检索)
Call4Papers
10+阅读 · 2019年2月25日
计算机类 | ISCC 2019等国际会议信息9条
计算机类 | ISCC 2019等国际会议信息9条
Call4Papers
5+阅读 · 2018年12月25日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
人工智能 | 国际会议/SCI期刊约稿信息9条
人工智能 | 国际会议/SCI期刊约稿信息9条
Call4Papers
3+阅读 · 2018年1月12日
Generating Fact Checking Explanations
Generating Fact Checking Explanations
Arxiv
9+阅读 · 2020年4月13日
Visualization and Interpretation of Latent Spaces for Controlling Expressive Speech Synthesis through Audio Analysis
Visualization and Interpretation of Latent Spaces for Controlling Expressive Speech Synthesis through Audio Analysis
Arxiv
4+阅读 · 2019年3月27日
Embedding Logical Queries on Knowledge Graphs
Embedding Logical Queries on Knowledge Graphs
Arxiv
3+阅读 · 2019年2月19日
Attributed Network Embedding via Subspace Discovery
Arxiv
4+阅读 · 2019年1月14日
Deep Structured Prediction with Nonlinear Output Transformations
Arxiv
4+阅读 · 2018年11月1日
On The Alignment Problem In Multi-Head Attention-Based Neural Machine Translation
On The Alignment Problem In Multi-Head Attention-Based Neural Machine Translation
Arxiv
3+阅读 · 2018年9月11日
Premise selection with neural networks and distributed representation of features
Arxiv
3+阅读 · 2018年7月26日
Japanese Predicate Conjugation for Neural Machine Translation
Arxiv
3+阅读 · 2018年5月25日
Neural Network Interpretation via Fine Grained Textual Summarization
Arxiv
6+阅读 · 2018年5月23日
Network Embedding as Matrix Factorization: Unifying DeepWalk, LINE, PTE, and node2vec
Arxiv
17+阅读 · 2017年12月12日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
LOPSTR
变换
Principle
泛函
相关VIP内容
【快讯】ICML 2020论文出炉，1088篇上榜， 你的paper中了吗？
【快讯】ICML 2020论文出炉，1088篇上榜， 你的paper中了吗？
专知会员服务
51+阅读 · 2020年6月1日
因果图，Causal Graphs，52页ppt
因果图，Causal Graphs，52页ppt
专知会员服务
246+阅读 · 2020年4月19日
【跨语言BERT模型大集合】Transfer learning is increasingly going multilingual with language-specific BERT models
专知会员服务
53+阅读 · 2020年1月30日
【斯坦福大学】TASO:基于深度学习优化的自动生成图变换 （TASO: Optimizing Deep Learning with Automatic Generation of Graph Substitutions），35页ppt
【斯坦福大学】TASO:基于深度学习优化的自动生成图变换 （TASO: Optimizing Deep Learning with Automatic Generation of Graph Substitutions），35页ppt
专知会员服务
9+阅读 · 2019年12月22日
【斯坦福大学Chelsea Finn-NeurIPS 2019】贝叶斯元学习
【斯坦福大学Chelsea Finn-NeurIPS 2019】贝叶斯元学习
专知会员服务
37+阅读 · 2019年12月17日
【CVPR 2019 | tutorial】野外家庭的视觉识别： Visual Recognition of Families In the Wild
【CVPR 2019 | tutorial】野外家庭的视觉识别： Visual Recognition of Families In the Wild
专知会员服务
9+阅读 · 2019年11月28日
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
专知会员服务
18+阅读 · 2019年10月22日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
34+阅读 · 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
专知会员服务
56+阅读 · 2019年10月17日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
151+阅读 · 2019年10月12日
热门VIP内容
相关资讯
CCF推荐 | 国际会议信息6条
CCF推荐 | 国际会议信息6条
Call4Papers
9+阅读 · 2019年8月13日
计算机类 | PLDI 2020等国际会议信息6条
计算机类 | PLDI 2020等国际会议信息6条
Call4Papers
3+阅读 · 2019年7月8日
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
Call4Papers
10+阅读 · 2019年6月24日
计算机 | EMNLP 2019等国际会议信息6条
计算机 | EMNLP 2019等国际会议信息6条
Call4Papers
18+阅读 · 2019年4月26日
CCF A类 | 顶级会议RTSS 2019诚邀稿件
CCF A类 | 顶级会议RTSS 2019诚邀稿件
Call4Papers
10+阅读 · 2019年4月17日
Call for Participation: Shared Tasks in NLPCC 2019
Call for Participation: Shared Tasks in NLPCC 2019
中国计算机学会
5+阅读 · 2019年3月22日
IEEE | DSC 2019诚邀稿件 (EI检索)
IEEE | DSC 2019诚邀稿件 (EI检索)
Call4Papers
10+阅读 · 2019年2月25日
计算机类 | ISCC 2019等国际会议信息9条
计算机类 | ISCC 2019等国际会议信息9条
Call4Papers
5+阅读 · 2018年12月25日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
人工智能 | 国际会议/SCI期刊约稿信息9条
人工智能 | 国际会议/SCI期刊约稿信息9条
Call4Papers
3+阅读 · 2018年1月12日
相关论文
Generating Fact Checking Explanations
Generating Fact Checking Explanations
Arxiv
9+阅读 · 2020年4月13日
Visualization and Interpretation of Latent Spaces for Controlling Expressive Speech Synthesis through Audio Analysis
Visualization and Interpretation of Latent Spaces for Controlling Expressive Speech Synthesis through Audio Analysis
Arxiv
4+阅读 · 2019年3月27日
Embedding Logical Queries on Knowledge Graphs
Embedding Logical Queries on Knowledge Graphs
Arxiv
3+阅读 · 2019年2月19日
Attributed Network Embedding via Subspace Discovery
Arxiv
4+阅读 · 2019年1月14日
Deep Structured Prediction with Nonlinear Output Transformations
Arxiv
4+阅读 · 2018年11月1日
On The Alignment Problem In Multi-Head Attention-Based Neural Machine Translation
On The Alignment Problem In Multi-Head Attention-Based Neural Machine Translation
Arxiv
3+阅读 · 2018年9月11日
Premise selection with neural networks and distributed representation of features
Arxiv
3+阅读 · 2018年7月26日
Japanese Predicate Conjugation for Neural Machine Translation
Arxiv
3+阅读 · 2018年5月25日
Neural Network Interpretation via Fine Grained Textual Summarization
Arxiv
6+阅读 · 2018年5月23日
Network Embedding as Matrix Factorization: Unifying DeepWalk, LINE, PTE, and node2vec
Arxiv
17+阅读 · 2017年12月12日
Top
微信扫码咨询专知VIP会员
Top