NQE

fuzzylite: a fuzzy logic control library in C++

Deep Learning and Logical Reasoning from Data and Knowledge

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

A Tensorflow implementation of the Adaptive Neuro-Based Fuzzy Inference System (ANFIS)

Let your talking do the code

Official implementation of Graph Neural Network Query Executor (ICML 2022)

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

Implementation of the NLI model in our ACL 2019 paper: Augmenting Neural Networks with First-order Logic.

Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models

:unicorn::star2: Graph Database layer on top of Google Bigtable