会员服务
The algebra of Krom logic programs
Arxiv
0+阅读 · 6月14日
Set-like operations on propositional logic programs
Arxiv
0+阅读 · 6月1日
Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics
Arxiv
0+阅读 · 5月28日
Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
Arxiv
0+阅读 · 6月1日
Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
Arxiv
0+阅读 · 5月22日
Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System
Arxiv
0+阅读 · 5月6日
Self-Supervised Inductive Logic Programming
Arxiv
0+阅读 · 3月4日
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日
参考链接
微信扫码咨询专知VIP会员
Top