会员服务
分离的 · MoDELS · 操作 ·
2021 年 4 月 30 日
Resource separation in dynamic logic of propositional assignments
翻译：以动态逻辑将资源分离为根据的建议性转让的动态逻辑
Joseph Boudou,Andreas Herzig,Nicolas Troquard
Joseph Boudou,Andreas Herzig,Nicolas Troquard

We extend dynamic logic of propositional assignments by adding an operator of parallel composition that is inspired by separation logics. We provide an axiomatisation via reduction axioms, thereby establishing decidability. We also prove that the complexity of both the model checking and the satisfiability problem stay in PSPACE.


翻译：我们通过在分离逻辑的启发下增加一个平行构成的操作员来扩展提议分配的动态逻辑。 我们通过减少轴心,从而确立可衰减性,提供了一种异同化。 我们还证明模式检查的复杂性和可相对性问题在PSPACE中都存在。
0
下载
关闭预览

相关内容

《机器学习思维导图》，一图掌握机器学习知识要点
《机器学习思维导图》，一图掌握机器学习知识要点
专知会员服务
68+阅读 · 2021年1月12日
【干货书】机器学习速查手册，135页pdf
【干货书】机器学习速查手册，135页pdf
专知会员服务
123+阅读 · 2020年11月20日
因果图，Causal Graphs，52页ppt
因果图，Causal Graphs，52页ppt
专知会员服务
240+阅读 · 2020年4月19日
和积网络综述论文，Sum-product networks: A survey，24页pdf
和积网络综述论文，Sum-product networks: A survey，24页pdf
专知会员服务
23+阅读 · 2020年4月3日
【CVPR2020】视觉跟踪的概率回归，Probabilistic Regression for Visual Tracking
【CVPR2020】视觉跟踪的概率回归，Probabilistic Regression for Visual Tracking
专知会员服务
36+阅读 · 2020年3月27日
UC.Berkeley CS189讲义教材:《机器学习全面指南》，185页pdf
专知会员服务
158+阅读 · 2020年1月16日
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
专知会员服务
45+阅读 · 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
专知会员服务
32+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
169+阅读 · 2019年10月11日
【新书】Python编程基础，669页pdf
【新书】Python编程基础，669页pdf
专知会员服务
187+阅读 · 2019年10月10日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
26+阅读 · 2019年5月18日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
已删除
已删除
将门创投
4+阅读 · 2018年1月19日
【论文】变分推断（Variational inference)的总结
【论文】变分推断（Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
【学习】Hierarchical Softmax
【学习】Hierarchical Softmax
机器学习研究会
4+阅读 · 2017年8月6日
Deep splitting method for parabolic PDEs
Arxiv
0+阅读 · 2021年6月21日
Solving the linear approximation problem
Arxiv
0+阅读 · 2021年6月20日
Classical Planning as QBF without Grounding (extended version)
Classical Planning as QBF without Grounding (extended version)
Arxiv
0+阅读 · 2021年6月18日
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization
Arxiv
0+阅读 · 2021年6月17日
Relative Positional Encoding for Transformers with Linear Complexity
Arxiv
8+阅读 · 2021年5月18日
Beta Embeddings for Multi-Hop Logical Reasoning in Knowledge Graphs
Arxiv
9+阅读 · 2020年10月22日
Leveraging Declarative Knowledge in Text and First-Order Logic for Fine-Grained Propaganda Detection
Arxiv
4+阅读 · 2020年4月29日
(FPT-)Approximation Algorithms for the Virtual Network Embedding Problem
Arxiv
4+阅读 · 2018年3月12日
Neural Response Generation with Dynamic Vocabularies
Arxiv
5+阅读 · 2017年11月30日
Improving Object Localization with Fitness NMS and Bounded IoU Loss
Arxiv
4+阅读 · 2017年11月8日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
分离的
MoDELS
操作
相关VIP内容
《机器学习思维导图》，一图掌握机器学习知识要点
《机器学习思维导图》，一图掌握机器学习知识要点
专知会员服务
68+阅读 · 2021年1月12日
【干货书】机器学习速查手册，135页pdf
【干货书】机器学习速查手册，135页pdf
专知会员服务
123+阅读 · 2020年11月20日
因果图，Causal Graphs，52页ppt
因果图，Causal Graphs，52页ppt
专知会员服务
240+阅读 · 2020年4月19日
和积网络综述论文，Sum-product networks: A survey，24页pdf
和积网络综述论文，Sum-product networks: A survey，24页pdf
专知会员服务
23+阅读 · 2020年4月3日
【CVPR2020】视觉跟踪的概率回归，Probabilistic Regression for Visual Tracking
【CVPR2020】视觉跟踪的概率回归，Probabilistic Regression for Visual Tracking
专知会员服务
36+阅读 · 2020年3月27日
UC.Berkeley CS189讲义教材:《机器学习全面指南》，185页pdf
专知会员服务
158+阅读 · 2020年1月16日
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
专知会员服务
45+阅读 · 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
专知会员服务
32+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
169+阅读 · 2019年10月11日
【新书】Python编程基础，669页pdf
【新书】Python编程基础，669页pdf
专知会员服务
187+阅读 · 2019年10月10日
热门VIP内容
相关资讯
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
26+阅读 · 2019年5月18日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
已删除
已删除
将门创投
4+阅读 · 2018年1月19日
【论文】变分推断（Variational inference)的总结
【论文】变分推断（Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
【学习】Hierarchical Softmax
【学习】Hierarchical Softmax
机器学习研究会
4+阅读 · 2017年8月6日
相关论文
Deep splitting method for parabolic PDEs
Arxiv
0+阅读 · 2021年6月21日
Solving the linear approximation problem
Arxiv
0+阅读 · 2021年6月20日
Classical Planning as QBF without Grounding (extended version)
Classical Planning as QBF without Grounding (extended version)
Arxiv
0+阅读 · 2021年6月18日
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization
Arxiv
0+阅读 · 2021年6月17日
Relative Positional Encoding for Transformers with Linear Complexity
Arxiv
8+阅读 · 2021年5月18日
Beta Embeddings for Multi-Hop Logical Reasoning in Knowledge Graphs
Arxiv
9+阅读 · 2020年10月22日
Leveraging Declarative Knowledge in Text and First-Order Logic for Fine-Grained Propaganda Detection
Arxiv
4+阅读 · 2020年4月29日
(FPT-)Approximation Algorithms for the Virtual Network Embedding Problem
Arxiv
4+阅读 · 2018年3月12日
Neural Response Generation with Dynamic Vocabularies
Arxiv
5+阅读 · 2017年11月30日
Improving Object Localization with Fitness NMS and Bounded IoU Loss
Arxiv
4+阅读 · 2017年11月8日
Top
微信扫码咨询专知VIP会员
Top