成为VIP会员查看完整内容
VIP会员码认证
首页
主题
发现
会员
服务
注册
·
登录
合一
关注
0
综合
百科
VIP
热门
动态
论文
精华
Unification in the description logic $\mathcal{FL}_\bot$
Arxiv
0+阅读 · 5月10日
Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification
Arxiv
0+阅读 · 5月3日
One is all you need: Second-order Unification without First-order Variables
Arxiv
0+阅读 · 5月5日
Unification in the description logic $\mathcal{FL}_\bot$
Arxiv
0+阅读 · 5月1日
Skolemisation for Intuitionistic Linear Logic
Arxiv
0+阅读 · 5月2日
Type Inference for Isabelle2Cpp
Arxiv
0+阅读 · 4月28日
One is all you need: Second-order Unification without First-order Variables
Arxiv
0+阅读 · 4月29日
One is all you need: Second-order Unification without First-order Variables
Arxiv
0+阅读 · 4月26日
Regular Typed Unification
Arxiv
0+阅读 · 4月25日
Simple but Effective Raw-Data Level Multimodal Fusion for Composed Image Retrieval
Arxiv
0+阅读 · 4月24日
Robust inference for the unification of confidence intervals in meta-analysis
Arxiv
0+阅读 · 4月21日
Proactive Software Supply Chain Risk Management Framework (P-SSCRM) Version 1
Arxiv
0+阅读 · 4月18日
Towards a Unification of Logic and Information Theory
Arxiv
0+阅读 · 4月16日
One is all you need: Second-order Unification without First-order Variables
Arxiv
0+阅读 · 4月16日
A faster algorithm for the construction of optimal factoring automata
Arxiv
0+阅读 · 4月2日
参考链接
提示
微信扫码
咨询专知VIP会员与技术项目合作
(加微信请备注: "专知")
微信扫码咨询专知VIP会员
Top