First Order Logic Collection

◆

◆

◆

◆

📦Normal

★

“ACL2 System and Books as Maintained by the Community”

◆

◆

◆

◆

📦Normal

★

“✨✨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models”

◆

◆

◆

◆

📦Normal

★

“A collection of papers of neural-symbolic AI (mainly focus on NLP applications)”

◆

◆

◆

◆

📦Normal

★

“A Julia package for Prolog-style logic programming.”

◆

◆

◆

◆

📦Normal

★

“Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。”

◆

◆

◆

◆

🔮Psychic

★

“Resolution theorem proving for predicate logic in pure Python.”

◆

◆

◆

◆

🔮Psychic

★

“Tarski - An AI Planning Modeling Framework”

◆

◆

◆

◆

⚔️Fighting

★

“Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.”