会员服务
LOPSTR · 变换 · SAS · Principle · 编程语言 ·
2016 年 9 月 1 日
Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)
翻译：第二十六届基于逻辑的方案综合和转变国际专题讨论会(2016年)的预筹备情况
Manuel V. Hermenegildo,Pedro Lopez-Garcia
Manuel V. Hermenegildo,Pedro Lopez-Garcia
from arxiv, Papers selected for presentation at LOPSTR 2016

This volume constitutes the pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), held on 6-8th September 2016 in Edinburgh, Scotland UK, and co-located with the 18th International Symposium on Principles and Practice of Declarative Programming (PPDP 2016) and the 23rd Static Analysis Symposium (SAS 2016). After discussion at the symposium papers will go through a second round of refereeing and selection for the formal proceedings.


翻译：该卷是2016年9月6日至8日在苏格兰爱丁堡举行的第26次基于逻辑的方案综合和转型国际专题讨论会(2016年LOPSTER)的预发本,与第18次宣布性方案规划原则和做法国际专题讨论会(2016年PPDP)和第23次静态分析专题讨论会(2016年SAS)合用同一地点。
0
下载
关闭预览

相关内容

LOPSTR是一个生动、友好的论坛，可以介绍和讨论正在进行的工作。正式的会议记录只有在研讨会结束后才产生，这样作者才能将这些反馈纳入已发表的论文中。目前，LOPSTR系列的目标是刺激和促进基于逻辑的程序开发方面的国际研究与合作。LOPSTR对任何语言范式中基于逻辑的程序开发都是开放的。官网链接：http://lopstr.webs.upv.es/
知识图谱推理，50页ppt，Salesforce首席科学家Richard Socher
知识图谱推理，50页ppt，Salesforce首席科学家Richard Socher
专知会员服务
106+阅读 · 2020年6月10日
【快讯】ICML 2020论文出炉，1088篇上榜， 你的paper中了吗？
【快讯】ICML 2020论文出炉，1088篇上榜， 你的paper中了吗？
专知会员服务
51+阅读 · 2020年6月1日
因果图，Causal Graphs，52页ppt
因果图，Causal Graphs，52页ppt
专知会员服务
246+阅读 · 2020年4月19日
【快讯】CVPR2020结果出炉，1470篇上榜， 你的paper中了吗？
【快讯】CVPR2020结果出炉，1470篇上榜， 你的paper中了吗？
专知会员服务
50+阅读 · 2020年2月24日
近期必读的5篇 WSDM 2020【图神经网络（GNN）】相关论文
近期必读的5篇 WSDM 2020【图神经网络（GNN）】相关论文
专知会员服务
56+阅读 · 2020年1月10日
【图机器学习论文】图神经网络的逻辑表达性（Logical Expressiveness of Graph Neural Networks）
【图机器学习论文】图神经网络的逻辑表达性（Logical Expressiveness of Graph Neural Networks）
专知会员服务
40+阅读 · 2019年12月30日
【ICCV 2019 Workshop】Complete Dictionary Learning via L4-Norm Maximization over the Orthogonal Grou， 加州大学伯克利分校 马毅
【ICCV 2019 Workshop】Complete Dictionary Learning via L4-Norm Maximization over the Orthogonal Grou， 加州大学伯克利分校 马毅
专知会员服务
15+阅读 · 2019年10月31日
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
专知会员服务
47+阅读 · 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
专知会员服务
34+阅读 · 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日
计算机类 | PLDI 2020等国际会议信息6条
计算机类 | PLDI 2020等国际会议信息6条
Call4Papers
3+阅读 · 2019年7月8日
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
Call4Papers
10+阅读 · 2019年6月24日
计算机类 | 低难度国际会议信息6条
计算机类 | 低难度国际会议信息6条
Call4Papers
6+阅读 · 2019年4月28日
计算机 | EMNLP 2019等国际会议信息6条
计算机 | EMNLP 2019等国际会议信息6条
Call4Papers
18+阅读 · 2019年4月26日
人工智能 | SCI期刊专刊/国际会议信息7条
人工智能 | SCI期刊专刊/国际会议信息7条
Call4Papers
7+阅读 · 2019年3月12日
大数据 | 顶级SCI期刊专刊/国际会议信息7条
大数据 | 顶级SCI期刊专刊/国际会议信息7条
Call4Papers
10+阅读 · 2018年12月29日
计算机类 | 11月截稿会议信息9条
计算机类 | 11月截稿会议信息9条
Call4Papers
6+阅读 · 2018年10月14日
人工智能类 | 国际会议/SCI期刊专刊信息9条
人工智能类 | 国际会议/SCI期刊专刊信息9条
Call4Papers
4+阅读 · 2018年7月10日
计算机类 | 期刊专刊截稿信息9条
计算机类 | 期刊专刊截稿信息9条
Call4Papers
4+阅读 · 2018年1月26日
人工智能 | 国际会议截稿信息5条
人工智能 | 国际会议截稿信息5条
Call4Papers
6+阅读 · 2017年11月22日
Hyper-Parameter Optimization: A Review of Algorithms and Applications
Hyper-Parameter Optimization: A Review of Algorithms and Applications
Arxiv
16+阅读 · 2020年3月12日
A Survey of Model Compression and Acceleration for Deep Neural Networks
Arxiv
66+阅读 · 2019年9月8日
Logic Rules Powered Knowledge Graph Embedding
Logic Rules Powered Knowledge Graph Embedding
Arxiv
7+阅读 · 2019年3月9日
Generative Graph Convolutional Network for Growing Graphs
Generative Graph Convolutional Network for Growing Graphs
Arxiv
3+阅读 · 2019年3月6日
Embedding Logical Queries on Knowledge Graphs
Embedding Logical Queries on Knowledge Graphs
Arxiv
3+阅读 · 2019年2月19日
Logic Attention Based Neighborhood Aggregation for Inductive Knowledge Graph Embedding
Arxiv
7+阅读 · 2018年11月4日
Semantics of Data Mining Services in Cloud Computing
Semantics of Data Mining Services in Cloud Computing
Arxiv
4+阅读 · 2018年10月5日
Supervised classification of Dermatological diseases by Deep learning
Supervised classification of Dermatological diseases by Deep learning
Arxiv
4+阅读 · 2018年7月31日
Differentiable Dynamic Programming for Structured Prediction and Attention
Arxiv
56+阅读 · 2018年2月20日
A review on cloud robotics based frameworks to solve simultaneous localization and mapping (slam) problem
Arxiv
4+阅读 · 2017年1月29日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
LOPSTR
变换
SAS
Principle
编程语言
相关VIP内容
知识图谱推理，50页ppt，Salesforce首席科学家Richard Socher
知识图谱推理，50页ppt，Salesforce首席科学家Richard Socher
专知会员服务
106+阅读 · 2020年6月10日
【快讯】ICML 2020论文出炉，1088篇上榜， 你的paper中了吗？
【快讯】ICML 2020论文出炉，1088篇上榜， 你的paper中了吗？
专知会员服务
51+阅读 · 2020年6月1日
因果图，Causal Graphs，52页ppt
因果图，Causal Graphs，52页ppt
专知会员服务
246+阅读 · 2020年4月19日
【快讯】CVPR2020结果出炉，1470篇上榜， 你的paper中了吗？
【快讯】CVPR2020结果出炉，1470篇上榜， 你的paper中了吗？
专知会员服务
50+阅读 · 2020年2月24日
近期必读的5篇 WSDM 2020【图神经网络（GNN）】相关论文
近期必读的5篇 WSDM 2020【图神经网络（GNN）】相关论文
专知会员服务
56+阅读 · 2020年1月10日
【图机器学习论文】图神经网络的逻辑表达性（Logical Expressiveness of Graph Neural Networks）
【图机器学习论文】图神经网络的逻辑表达性（Logical Expressiveness of Graph Neural Networks）
专知会员服务
40+阅读 · 2019年12月30日
【ICCV 2019 Workshop】Complete Dictionary Learning via L4-Norm Maximization over the Orthogonal Grou， 加州大学伯克利分校 马毅
【ICCV 2019 Workshop】Complete Dictionary Learning via L4-Norm Maximization over the Orthogonal Grou， 加州大学伯克利分校 马毅
专知会员服务
15+阅读 · 2019年10月31日
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
专知会员服务
47+阅读 · 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
专知会员服务
34+阅读 · 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内容
相关资讯
计算机类 | PLDI 2020等国际会议信息6条
计算机类 | PLDI 2020等国际会议信息6条
Call4Papers
3+阅读 · 2019年7月8日
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
Call4Papers
10+阅读 · 2019年6月24日
计算机类 | 低难度国际会议信息6条
计算机类 | 低难度国际会议信息6条
Call4Papers
6+阅读 · 2019年4月28日
计算机 | EMNLP 2019等国际会议信息6条
计算机 | EMNLP 2019等国际会议信息6条
Call4Papers
18+阅读 · 2019年4月26日
人工智能 | SCI期刊专刊/国际会议信息7条
人工智能 | SCI期刊专刊/国际会议信息7条
Call4Papers
7+阅读 · 2019年3月12日
大数据 | 顶级SCI期刊专刊/国际会议信息7条
大数据 | 顶级SCI期刊专刊/国际会议信息7条
Call4Papers
10+阅读 · 2018年12月29日
计算机类 | 11月截稿会议信息9条
计算机类 | 11月截稿会议信息9条
Call4Papers
6+阅读 · 2018年10月14日
人工智能类 | 国际会议/SCI期刊专刊信息9条
人工智能类 | 国际会议/SCI期刊专刊信息9条
Call4Papers
4+阅读 · 2018年7月10日
计算机类 | 期刊专刊截稿信息9条
计算机类 | 期刊专刊截稿信息9条
Call4Papers
4+阅读 · 2018年1月26日
人工智能 | 国际会议截稿信息5条
人工智能 | 国际会议截稿信息5条
Call4Papers
6+阅读 · 2017年11月22日
相关论文
Hyper-Parameter Optimization: A Review of Algorithms and Applications
Hyper-Parameter Optimization: A Review of Algorithms and Applications
Arxiv
16+阅读 · 2020年3月12日
A Survey of Model Compression and Acceleration for Deep Neural Networks
Arxiv
66+阅读 · 2019年9月8日
Logic Rules Powered Knowledge Graph Embedding
Logic Rules Powered Knowledge Graph Embedding
Arxiv
7+阅读 · 2019年3月9日
Generative Graph Convolutional Network for Growing Graphs
Generative Graph Convolutional Network for Growing Graphs
Arxiv
3+阅读 · 2019年3月6日
Embedding Logical Queries on Knowledge Graphs
Embedding Logical Queries on Knowledge Graphs
Arxiv
3+阅读 · 2019年2月19日
Logic Attention Based Neighborhood Aggregation for Inductive Knowledge Graph Embedding
Arxiv
7+阅读 · 2018年11月4日
Semantics of Data Mining Services in Cloud Computing
Semantics of Data Mining Services in Cloud Computing
Arxiv
4+阅读 · 2018年10月5日
Supervised classification of Dermatological diseases by Deep learning
Supervised classification of Dermatological diseases by Deep learning
Arxiv
4+阅读 · 2018年7月31日
Differentiable Dynamic Programming for Structured Prediction and Attention
Arxiv
56+阅读 · 2018年2月20日
A review on cloud robotics based frameworks to solve simultaneous localization and mapping (slam) problem
Arxiv
4+阅读 · 2017年1月29日
Top
微信扫码咨询专知VIP会员
Top