会员服务
Craig Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System
Arxiv
0+阅读 · 2月17日
Object-Oriented Transition Modeling with Inductive Logic Programming
Arxiv
0+阅读 · 2月7日
Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI
Arxiv
0+阅读 · 2月6日
Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI
Arxiv
0+阅读 · 2月11日
Language Models and Logic Programs for Trustworthy Tax Reasoning
Language Models and Logic Programs for Trustworthy Tax Reasoning
Arxiv
0+阅读 · 2月5日
ASP-Bench: From Natural Language to Logic Programs
Arxiv
0+阅读 · 2月1日
Are Language Models Efficient Reasoners? A Perspective from Logic Programming
Arxiv
0+阅读 · 1月15日
Probabilistic Linear Logic Programming with an application to Bayesian Networks computations
Arxiv
0+阅读 · 1月19日
Functional Logic Program Transformations
Arxiv
0+阅读 · 1月19日
Learning Logical Rules using Minimum Message Length
Arxiv
0+阅读 · 1月23日
Subgraph Isomorphism: Prolog vs. Conventional
Arxiv
0+阅读 · 1月12日
Types for Grassroots Logic Programs
Arxiv
0+阅读 · 1月25日
Types for Grassroots Logic Programs
Arxiv
0+阅读 · 1月28日
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日
参考链接
微信扫码咨询专知VIP会员
Top