会员服务
讲稿 ·
2023 年 2 月 14 日
From ATL to Stit
翻译：从ATL到Stit
Aldo Iván Ramírez Abarca
Aldo Iván Ramírez Abarca
from arxiv, Preprint

I present a technical embedding of alternating-time temporal logic into stit theory.


翻译：我提出一个技术问题,将交替时间时间推论嵌入stitt理论中。
0
下载
关闭预览

相关内容

高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
72+阅读 · 2022年3月15日
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
专知会员服务
113+阅读 · 2020年4月5日
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
专知会员服务
161+阅读 · 2020年3月18日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
92+阅读 · 2020年3月12日
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
专知会员服务
87+阅读 · 2020年2月12日
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
专知会员服务
75+阅读 · 2020年2月8日
图机器学习导论，69页ppt，An introduction to machine learning on graphs
图机器学习导论，69页ppt，An introduction to machine learning on graphs
专知会员服务
377+阅读 · 2019年12月27日
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日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
99+阅读 · 2019年10月9日
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
图与推荐
1+阅读 · 2022年11月2日
VCIP 2022 Call for Demos
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
征稿 | International Joint Conference on Knowledge Graphs (IJCKG)
征稿 | International Joint Conference on Knowledge Graphs (IJCKG)
开放知识图谱
2+阅读 · 2022年5月20日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
23+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
26+阅读 · 2019年5月18日
逆强化学习-学习人先验的动机
逆强化学习-学习人先验的动机
CreateAMind
15+阅读 · 2019年1月18日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
41+阅读 · 2019年1月3日
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日
【论文推荐】最新八篇情感分析相关论文—Pair-wise判别器、多模态情感分析、上下文语境、Gated 卷积网络
【论文推荐】最新八篇情感分析相关论文—Pair-wise判别器、多模态情感分析、上下文语境、Gated 卷积网络
专知
20+阅读 · 2018年6月29日
Hierarchical Imitation - Reinforcement Learning
Hierarchical Imitation - Reinforcement Learning
CreateAMind
19+阅读 · 2018年5月25日
细菌角蛋白酶KerF降解角蛋白过程与分子机制
国家自然科学基金
0+阅读 · 2015年12月31日
“核HO-1”调控miRNA-125a-5p影响血脊髓屏障结构和功能的机制研究
国家自然科学基金
0+阅读 · 2014年12月31日
Neuregulin-1/ErbB信号传导系统在缺血性心脏病心肌血管重构中的作用及机制
国家自然科学基金
0+阅读 · 2014年12月31日
荧光-磁双模态纳米载体装载Survivin siRNA 对胶质瘤干细胞增殖的影响及作用机制研究
国家自然科学基金
0+阅读 · 2013年12月31日
鸡糖类营养转运蛋白基因的表达调控网络构建
国家自然科学基金
0+阅读 · 2011年12月31日
Gax基因干预chemerin介导的血管周围脂肪细胞增殖分化的研究
国家自然科学基金
0+阅读 · 2011年12月31日
基于WRF模式系统的InSAR大气校正方法研究
国家自然科学基金
0+阅读 · 2011年12月31日
衰老过程中骨骼肌萎缩的机制研究
国家自然科学基金
0+阅读 · 2009年12月31日
量子微结构中的电子-光子耦合激发
国家自然科学基金
0+阅读 · 2008年12月31日
磁性Pickering乳液界面流变学研究
国家自然科学基金
0+阅读 · 2008年12月31日
Characterizing the Users, Challenges, and Visualization Needs of Knowledge Graphs in Practice
Arxiv
0+阅读 · 2023年4月6日
Machine Translation from Signed to Spoken Languages: State of the Art and Challenges
Arxiv
0+阅读 · 2023年4月5日
List Online Classification
Arxiv
0+阅读 · 2023年4月4日
Adversarial Robustness of Representation Learning for Knowledge Graphs
Arxiv
10+阅读 · 2022年9月30日
Graph-Based Deep Learning for Medical Diagnosis and Analysis: Past, Present and Future
Graph-Based Deep Learning for Medical Diagnosis and Analysis: Past, Present and Future
Arxiv
36+阅读 · 2021年5月27日
Learning from Very Few Samples: A Survey
Arxiv
126+阅读 · 2020年9月6日
A Survey on Knowledge Graphs: Representation, Acquisition and Applications
Arxiv
93+阅读 · 2020年2月2日
Learning Attention-based Embeddings for Relation Prediction in Knowledge Graphs
Arxiv
39+阅读 · 2019年6月4日
GAN Dissection: Visualizing and Understanding Generative Adversarial Networks
GAN Dissection: Visualizing and Understanding Generative Adversarial Networks
Arxiv
11+阅读 · 2018年12月8日
From Knowledge Graph Embedding to Ontology Embedding: Region Based Representations of Relational Structures
Arxiv
10+阅读 · 2018年5月26日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
讲稿
相关VIP内容
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
72+阅读 · 2022年3月15日
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
专知会员服务
113+阅读 · 2020年4月5日
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
100+篇《自监督学习(Self-Supervised Learning)》论文最新合集
专知会员服务
161+阅读 · 2020年3月18日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
92+阅读 · 2020年3月12日
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
【新书】数字图像(影像)处理手第二版，2176pdf，Mathematical Methods in Imaging
专知会员服务
87+阅读 · 2020年2月12日
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
【新书：机器学习简介】《A Concise Introduction to Machine Learning》by A.C. Faul (CRC 2019)
专知会员服务
75+阅读 · 2020年2月8日
图机器学习导论，69页ppt，An introduction to machine learning on graphs
图机器学习导论，69页ppt，An introduction to machine learning on graphs
专知会员服务
377+阅读 · 2019年12月27日
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日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
99+阅读 · 2019年10月9日
热门VIP内容
相关资讯
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
图与推荐
1+阅读 · 2022年11月2日
VCIP 2022 Call for Demos
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
征稿 | International Joint Conference on Knowledge Graphs (IJCKG)
征稿 | International Joint Conference on Knowledge Graphs (IJCKG)
开放知识图谱
2+阅读 · 2022年5月20日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
23+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
26+阅读 · 2019年5月18日
逆强化学习-学习人先验的动机
逆强化学习-学习人先验的动机
CreateAMind
15+阅读 · 2019年1月18日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
41+阅读 · 2019年1月3日
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日
【论文推荐】最新八篇情感分析相关论文—Pair-wise判别器、多模态情感分析、上下文语境、Gated 卷积网络
【论文推荐】最新八篇情感分析相关论文—Pair-wise判别器、多模态情感分析、上下文语境、Gated 卷积网络
专知
20+阅读 · 2018年6月29日
Hierarchical Imitation - Reinforcement Learning
Hierarchical Imitation - Reinforcement Learning
CreateAMind
19+阅读 · 2018年5月25日
相关论文
Characterizing the Users, Challenges, and Visualization Needs of Knowledge Graphs in Practice
Arxiv
0+阅读 · 2023年4月6日
Machine Translation from Signed to Spoken Languages: State of the Art and Challenges
Arxiv
0+阅读 · 2023年4月5日
List Online Classification
Arxiv
0+阅读 · 2023年4月4日
Adversarial Robustness of Representation Learning for Knowledge Graphs
Arxiv
10+阅读 · 2022年9月30日
Graph-Based Deep Learning for Medical Diagnosis and Analysis: Past, Present and Future
Graph-Based Deep Learning for Medical Diagnosis and Analysis: Past, Present and Future
Arxiv
36+阅读 · 2021年5月27日
Learning from Very Few Samples: A Survey
Arxiv
126+阅读 · 2020年9月6日
A Survey on Knowledge Graphs: Representation, Acquisition and Applications
Arxiv
93+阅读 · 2020年2月2日
Learning Attention-based Embeddings for Relation Prediction in Knowledge Graphs
Arxiv
39+阅读 · 2019年6月4日
GAN Dissection: Visualizing and Understanding Generative Adversarial Networks
GAN Dissection: Visualizing and Understanding Generative Adversarial Networks
Arxiv
11+阅读 · 2018年12月8日
From Knowledge Graph Embedding to Ontology Embedding: Region Based Representations of Relational Structures
Arxiv
10+阅读 · 2018年5月26日
相关基金
细菌角蛋白酶KerF降解角蛋白过程与分子机制
国家自然科学基金
0+阅读 · 2015年12月31日
“核HO-1”调控miRNA-125a-5p影响血脊髓屏障结构和功能的机制研究
国家自然科学基金
0+阅读 · 2014年12月31日
Neuregulin-1/ErbB信号传导系统在缺血性心脏病心肌血管重构中的作用及机制
国家自然科学基金
0+阅读 · 2014年12月31日
荧光-磁双模态纳米载体装载Survivin siRNA 对胶质瘤干细胞增殖的影响及作用机制研究
国家自然科学基金
0+阅读 · 2013年12月31日
鸡糖类营养转运蛋白基因的表达调控网络构建
国家自然科学基金
0+阅读 · 2011年12月31日
Gax基因干预chemerin介导的血管周围脂肪细胞增殖分化的研究
国家自然科学基金
0+阅读 · 2011年12月31日
基于WRF模式系统的InSAR大气校正方法研究
国家自然科学基金
0+阅读 · 2011年12月31日
衰老过程中骨骼肌萎缩的机制研究
国家自然科学基金
0+阅读 · 2009年12月31日
量子微结构中的电子-光子耦合激发
国家自然科学基金
0+阅读 · 2008年12月31日
磁性Pickering乳液界面流变学研究
国家自然科学基金
0+阅读 · 2008年12月31日
Top
微信扫码咨询专知VIP会员
Top