first-order-logic
There are 170 repositories under first-order-logic topic.
acl2/acl2
ACL2 System and Books as Maintained by the Community
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
utahnlp/layer_augmentation
Implementation of the NLI model in our ACL 2019 paper: Augmenting Neural Networks with First-order Logic.
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
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
knowsys/TheoLog
Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
LHRLAB/NQE
[AAAI 2023] Official resources of "NQE: N-ary Query Embedding for Complex Query Answering over Hyper-relational Knowledge Graphs".
nclarius/pyPL
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
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
RichardMoot/LinearOne
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
ozekik/mathesis
Python library for computational formal logic, formal semantics, and theorem proving
chanind/amr-logic-converter
Convert Abstract Meaning Representation (AMR) into first-order logic
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
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.
rudi-cilibrasi/vitefolts
vitefolts First Order Logic Typescript theorem prover
aztek/atp
Haskell interface to automated theorem provers
Keerthivasan13/CSCI561_Artificial_Intelligence
Programs developed for CSCI561 Foundations of Artificial Intelligence course
giovanniberti/logicamente
A first-order logic theorem prover with SLD resolution.
potassco/anthem-1
🎼 Translate answer set programs to first-order theorem prover language
metalaman/NL2SQL
Natural Language to SQL: A Natual Language Interface for querying SQL tables via FOL generation and grammar parsing.
ZikangXiong/diff-spec
Differentiable Symbolic Specification
DerYeger/apollo-frontend
A web application for first-order model checking in graph structures.
sdcondon/SCFirstOrderLogic
Simple first-order logic implementation for .NET.