会员服务
MoDELS ·
6 月 25 日
The Model Checking Problem for Distributed Knowing How is $Δ^p_2$-Complete
翻译：暂无翻译
Ziqi Wang,Ronald de Haan
Ziqi Wang,Ronald de Haan

We investigate the complexity of the model checking problem for distributed knowing how. We show that the problem is $Δ^p_2$-complete.


翻译：暂无翻译
0
下载
关闭预览

相关内容

AAAI 2026 | 构建模板-定理知识图谱以增强大语言模型的数学推理能力
AAAI 2026 | 构建模板-定理知识图谱以增强大语言模型的数学推理能力
专知会员服务
20+阅读 · 1月17日
EMNLP 2025 | RTQA：递归思想求解复杂的时间知识图谱问答
EMNLP 2025 | RTQA：递归思想求解复杂的时间知识图谱问答
专知会员服务
12+阅读 · 2025年11月7日
【AAAI2022】知识图谱表示模型是如何进行外推的?
【AAAI2022】知识图谱表示模型是如何进行外推的?
专知会员服务
23+阅读 · 2022年2月2日
最新《知识图谱复杂问答》综述论文，A Survey on Complex Question Answering over Knowledge Base: Recent Advances and Challenges
最新《知识图谱复杂问答》综述论文，A Survey on Complex Question Answering over Knowledge Base: Recent Advances and Challenges
专知会员服务
74+阅读 · 2020年7月28日
Query2box: 使用盒嵌入对向量空间中的知识图谱进行推理，Query2box: Reasoning over Knowledge Graphs in Vector Space Using Box Embeddings
专知会员服务
46+阅读 · 2020年5月11日
【IJCAI2020】统计相关模型，A Complete Characterization of Projectivity for Statistical Relational Models
【IJCAI2020】统计相关模型，A Complete Characterization of Projectivity for Statistical Relational Models
专知会员服务
21+阅读 · 2020年4月25日
【NeurlPS2019论文强烈推荐】vGraph:联合社区检测和节点表示学习的生成模型，vGraph: A Generative Model for Joint Community Detection and Node Representational Learning
【NeurlPS2019论文强烈推荐】vGraph:联合社区检测和节点表示学习的生成模型，vGraph: A Generative Model for Joint Community Detection and Node Representational Learning
专知会员服务
30+阅读 · 2019年12月17日
【KDD2019|讲座推荐】假设检验与统计声音模式挖掘：Hypothesis Testing and Statistically-sound Pattern Mining
【KDD2019|讲座推荐】假设检验与统计声音模式挖掘：Hypothesis Testing and Statistically-sound Pattern Mining
专知会员服务
22+阅读 · 2019年12月6日
【论文|知识图谱】小样本知识图谱补全，Few-Shot Knowledge Graph Completion
【论文|知识图谱】小样本知识图谱补全，Few-Shot Knowledge Graph Completion
专知会员服务
121+阅读 · 2019年11月30日
From Data to Model Programming: Injecting Structured Priors for Knowledge Extraction，南加州大学计算机科学系任翔助理教授，CIPS ATT 16（2019）
From Data to Model Programming: Injecting Structured Priors for Knowledge Extraction，南加州大学计算机科学系任翔助理教授，CIPS ATT 16（2019）
专知会员服务
14+阅读 · 2019年10月25日
[AAAI 2021]图到图：面向精确可解释的联机手写数学公式识别
[AAAI 2021]图到图：面向精确可解释的联机手写数学公式识别
专知
11+阅读 · 2021年2月19日
KG 高引论文解读两篇 | 两种模型：多层卷积神经网络、知识感知路径递归网络
KG 高引论文解读两篇 | 两种模型：多层卷积神经网络、知识感知路径递归网络
学术头条
18+阅读 · 2019年12月8日
论文浅尝 | 利用知识-意识阅读器改进的不完整知识图谱问答方法
论文浅尝 | 利用知识-意识阅读器改进的不完整知识图谱问答方法
开放知识图谱
14+阅读 · 2019年10月27日
论文浅尝 | 基于深度序列模型的知识图谱补全
论文浅尝 | 基于深度序列模型的知识图谱补全
开放知识图谱
29+阅读 · 2019年5月19日
如何理解模型的过拟合与欠拟合，以及如何解决？
如何理解模型的过拟合与欠拟合，以及如何解决？
七月在线实验室
12+阅读 · 2019年4月23日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
论文浅尝 | 用可微的逻辑规则学习完成知识库推理
论文浅尝 | 用可微的逻辑规则学习完成知识库推理
开放知识图谱
14+阅读 · 2018年7月5日
论文浅尝 | 嵌入常识知识的注意力 LSTM 模型用于特定目标的基于侧面的情感分析
论文浅尝 | 嵌入常识知识的注意力 LSTM 模型用于特定目标的基于侧面的情感分析
开放知识图谱
28+阅读 · 2018年6月11日
论文浅尝 | 知识图谱问答中的层次类型约束主题实体识别
论文浅尝 | 知识图谱问答中的层次类型约束主题实体识别
开放知识图谱
10+阅读 · 2018年5月14日
【论文推荐】最新6篇视觉问答（VQA）相关论文—目标推理、深度循环模型、可解释性、数据可视化、Triplet学习、基准
【论文推荐】最新6篇视觉问答（VQA）相关论文—目标推理、深度循环模型、可解释性、数据可视化、Triplet学习、基准
专知
15+阅读 · 2018年2月3日
测量误差数据下部分线性模型有约束统计推断理论
国家自然科学基金
2+阅读 · 2015年12月31日
高维半参数模型假设检验问题的研究
国家自然科学基金
1+阅读 · 2015年12月31日
基于复杂数据的回归模型统计推断及其应用
国家自然科学基金
3+阅读 · 2015年12月31日
关联规则集上的知识发现
国家自然科学基金
9+阅读 · 2015年12月31日
几类含∞-Laplace算子的特征值问题的研究
国家自然科学基金
1+阅读 · 2015年12月31日
平面上几类椭圆型方程解的集中现象
国家自然科学基金
0+阅读 · 2015年12月31日
测量误差数据下约束线性模型的有偏估计及变量选择研究
国家自然科学基金
0+阅读 · 2014年12月31日
基于概率图的文本检索模型及算法研究
国家自然科学基金
2+阅读 · 2014年12月31日
相依回归模型与扩散过程的统计推断及其应用
国家自然科学基金
1+阅读 · 2014年12月31日
多元数据与函数型数据的序贯检验方法与控制图研究
国家自然科学基金
0+阅读 · 2014年12月31日
A Dataset for Modeling Iterative Problem-Solving
Arxiv
0+阅读 · 9月1日
A cautious approach to constraint-based causal model selection
Arxiv
0+阅读 · 8月25日
Ex-Omni-2D: Expressive Omni-Modal Dialogue Models with Native Visual Presence
Arxiv
0+阅读 · 8月11日
What, Where, and How: Disentangling the Roles of Task, Language, and Model in Code Model Representations
Arxiv
0+阅读 · 7月23日
Sample Is Feature: Beyond Item-Level, Toward Sample-Level Tokens for Unified Large Recommender Models
Arxiv
0+阅读 · 7月16日
A Survey on Code Equivalence: The State-of-the-Art and Open Questions
Arxiv
0+阅读 · 7月15日
General and Efficient Steering of Diffusion Models
Arxiv
0+阅读 · 6月26日
An Expectation-Maximization Algorithm for Training Clean Diffusion Models from Corrupted Observations
Arxiv
0+阅读 · 6月26日
Model checking in finite fields and finite groups
Arxiv
0+阅读 · 6月23日
Model Complexity of Deep Learning: A Survey
Arxiv
33+阅读 · 2021年3月8日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
MoDELS
最新内容
分层反无人机系统发展新趋势
分层反无人机系统发展新趋势
专知会员服务
5+阅读 · 9月3日
《使用基于模型的系统工程建模战斗机机动案例研究》
《使用基于模型的系统工程建模战斗机机动案例研究》
专知会员服务
7+阅读 · 9月3日
《集成增强现实与实时位置数据及仿真的辅助实时决策》
《集成增强现实与实时位置数据及仿真的辅助实时决策》
专知会员服务
5+阅读 · 9月3日
从可靠性到适配：人工智能赋能任务式指挥中的信任、适应与分布式认知
从可靠性到适配：人工智能赋能任务式指挥中的信任、适应与分布式认知
专知会员服务
9+阅读 · 9月2日
《利用大型语言模型自动生成SysML v2制导、导航和控制系统》170页
《利用大型语言模型自动生成SysML v2制导、导航和控制系统》170页
专知会员服务
13+阅读 · 9月2日
何为协作武器？
何为协作武器？
专知会员服务
9+阅读 · 9月1日
《战斗无人机蜂群设计：多智能体自主系统中的扩展与权衡》
《战斗无人机蜂群设计：多智能体自主系统中的扩展与权衡》
专知会员服务
13+阅读 · 9月1日
《理解认知战：超越信息》
《理解认知战：超越信息》
专知会员服务
13+阅读 · 9月1日
美国战争部在GenAI.mil上推出OpenAI的ChatGPT Mil
美国战争部在GenAI.mil上推出OpenAI的ChatGPT Mil
专知会员服务
8+阅读 · 8月31日
人工智能赋能军事维护：重新定义国防战备
人工智能赋能军事维护：重新定义国防战备
专知会员服务
5+阅读 · 8月31日
综述 | 低资源语言中的大模型安全对齐：方法、风险与评测体系
综述 | 低资源语言中的大模型安全对齐：方法、风险与评测体系
专知会员服务
7+阅读 · 8月31日
博士论文 | 因果NLP基础：面向语言数据与语言模型的因果推断框架
博士论文 | 因果NLP基础：面向语言数据与语言模型的因果推断框架
专知会员服务
10+阅读 · 8月31日
《美陆军野战手册（2026年）：特种部队》
《美陆军野战手册（2026年）：特种部队》
专知会员服务
8+阅读 · 8月31日
《创业战争：风险投资、硅谷、五角大楼与未来之战》200页
《创业战争：风险投资、硅谷、五角大楼与未来之战》200页
专知会员服务
10+阅读 · 8月31日
综述 | 扩散与流模型中的表示学习：从生成到感知再到统一应用
综述 | 扩散与流模型中的表示学习：从生成到感知再到统一应用
专知会员服务
6+阅读 · 8月30日
相关VIP内容
AAAI 2026 | 构建模板-定理知识图谱以增强大语言模型的数学推理能力
AAAI 2026 | 构建模板-定理知识图谱以增强大语言模型的数学推理能力
专知会员服务
20+阅读 · 1月17日
EMNLP 2025 | RTQA：递归思想求解复杂的时间知识图谱问答
EMNLP 2025 | RTQA：递归思想求解复杂的时间知识图谱问答
专知会员服务
12+阅读 · 2025年11月7日
【AAAI2022】知识图谱表示模型是如何进行外推的?
【AAAI2022】知识图谱表示模型是如何进行外推的?
专知会员服务
23+阅读 · 2022年2月2日
最新《知识图谱复杂问答》综述论文，A Survey on Complex Question Answering over Knowledge Base: Recent Advances and Challenges
最新《知识图谱复杂问答》综述论文，A Survey on Complex Question Answering over Knowledge Base: Recent Advances and Challenges
专知会员服务
74+阅读 · 2020年7月28日
Query2box: 使用盒嵌入对向量空间中的知识图谱进行推理，Query2box: Reasoning over Knowledge Graphs in Vector Space Using Box Embeddings
专知会员服务
46+阅读 · 2020年5月11日
【IJCAI2020】统计相关模型，A Complete Characterization of Projectivity for Statistical Relational Models
【IJCAI2020】统计相关模型，A Complete Characterization of Projectivity for Statistical Relational Models
专知会员服务
21+阅读 · 2020年4月25日
【NeurlPS2019论文强烈推荐】vGraph:联合社区检测和节点表示学习的生成模型，vGraph: A Generative Model for Joint Community Detection and Node Representational Learning
【NeurlPS2019论文强烈推荐】vGraph:联合社区检测和节点表示学习的生成模型，vGraph: A Generative Model for Joint Community Detection and Node Representational Learning
专知会员服务
30+阅读 · 2019年12月17日
【KDD2019|讲座推荐】假设检验与统计声音模式挖掘：Hypothesis Testing and Statistically-sound Pattern Mining
【KDD2019|讲座推荐】假设检验与统计声音模式挖掘：Hypothesis Testing and Statistically-sound Pattern Mining
专知会员服务
22+阅读 · 2019年12月6日
【论文|知识图谱】小样本知识图谱补全，Few-Shot Knowledge Graph Completion
【论文|知识图谱】小样本知识图谱补全，Few-Shot Knowledge Graph Completion
专知会员服务
121+阅读 · 2019年11月30日
From Data to Model Programming: Injecting Structured Priors for Knowledge Extraction，南加州大学计算机科学系任翔助理教授，CIPS ATT 16（2019）
From Data to Model Programming: Injecting Structured Priors for Knowledge Extraction，南加州大学计算机科学系任翔助理教授，CIPS ATT 16（2019）
专知会员服务
14+阅读 · 2019年10月25日
热门VIP内容
相关资讯
[AAAI 2021]图到图：面向精确可解释的联机手写数学公式识别
[AAAI 2021]图到图：面向精确可解释的联机手写数学公式识别
专知
11+阅读 · 2021年2月19日
KG 高引论文解读两篇 | 两种模型：多层卷积神经网络、知识感知路径递归网络
KG 高引论文解读两篇 | 两种模型：多层卷积神经网络、知识感知路径递归网络
学术头条
18+阅读 · 2019年12月8日
论文浅尝 | 利用知识-意识阅读器改进的不完整知识图谱问答方法
论文浅尝 | 利用知识-意识阅读器改进的不完整知识图谱问答方法
开放知识图谱
14+阅读 · 2019年10月27日
论文浅尝 | 基于深度序列模型的知识图谱补全
论文浅尝 | 基于深度序列模型的知识图谱补全
开放知识图谱
29+阅读 · 2019年5月19日
如何理解模型的过拟合与欠拟合，以及如何解决？
如何理解模型的过拟合与欠拟合，以及如何解决？
七月在线实验室
12+阅读 · 2019年4月23日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
论文浅尝 | 用可微的逻辑规则学习完成知识库推理
论文浅尝 | 用可微的逻辑规则学习完成知识库推理
开放知识图谱
14+阅读 · 2018年7月5日
论文浅尝 | 嵌入常识知识的注意力 LSTM 模型用于特定目标的基于侧面的情感分析
论文浅尝 | 嵌入常识知识的注意力 LSTM 模型用于特定目标的基于侧面的情感分析
开放知识图谱
28+阅读 · 2018年6月11日
论文浅尝 | 知识图谱问答中的层次类型约束主题实体识别
论文浅尝 | 知识图谱问答中的层次类型约束主题实体识别
开放知识图谱
10+阅读 · 2018年5月14日
【论文推荐】最新6篇视觉问答（VQA）相关论文—目标推理、深度循环模型、可解释性、数据可视化、Triplet学习、基准
【论文推荐】最新6篇视觉问答（VQA）相关论文—目标推理、深度循环模型、可解释性、数据可视化、Triplet学习、基准
专知
15+阅读 · 2018年2月3日
相关论文
A Dataset for Modeling Iterative Problem-Solving
Arxiv
0+阅读 · 9月1日
A cautious approach to constraint-based causal model selection
Arxiv
0+阅读 · 8月25日
Ex-Omni-2D: Expressive Omni-Modal Dialogue Models with Native Visual Presence
Arxiv
0+阅读 · 8月11日
What, Where, and How: Disentangling the Roles of Task, Language, and Model in Code Model Representations
Arxiv
0+阅读 · 7月23日
Sample Is Feature: Beyond Item-Level, Toward Sample-Level Tokens for Unified Large Recommender Models
Arxiv
0+阅读 · 7月16日
A Survey on Code Equivalence: The State-of-the-Art and Open Questions
Arxiv
0+阅读 · 7月15日
General and Efficient Steering of Diffusion Models
Arxiv
0+阅读 · 6月26日
An Expectation-Maximization Algorithm for Training Clean Diffusion Models from Corrupted Observations
Arxiv
0+阅读 · 6月26日
Model checking in finite fields and finite groups
Arxiv
0+阅读 · 6月23日
Model Complexity of Deep Learning: A Survey
Arxiv
33+阅读 · 2021年3月8日
相关基金
测量误差数据下部分线性模型有约束统计推断理论
国家自然科学基金
2+阅读 · 2015年12月31日
高维半参数模型假设检验问题的研究
国家自然科学基金
1+阅读 · 2015年12月31日
基于复杂数据的回归模型统计推断及其应用
国家自然科学基金
3+阅读 · 2015年12月31日
关联规则集上的知识发现
国家自然科学基金
9+阅读 · 2015年12月31日
几类含∞-Laplace算子的特征值问题的研究
国家自然科学基金
1+阅读 · 2015年12月31日
平面上几类椭圆型方程解的集中现象
国家自然科学基金
0+阅读 · 2015年12月31日
测量误差数据下约束线性模型的有偏估计及变量选择研究
国家自然科学基金
0+阅读 · 2014年12月31日
基于概率图的文本检索模型及算法研究
国家自然科学基金
2+阅读 · 2014年12月31日
相依回归模型与扩散过程的统计推断及其应用
国家自然科学基金
1+阅读 · 2014年12月31日
多元数据与函数型数据的序贯检验方法与控制图研究
国家自然科学基金
0+阅读 · 2014年12月31日
Top
微信扫码咨询专知VIP会员
Top