会员服务
KR是首屈一指的知识表示和推理国际会议。与一般AI会议相比，KR会议系列为研究人员研究由推理算法操纵的知识的显式表示提供了更为私密的环境，这为从事人工智能，计算机科学和软件工程的大量工作提供了重要基础。会议强调了知识表示和推理的理论原理以及这些原理及其在工作系统中的实施方式之间的关系。 官网地址：http://dblp.uni-trier.de/db/conf/kr/
Automated Reasoning in Systems Biology: a Necessity for Precision Medicine
Arxiv
0+阅读 · 10月17日
Sequential transport maps using SoS density estimation and $α$-divergences
Arxiv
0+阅读 · 10月2日
Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version)
Arxiv
0+阅读 · 9月10日
Synthetic Image Learning: Preserving Performance and Preventing Membership Inference Attacks
Arxiv
0+阅读 · 7月22日
Synthetic Image Learning: Preserving Performance and Preventing Membership Inference Attacks
Arxiv
0+阅读 · 7月30日
Unbalanced Kantorovich-Rubinstein distance, plan, and barycenter on finite spaces: A statistical perspective
Arxiv
0+阅读 · 7月23日
Tensor-train methods for sequential state and parameter learning in state-space models
Arxiv
0+阅读 · 7月3日
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version)
Arxiv
0+阅读 · 6月17日
Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version)
Arxiv
0+阅读 · 5月13日
Towards LogiGLUE: A Brief Survey and A Benchmark for Analyzing Logical Reasoning Capabilities of Language Models
Arxiv
0+阅读 · 3月31日
Sequential transport maps using SoS density estimation and $α$-divergences
Arxiv
0+阅读 · 2月27日
On the representation and learning of monotone triangular transport maps
Arxiv
0+阅读 · 2月24日
Approximating the Smallest $k$-Enclosing Geodesic Disc in a Simple Polygon
Arxiv
0+阅读 · 2月1日
From Knowledge Organization to Knowledge Representation and Back
Arxiv
0+阅读 · 1月22日
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version)
Arxiv
0+阅读 · 1月18日
参考链接
父主题
人工智能
微信扫码咨询专知VIP会员
Top