first-order-logic

Star

Here are 117 public repositories matching this topic...

acl2 / acl2

Star

ACL2 System and Books as Maintained by the Community

common-lisp logic theorem-proving first-order-logic formal-methods formal-verification theorem-prover rewriting acl2

Updated Mar 23, 2022
Common Lisp

ztangent / Julog.jl

Star

A Julia package for Prolog-style logic programming.

julia logic prolog first-order-logic logic-programming fol

Updated Mar 21, 2022
Julia

ccclyu / awesome-deeplogic

Star

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

first-order-logic psl reasoning neuro-symbolic-learning paper-list deep-logic-model

Updated Mar 10, 2022

FLHonker / Awesome-Neural-Logic

Star

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

neural-network logic first-order-logic markov logic-programming causality causal-inference causal inductive-logic-programming

Updated Oct 13, 2020

evhub / pyprover

Sponsor

Star

Resolution theorem proving for predicate logic in pure Python.

python theorem-proving first-order-logic prover coconut theorem-prover

Updated Mar 2, 2022
Python

MarisaKirisame / first_order_logic_prover

Star

theorem-proving first-order-logic

Updated Feb 27, 2018
C++

utahnlp / layer_augmentation

Star

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

logic first-order-logic pytorch attention attention-mechanism snli nli decomposable-attention acl2019

Updated Nov 3, 2020
Python

aig-upf / tarski

Star

Tarski - An AI Planning Modeling Framework

first-order-logic python3 strips automated-planning tarski functional-strips

Updated Mar 18, 2022
Python

utahnlp / consistency

Star

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

consistency logic first-order-logic pytorch regularization bert loss-functions snli mscoco mnli nli emnlp2019

Updated Jun 13, 2021
Python

gilith / metis

Star

An automatic theorem prover for first order logic with equality

first-order-logic sml theorem-prover

Updated Jul 14, 2020
Standard ML

alanruttenberg / lsw2

Star

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

sparql common-lisp first-order-logic semantic-web owl ontology reasoning owl-api

Updated Mar 22, 2022
JavaScript

knowsys / TheoLog

Star

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

german first-order-logic teaching complexity turing-machine theoretical-computer-science teaching-materials

Updated Dec 7, 2021
TeX

roberthoenig / FirstOrderLogic.jl

Star

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

julia logic first-order-logic satisfiability-solver

Updated Feb 4, 2020
Julia

RichardMoot / LinearOne

Star

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

latex theorem-proving first-order-logic logic-programming swi-prolog linear-logic proof-net displacement-calculus-grammars

Updated Nov 12, 2020
Prolog

ai4reason / Prover9

Star

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

computer-science logic theorem-proving first-order-logic mathematics model-checking theorem-prover

Updated Aug 8, 2018
C

cheuktingli / psitip

Star

Python Symbolic Information Theoretic Inequality Prover

python optimization information-theory theorem-proving first-order-logic prover theorem-prover

Updated Mar 16, 2022
Python

nclarius / pyPL

Star

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

proof logic first-order-logic model-checking propositional-logic model-checker model-extraction modal-logic theorem-prover intuitionistic-logic predicate-logic classical-logic analytic-tableaux model-generation

Updated Jan 11, 2022
Python

giovanniberti / logicamente

Star

A first-order logic theorem prover with SLD resolution.

python logic prolog first-order-logic sld

Updated Feb 13, 2019
Python

aztek / atp

Star

Haskell interface to automated theorem provers

haskell logic theorem-proving first-order-logic formal-methods tptp atp prover automated-theorem-provers

Updated Feb 10, 2022
Haskell

maxadamski / illogical

Star

Easy-to-use first order logic tools & Scala library

resolution logic first-order-logic unification skolem-function

Updated Jan 21, 2018
Scala

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

Star

Autonomous Theorem Prover for First Order Predicate Logic

ai theorem-proving first-order-logic artificial-intelligence tautology theorem-prover first-order-unification subsumption first-order-substitution tautology-checking most-general-unifier subsumption-elimination

Updated Jun 29, 2020
Python

Hsankesara / The-Buendia-Tree

Star

Apply First order logic on extended kinship domain problem.

first-order-logic artificial-intelligence pydatalog kinship-domain

Updated Dec 22, 2018
Python

utahnlp / layer_augmentation_qa

Star

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

qa first-order-logic pytorch attention attention-mechanism squad machine-comprehension bidaf bidaf-pytorch elmo acl2019

Updated Nov 3, 2020
Python

potassco / anthem

Star

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

theorem-proving first-order-logic verification asp

Updated Sep 22, 2020
Rust

metalaman / NL2SQL

Star

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

sql parsing first-order-logic cfg nltk-grammar nli

Updated Feb 19, 2019
Python

DerYeger / apollo-frontend

Sponsor

Star

A web application for first-order model checking in graph structures.

d3 angular typescript graph first-order-logic modelchecking

Updated Mar 22, 2022
TypeScript

marcofavorito / pythogic

Star

A Python package for deal with logical formulas and formal systems (e.g. FOL)

logic first-order-logic ltl formal-methods propositional-logic formal-languages linear-temporal-logic logic-formalisms formal-logic ldlf ltlf

Updated Aug 31, 2018
Python

Keerthivasan13 / CSCI561_Artificial_Intelligence

Star

Programs developed for CSCI561 Foundations of Artificial Intelligence course

python search agent language astar-algorithm first-order-logic minimax alpha-beta-pruning unification game-playing uniform-cost-search bfs-algorithm backward-chaining unification-algorithm halma resolution-algorithm

Updated May 20, 2020
Python

jgordon / boxer

Star

C&C parser & Boxer

first-order-logic semantic-parser dependency-parser

Updated Sep 1, 2018
C

gonzigaran / folpy

Star

First Order Logic Python Library

python algebra first-order-logic lattice universal-algebra

Updated Sep 6, 2021
Python

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.

Curate this topic

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."

Learn more

Feb	MAR	Apr
	23
2021	2022	2023