会员服务
Craig Interpolation for HT with a Variation of Mints' Sequent System
Arxiv
0+阅读 · 1月7日
On the Trap Space Semantics of Normal Logic Programs
Arxiv
0+阅读 · 1月7日
Logic Programming with Extensible Types
Arxiv
0+阅读 · 1月7日
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
Arxiv
0+阅读 · 2025年11月13日
smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation
Arxiv
0+阅读 · 2023年4月17日
smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation
Arxiv
0+阅读 · 2023年4月3日
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics
Arxiv
0+阅读 · 2023年3月29日
参考链接
微信扫码咨询专知VIP会员
Top