ACL2 System and Books as Maintained by the Community

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

A Julia package for Prolog-style logic programming.

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

Resolution theorem proving for predicate logic in pure Python.

Tarski - An AI Planning Modeling Framework

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.

Python Symbolic Information Theoretic Inequality Prover

An automatic theorem prover for first order logic with equality

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

OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data

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

[AAAI 2023] Official resources of "NQE: N-ary Query Embedding for Complex Query Answering over Hyper-relational Knowledge Graphs".

Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden

Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions

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

Julia package for parsing, manipulating and evaluating formulas in first-order logic.

LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.