first-order-logic

ccclyu/awesome-deeplogic

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

ztangent/Julog.jl

A Julia package for Prolog-style logic programming.

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

MarisaKirisame/first_order_logic_prover

LAMDASZ-ML/Awesome-Neuro-Symbolic-Learning-with-LLM

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

ai4reason/Prover9

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

cheuktingli/psitip

Python Symbolic Information Theoretic Inequality Prover

utahnlp/layer_augmentation

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

gilith/metis

An automatic theorem prover for first order logic with equality

utahnlp/consistency

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

alanruttenberg/lsw2

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

LHRLAB/NQE

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

knowsys/TheoLog

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

ozekik/mathesis

Python library for computational formal logic, formal semantics, and theorem proving

nclarius/pyPL

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

RichardMoot/LinearOne

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

roberthoenig/FirstOrderLogic.jl

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

smaranjitghose/ParulUniversityAI

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

chanind/amr-logic-converter

Convert Abstract Meaning Representation (AMR) into first-order logic

PnVDiscord/PnVRocqLib

📝 A Rocq library written by members of PnV Discord Server

chanind/tensor-theorem-prover

First-order logic theorem prover supporting unification with approximate vector similarity

drdo/logic-translation

Translation from FOL to LTL+Past and LTL, via separation of LTL+Past

yakuza8/first-order-predicate-logic-theorem-prover

Autonomous Theorem Prover for First Order Predicate Logic

aztek/atp

Haskell interface to automated theorem provers

jgordon/boxer

C&C parser & Boxer

joshuacrotts/logic-learning-assistance-tool

This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.

livrelogique/pravda

Pravda is a tool for teaching formal logic.

giovanniberti/logicamente

A first-order logic theorem prover with SLD resolution.

rudi-cilibrasi/vitefolts

vitefolts First Order Logic Typescript theorem prover

Keerthivasan13/CSCI561_Artificial_Intelligence

Programs developed for CSCI561 Foundations of Artificial Intelligence course

potassco/anthem-1

🎼 Translate answer set programs to first-order theorem prover language

ZikangXiong/diff-spec

Differentiable Symbolic Specification

metalaman/NL2SQL

Natural Language to SQL: A Natual Language Interface for querying SQL tables via FOL generation and grammar parsing.