#First-order-logic

LAMDA-NeSy

Awesome-LLM-Reasoning-with-NeSy

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

FLHonker

Awesome-Neural-Logic

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

evhub

pyprover

Resolution theorem proving for predicate logic in pure Python.

aig-upf

tarski

Tarski - An AI Planning Modeling Framework

smaranjitghose

ParulUniversityAI

Artificial Intelligence Course at Parul University taught in Spring 2023 by Mr Smaranjit Ghose