Top 8 first-order-logic open source projects

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

No description or website provided.

Tarski - An AI Planning Modeling Framework

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

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

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

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

Resolution theorem proving for predicate logic in pure Python.