ACL2 System and Books as Maintained by the Community
-
Updated
Jun 13, 2025 - Common Lisp
A collection of papers of neural-symbolic AI (mainly focus on NLP applications)
-
Updated
Aug 17, 2024
A Julia package for Prolog-style logic programming.
-
Updated
Feb 5, 2023 - Julia
Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。
-
Updated
Oct 13, 2020
✨✨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models
-
Updated
Jun 11, 2025
Resolution theorem proving for predicate logic in pure Python.
-
Updated
Nov 20, 2023 - Python
Tarski - An AI Planning Modeling Framework
-
Updated
Mar 4, 2024 - Python
-
Updated
Feb 27, 2018 - C++
Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
-
Updated
Jan 26, 2024 - C
Implementation of the NLI model in our ACL 2019 paper: Augmenting Neural Networks with First-order Logic.
-
Updated
Nov 3, 2020 - Python
Python Symbolic Information Theoretic Inequality Prover
-
Updated
Jun 10, 2025 - Python
An automatic theorem prover for first order logic with equality
-
Updated
Jul 14, 2020 - Standard ML
Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models
-
Updated
Jun 13, 2021 - Python
OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data
-
Updated
Mar 17, 2025 - JavaScript
Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
-
Updated
Jul 15, 2024 - TeX
[AAAI 2023] Official resources of "NQE: N-ary Query Embedding for Complex Query Answering over Hyper-relational Knowledge Graphs".
-
Updated
Jun 20, 2024 - Python
Python library for computational formal logic, formal semantics, and theorem proving
-
Updated
May 25, 2025 - Python
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
-
Updated
Nov 28, 2024 - Python
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
-
Updated
Nov 12, 2020 - Prolog
Julia package for parsing, manipulating and evaluating formulas in first-order logic.
-
Updated
Feb 4, 2020 - Julia
Improve this page
Add a description, image, and links to the first-order-logic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the first-order-logic topic, visit your repo's landing page and select "manage topics."