会员服务
值域 ·
2022 年 2 月 3 日
On expressive rule-based logics
翻译：明示的基于规则的逻辑
Antti Kuusisto
Antti Kuusisto

We investigate a family of rule-based logics. The focus is on very expressive languages. We provide a range of characterization results for the expressive powers of the logics and relate them with corresponding game systems.


翻译：我们调查一套有章可循的逻辑,重点是非常直观的语言,我们为逻辑的表达力提供一系列定性结果,并将这些结果与相应的游戏系统联系起来。
0
下载
关闭预览

相关内容

【USC-Aaron Chan博士答辩Slides】可信自然语言处理机器解释的生成与利用, 242页ppt，Generating and Utilizing Machine Explanations for Trustworthy NLP
【USC-Aaron Chan博士答辩Slides】可信自然语言处理机器解释的生成与利用, 242页ppt，Generating and Utilizing Machine Explanations for Trustworthy NLP
专知会员服务
13+阅读 · 2022年3月13日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
75+阅读 · 2020年7月26日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
91+阅读 · 2020年3月12日
【深度学习表格检测、信息提取和结构化】《Table Detection, Information Extraction and Structuring using Deep Learning》by Vihar Kurama
专知会员服务
35+阅读 · 2020年1月23日
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
专知会员服务
18+阅读 · 2019年10月22日
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
专知会员服务
31+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
53+阅读 · 2019年10月17日
开源书：PyTorch深度学习起步
开源书：PyTorch深度学习起步
专知会员服务
49+阅读 · 2019年10月11日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
98+阅读 · 2019年10月9日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
中国图象图形学学会CSIG
0+阅读 · 2021年11月16日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
中国图象图形学学会CSIG
2+阅读 · 2021年11月12日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
中国图象图形学学会CSIG
0+阅读 · 2021年11月10日
会议交流 | IJCKG: International Joint Conference on Knowledge Graphs
会议交流 | IJCKG: International Joint Conference on Knowledge Graphs
开放知识图谱
0+阅读 · 2021年9月9日
局部学习的特征选择：Local-Learning-Based Feature Selection
局部学习的特征选择：Local-Learning-Based Feature Selection
我爱读PAMI
14+阅读 · 2019年9月20日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
23+阅读 · 2019年5月22日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
可解释的CNN
可解释的CNN
CreateAMind
17+阅读 · 2017年10月5日
【推荐】RNN/LSTM时序预测
【推荐】RNN/LSTM时序预测
机器学习研究会
25+阅读 · 2017年9月8日
套子代数的Hochschild上同调及套的分类
国家自然科学基金
3+阅读 · 2014年12月31日
Vlasov-Poisson-Boltzmann方程研究
国家自然科学基金
0+阅读 · 2013年12月31日
基于CS算法的数字信号压缩和高效数字系统设计的研究
国家自然科学基金
0+阅读 · 2012年12月31日
红树林生境异质性的时空尺度效应与鱼类多样性的维持机制
国家自然科学基金
0+阅读 · 2012年12月31日
基于多尺度各向异性方向导数核的图象角点检测和分类理论与方法
国家自然科学基金
0+阅读 · 2012年12月31日
函数空间与度量测度空间上的分析
国家自然科学基金
0+阅读 · 2012年12月31日
大地测量中病态问题的分类解法及其应用研究
国家自然科学基金
0+阅读 · 2009年12月31日
编码密码学中若干组合对象研究
国家自然科学基金
0+阅读 · 2009年12月31日
基于MUAV平台的ARGIS扩展技术
国家自然科学基金
1+阅读 · 2009年12月31日
基于三维GIS的城市空间视觉分析研究
国家自然科学基金
1+阅读 · 2008年12月31日
On the relative asymptotic expressivity of inference frameworks
Arxiv
0+阅读 · 2022年4月20日
A Dynamic 3D Spontaneous Micro-expression Database: Establishment and Evaluation
Arxiv
0+阅读 · 2022年4月20日
GAM(e) changer or not? An evaluation of interpretable machine learning models based on additive model constraints
Arxiv
0+阅读 · 2022年4月19日
On-Demand Delivery from Stores: Dynamic Dispatching and Routing with Random Demand
On-Demand Delivery from Stores: Dynamic Dispatching and Routing with Random Demand
Arxiv
0+阅读 · 2022年4月18日
Category-theoretical Semantics of the Description Logic ALC (extended version)
Arxiv
0+阅读 · 2022年4月18日
A Logical Analysis of Dynamic Dependence
Arxiv
0+阅读 · 2022年4月16日
Undecidability and non-axiomatizability of modal many-valued logics
Arxiv
0+阅读 · 2022年4月15日
SOTVerse: A User-defined Task Space of Single Object Tracking
Arxiv
0+阅读 · 2022年4月15日
Fast Sparse Decision Tree Optimization via Reference Ensembles
Arxiv
0+阅读 · 2022年4月14日
X-BERT: eXtreme Multi-label Text Classification with BERT
X-BERT: eXtreme Multi-label Text Classification with BERT
Arxiv
12+阅读 · 2019年7月4日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
值域
相关VIP内容
【USC-Aaron Chan博士答辩Slides】可信自然语言处理机器解释的生成与利用, 242页ppt，Generating and Utilizing Machine Explanations for Trustworthy NLP
【USC-Aaron Chan博士答辩Slides】可信自然语言处理机器解释的生成与利用, 242页ppt，Generating and Utilizing Machine Explanations for Trustworthy NLP
专知会员服务
13+阅读 · 2022年3月13日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
75+阅读 · 2020年7月26日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
91+阅读 · 2020年3月12日
【深度学习表格检测、信息提取和结构化】《Table Detection, Information Extraction and Structuring using Deep Learning》by Vihar Kurama
专知会员服务
35+阅读 · 2020年1月23日
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
Aspect-Oriented Syntax Network for Aspect-Based Sentiment Analysis，中山大学数据科学与计算机学院权小军教授，第八届全国社会媒体处理大会SMP2019
专知会员服务
18+阅读 · 2019年10月22日
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
专知会员服务
31+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
53+阅读 · 2019年10月17日
开源书：PyTorch深度学习起步
开源书：PyTorch深度学习起步
专知会员服务
49+阅读 · 2019年10月11日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
98+阅读 · 2019年10月9日
热门VIP内容
相关资讯
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium8
中国图象图形学学会CSIG
0+阅读 · 2021年11月16日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
中国图象图形学学会CSIG
2+阅读 · 2021年11月12日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium4
中国图象图形学学会CSIG
0+阅读 · 2021年11月10日
会议交流 | IJCKG: International Joint Conference on Knowledge Graphs
会议交流 | IJCKG: International Joint Conference on Knowledge Graphs
开放知识图谱
0+阅读 · 2021年9月9日
局部学习的特征选择：Local-Learning-Based Feature Selection
局部学习的特征选择：Local-Learning-Based Feature Selection
我爱读PAMI
14+阅读 · 2019年9月20日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
23+阅读 · 2019年5月22日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
可解释的CNN
可解释的CNN
CreateAMind
17+阅读 · 2017年10月5日
【推荐】RNN/LSTM时序预测
【推荐】RNN/LSTM时序预测
机器学习研究会
25+阅读 · 2017年9月8日
相关论文
On the relative asymptotic expressivity of inference frameworks
Arxiv
0+阅读 · 2022年4月20日
A Dynamic 3D Spontaneous Micro-expression Database: Establishment and Evaluation
Arxiv
0+阅读 · 2022年4月20日
GAM(e) changer or not? An evaluation of interpretable machine learning models based on additive model constraints
Arxiv
0+阅读 · 2022年4月19日
On-Demand Delivery from Stores: Dynamic Dispatching and Routing with Random Demand
On-Demand Delivery from Stores: Dynamic Dispatching and Routing with Random Demand
Arxiv
0+阅读 · 2022年4月18日
Category-theoretical Semantics of the Description Logic ALC (extended version)
Arxiv
0+阅读 · 2022年4月18日
A Logical Analysis of Dynamic Dependence
Arxiv
0+阅读 · 2022年4月16日
Undecidability and non-axiomatizability of modal many-valued logics
Arxiv
0+阅读 · 2022年4月15日
SOTVerse: A User-defined Task Space of Single Object Tracking
Arxiv
0+阅读 · 2022年4月15日
Fast Sparse Decision Tree Optimization via Reference Ensembles
Arxiv
0+阅读 · 2022年4月14日
X-BERT: eXtreme Multi-label Text Classification with BERT
X-BERT: eXtreme Multi-label Text Classification with BERT
Arxiv
12+阅读 · 2019年7月4日
相关基金
套子代数的Hochschild上同调及套的分类
国家自然科学基金
3+阅读 · 2014年12月31日
Vlasov-Poisson-Boltzmann方程研究
国家自然科学基金
0+阅读 · 2013年12月31日
基于CS算法的数字信号压缩和高效数字系统设计的研究
国家自然科学基金
0+阅读 · 2012年12月31日
红树林生境异质性的时空尺度效应与鱼类多样性的维持机制
国家自然科学基金
0+阅读 · 2012年12月31日
基于多尺度各向异性方向导数核的图象角点检测和分类理论与方法
国家自然科学基金
0+阅读 · 2012年12月31日
函数空间与度量测度空间上的分析
国家自然科学基金
0+阅读 · 2012年12月31日
大地测量中病态问题的分类解法及其应用研究
国家自然科学基金
0+阅读 · 2009年12月31日
编码密码学中若干组合对象研究
国家自然科学基金
0+阅读 · 2009年12月31日
基于MUAV平台的ARGIS扩展技术
国家自然科学基金
1+阅读 · 2009年12月31日
基于三维GIS的城市空间视觉分析研究
国家自然科学基金
1+阅读 · 2008年12月31日
Top
微信扫码咨询专知VIP会员
Top