Repositories tagged with "first-order-logic"
acl2
โACL2 System and Books as Maintained by the Communityโ
Awesome-LLM-Reasoning-with-NeSy
LAMDA-NeSy
โโจโจLatest Advances on Neuro-Symbolic Learning in the era of Large Language Modelsโ
awesome-deeplogic
ccclyu
โA collection of papers of neural-symbolic AI (mainly focus on NLP applications)โ
Julog.jl
ztangent
โA Julia package for Prolog-style logic programming.โ
Awesome-Neural-Logic
FLHonker
โAwesome Neural Logic and Causality: MLN, NLRL, NLM, etc. ๅ ๆๆจๆญ๏ผ็ฅ็ป้ป่พ๏ผๅผบไบบๅทฅๆบ่ฝ้ป่พๆจ็ๅๆฒฟ้ขๅใโ
pyprover
evhub
โResolution theorem proving for predicate logic in pure Python.โ
tarski
aig-upf
โTarski - An AI Planning Modeling Frameworkโ
Prover9
ai4reason
โProver9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.โ
first_order_logic_prover
MarisaKirisame