ACL2 System and Books as Maintained by the Community
A collection of papers of neural-symbolic AI (mainly focus on NLP applic...
Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经...
Resolution theorem proving for predicate logic in pure Python.
Tarski - An AI Planning Modeling Framework
Implementation of the NLI model in our ACL 2019 paper: Augmenting Neural...
Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framewo...
An automatic theorem prover for first order logic with equality