会员服务
6 月 30 日
Possibly Relevant Translations
翻译：暂无翻译
Søren Brinck Knudstorp
Søren Brinck Knudstorp
from arxiv, In Proceedings AiML 2026, arXiv:2606.29444

We develop translations from relevant logics into normal modal logics, and use them to clarify structural connections between relevant and modal logic, obtain a few corollary results, and raise questions for future work.


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

相关内容

【CVPR 2022】跨模态检索的协同双流视觉-语言前训练模型，COTS: Collaborative Two-Stream Vision-Language Pre-Training Model for Cross-Modal Retrieval
【CVPR 2022】跨模态检索的协同双流视觉-语言前训练模型，COTS: Collaborative Two-Stream Vision-Language Pre-Training Model for Cross-Modal Retrieval
专知会员服务
13+阅读 · 2022年3月12日
【CVPR 2022】基于元内存传输的跨域少镜头语义分割，Remember the Difference: Cross-Domain Few-Shot Semantic Segmentation via Meta-Memory Transfer
【CVPR 2022】基于元内存传输的跨域少镜头语义分割，Remember the Difference: Cross-Domain Few-Shot Semantic Segmentation via Meta-Memory Transfer
专知会员服务
14+阅读 · 2022年3月12日
【2022新书】Transformer自然语言处理，Natural Language Processing with Transformers: Building Language Applications with Hugging Face
【2022新书】Transformer自然语言处理，Natural Language Processing with Transformers: Building Language Applications with Hugging Face
专知会员服务
524+阅读 · 2022年1月31日
【CVPR2021】基于Transformers 从序列到序列的角度重新思考语义分割
【CVPR2021】基于Transformers 从序列到序列的角度重新思考语义分割
专知会员服务
44+阅读 · 2021年3月15日
【预训练论文】预训练Transformer校准，Calibration of Pre-trained Transformers
【预训练论文】预训练Transformer校准，Calibration of Pre-trained Transformers
专知会员服务
26+阅读 · 2020年3月19日
【CHI2020-微软】解释可解释性:理解数据科学家使用机器学习的可解释性工具，Interpreting Interpretability: Understanding Data Scientists’Use of Interpretability Tools for Machine Learning
【CHI2020-微软】解释可解释性:理解数据科学家使用机器学习的可解释性工具，Interpreting Interpretability: Understanding Data Scientists’Use of Interpretability Tools for Machine Learning
专知会员服务
55+阅读 · 2020年3月8日
【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， 加州大学伯克利分校 马毅
专知会员服务
16+阅读 · 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
专知会员服务
50+阅读 · 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
专知会员服务
37+阅读 · 2019年10月17日
Stabilizing Transformers for Reinforcement Learning
Stabilizing Transformers for Reinforcement Learning
专知会员服务
61+阅读 · 2019年10月17日
NLP大牛Thomas Wolf等新书《Transformer自然语言处理》，466页pdf及代码
NLP大牛Thomas Wolf等新书《Transformer自然语言处理》，466页pdf及代码
专知
36+阅读 · 2022年2月7日
从头开始了解Transformer
从头开始了解Transformer
AI科技评论
25+阅读 · 2019年8月28日
强化学习三篇论文 避免遗忘等
强化学习三篇论文 避免遗忘等
CreateAMind
20+阅读 · 2019年5月24日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
29+阅读 · 2019年5月18日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
论文浅尝 | 用可微的逻辑规则学习完成知识库推理
论文浅尝 | 用可微的逻辑规则学习完成知识库推理
开放知识图谱
14+阅读 · 2018年7月5日
论文浅尝 | Question Answering over Freebase
论文浅尝 | Question Answering over Freebase
开放知识图谱
19+阅读 · 2018年1月9日
【论文】变分推断（Variational inference)的总结
【论文】变分推断（Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
Word2Vec 与 GloVe 技术浅析与对比
Word2Vec 与 GloVe 技术浅析与对比
LibRec智能推荐
25+阅读 · 2017年5月15日
汉英篇章衔接对齐资源构建与分析研究
国家自然科学基金
2+阅读 · 2015年12月31日
基于复杂数据的回归模型统计推断及其应用
国家自然科学基金
3+阅读 · 2015年12月31日
具有重构特征的系统可靠性建模方法研究
国家自然科学基金
0+阅读 · 2015年12月31日
基于形态和多词的有限语料蒙汉互译调序优化方法
国家自然科学基金
0+阅读 · 2015年12月31日
基于犹豫模糊语言信息的定性决策理论与方法
国家自然科学基金
2+阅读 · 2015年12月31日
关联规则集上的知识发现
国家自然科学基金
9+阅读 · 2015年12月31日
中文句子语义概念图自动构建方法及应用研究
国家自然科学基金
3+阅读 · 2014年12月31日
大规模轨迹数据的地理空间关联解译及分析挖掘研究
国家自然科学基金
1+阅读 · 2014年12月31日
基于关系语义的空间场景信息理解
国家自然科学基金
5+阅读 · 2014年12月31日
一种全新的结构修改重分析方法及其应用
国家自然科学基金
0+阅读 · 2014年12月31日
How Far Do Simple Transformations Translate Across Text Embedding Models?
Arxiv
0+阅读 · 9月2日
The Topological Trouble With Transformers
The Topological Trouble With Transformers
Arxiv
0+阅读 · 9月1日
Performance-Efficiency Tradeoffs in Transformers: An Approximation Theory Perspective
Arxiv
0+阅读 · 9月1日
Large Reasoning Models Struggle to Transfer Parametric Knowledge Across Scripts
Arxiv
0+阅读 · 8月28日
Recovering Explanations from Transformed Rule-Based Ontologies
Arxiv
0+阅读 · 7月31日
The Complexity of the Constructive Master Modality
Arxiv
0+阅读 · 7月21日
A Constrained Optimization Perspective of Unrolled Transformers
Arxiv
0+阅读 · 7月6日
The Context-Ready Transformer
Arxiv
0+阅读 · 6月25日
Transformer in Transformer
Arxiv
11+阅读 · 2021年10月26日
Deep contextualized word representations
Arxiv
10+阅读 · 2018年3月22日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
最新内容
俄罗斯如何拦截乌克兰无人机与巡航导弹
俄罗斯如何拦截乌克兰无人机与巡航导弹
专知会员服务
8+阅读 · 10月15日
《封锁、捕获与打击：“史诗怒火”行动中经济战法的复兴》
《封锁、捕获与打击：“史诗怒火”行动中经济战法的复兴》
专知会员服务
9+阅读 · 10月15日
《武器-目标分配问题：精确与近似求解算法》
《武器-目标分配问题：精确与近似求解算法》
专知会员服务
8+阅读 · 10月15日
《以创新锻造杀伤力：第116步兵旅战斗队向机动旅战斗队转型中的电磁战与多域集成》
《以创新锻造杀伤力：第116步兵旅战斗队向机动旅战斗队转型中的电磁战与多域集成》
专知会员服务
6+阅读 · 10月15日
现代电磁战：集成式系统簇时代如何实现频谱优势
现代电磁战：集成式系统簇时代如何实现频谱优势
专知会员服务
7+阅读 · 10月14日
综述｜大模型评测是否过量？基准压缩的方法、成本与可靠性
综述｜大模型评测是否过量？基准压缩的方法、成本与可靠性
专知会员服务
6+阅读 · 10月14日
综述｜谁来改进机器人？迈向物理递归自我改进
综述｜谁来改进机器人？迈向物理递归自我改进
专知会员服务
9+阅读 · 10月14日
《迈向防空协同中段制导：一种连续武器-目标分配视角》
《迈向防空协同中段制导：一种连续武器-目标分配视角》
专知会员服务
8+阅读 · 10月14日
《兵棋推演真正教给我们的是什么：威胁识别，而非预测》
《兵棋推演真正教给我们的是什么：威胁识别，而非预测》
专知会员服务
10+阅读 · 10月14日
《电磁对抗环境下战场指挥与控制系统的弹性：基于依赖型隐马尔可夫模型的电子战对通信网络影响建模》
《电磁对抗环境下战场指挥与控制系统的弹性：基于依赖型隐马尔可夫模型的电子战对通信网络影响建模》
专知会员服务
7+阅读 · 10月14日
软件定义无人机蜂群给防空带来全新压力
软件定义无人机蜂群给防空带来全新压力
专知会员服务
10+阅读 · 10月13日
《半自主无人地面战车的互操作性》66页
《半自主无人地面战车的互操作性》66页
专知会员服务
13+阅读 · 10月13日
《鲁棒武器-目标分配方法在预测拦截点不确定条件下的应用》
《鲁棒武器-目标分配方法在预测拦截点不确定条件下的应用》
专知会员服务
9+阅读 · 10月13日
《攻击型无人机操作员能力向模拟训练的映射框架研究》130页
《攻击型无人机操作员能力向模拟训练的映射框架研究》130页
专知会员服务
10+阅读 · 10月13日
《加速作战司令部能力部署：指定作战司令官作为联合作战问题的执行代理》
《加速作战司令部能力部署：指定作战司令官作为联合作战问题的执行代理》
专知会员服务
7+阅读 · 10月13日
相关VIP内容
【CVPR 2022】跨模态检索的协同双流视觉-语言前训练模型，COTS: Collaborative Two-Stream Vision-Language Pre-Training Model for Cross-Modal Retrieval
【CVPR 2022】跨模态检索的协同双流视觉-语言前训练模型，COTS: Collaborative Two-Stream Vision-Language Pre-Training Model for Cross-Modal Retrieval
专知会员服务
13+阅读 · 2022年3月12日
【CVPR 2022】基于元内存传输的跨域少镜头语义分割，Remember the Difference: Cross-Domain Few-Shot Semantic Segmentation via Meta-Memory Transfer
【CVPR 2022】基于元内存传输的跨域少镜头语义分割，Remember the Difference: Cross-Domain Few-Shot Semantic Segmentation via Meta-Memory Transfer
专知会员服务
14+阅读 · 2022年3月12日
【2022新书】Transformer自然语言处理，Natural Language Processing with Transformers: Building Language Applications with Hugging Face
【2022新书】Transformer自然语言处理，Natural Language Processing with Transformers: Building Language Applications with Hugging Face
专知会员服务
524+阅读 · 2022年1月31日
【CVPR2021】基于Transformers 从序列到序列的角度重新思考语义分割
【CVPR2021】基于Transformers 从序列到序列的角度重新思考语义分割
专知会员服务
44+阅读 · 2021年3月15日
【预训练论文】预训练Transformer校准，Calibration of Pre-trained Transformers
【预训练论文】预训练Transformer校准，Calibration of Pre-trained Transformers
专知会员服务
26+阅读 · 2020年3月19日
【CHI2020-微软】解释可解释性:理解数据科学家使用机器学习的可解释性工具，Interpreting Interpretability: Understanding Data Scientists’Use of Interpretability Tools for Machine Learning
【CHI2020-微软】解释可解释性:理解数据科学家使用机器学习的可解释性工具，Interpreting Interpretability: Understanding Data Scientists’Use of Interpretability Tools for Machine Learning
专知会员服务
55+阅读 · 2020年3月8日
【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， 加州大学伯克利分校 马毅
专知会员服务
16+阅读 · 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
专知会员服务
50+阅读 · 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
专知会员服务
37+阅读 · 2019年10月17日
Stabilizing Transformers for Reinforcement Learning
Stabilizing Transformers for Reinforcement Learning
专知会员服务
61+阅读 · 2019年10月17日
热门VIP内容
相关资讯
NLP大牛Thomas Wolf等新书《Transformer自然语言处理》，466页pdf及代码
NLP大牛Thomas Wolf等新书《Transformer自然语言处理》，466页pdf及代码
专知
36+阅读 · 2022年2月7日
从头开始了解Transformer
从头开始了解Transformer
AI科技评论
25+阅读 · 2019年8月28日
强化学习三篇论文 避免遗忘等
强化学习三篇论文 避免遗忘等
CreateAMind
20+阅读 · 2019年5月24日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
29+阅读 · 2019年5月18日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
论文浅尝 | 用可微的逻辑规则学习完成知识库推理
论文浅尝 | 用可微的逻辑规则学习完成知识库推理
开放知识图谱
14+阅读 · 2018年7月5日
论文浅尝 | Question Answering over Freebase
论文浅尝 | Question Answering over Freebase
开放知识图谱
19+阅读 · 2018年1月9日
【论文】变分推断（Variational inference)的总结
【论文】变分推断（Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
Word2Vec 与 GloVe 技术浅析与对比
Word2Vec 与 GloVe 技术浅析与对比
LibRec智能推荐
25+阅读 · 2017年5月15日
相关论文
How Far Do Simple Transformations Translate Across Text Embedding Models?
Arxiv
0+阅读 · 9月2日
The Topological Trouble With Transformers
The Topological Trouble With Transformers
Arxiv
0+阅读 · 9月1日
Performance-Efficiency Tradeoffs in Transformers: An Approximation Theory Perspective
Arxiv
0+阅读 · 9月1日
Large Reasoning Models Struggle to Transfer Parametric Knowledge Across Scripts
Arxiv
0+阅读 · 8月28日
Recovering Explanations from Transformed Rule-Based Ontologies
Arxiv
0+阅读 · 7月31日
The Complexity of the Constructive Master Modality
Arxiv
0+阅读 · 7月21日
A Constrained Optimization Perspective of Unrolled Transformers
Arxiv
0+阅读 · 7月6日
The Context-Ready Transformer
Arxiv
0+阅读 · 6月25日
Transformer in Transformer
Arxiv
11+阅读 · 2021年10月26日
Deep contextualized word representations
Arxiv
10+阅读 · 2018年3月22日
相关基金
汉英篇章衔接对齐资源构建与分析研究
国家自然科学基金
2+阅读 · 2015年12月31日
基于复杂数据的回归模型统计推断及其应用
国家自然科学基金
3+阅读 · 2015年12月31日
具有重构特征的系统可靠性建模方法研究
国家自然科学基金
0+阅读 · 2015年12月31日
基于形态和多词的有限语料蒙汉互译调序优化方法
国家自然科学基金
0+阅读 · 2015年12月31日
基于犹豫模糊语言信息的定性决策理论与方法
国家自然科学基金
2+阅读 · 2015年12月31日
关联规则集上的知识发现
国家自然科学基金
9+阅读 · 2015年12月31日
中文句子语义概念图自动构建方法及应用研究
国家自然科学基金
3+阅读 · 2014年12月31日
大规模轨迹数据的地理空间关联解译及分析挖掘研究
国家自然科学基金
1+阅读 · 2014年12月31日
基于关系语义的空间场景信息理解
国家自然科学基金
5+阅读 · 2014年12月31日
一种全新的结构修改重分析方法及其应用
国家自然科学基金
0+阅读 · 2014年12月31日
Top
微信扫码咨询专知VIP会员
Top