first-order-logic

There are 3 repositories under first-order-logic topic.

acl2 / acl2
ACL2 System and Books as Maintained by the Community
acl2 common-lisp first-order-logic formal-methods formal-verification logic rewriting theorem-prover theorem-proving
Language:Common Lisp 340
ccclyu / awesome-deeplogic
A collection of papers of neural-symbolic AI (mainly focus on NLP applications)
first-order-logic deep-logic-model paper-list neuro-symbolic-learning reasoning psl
199
ztangent / Julog.jl
A Julia package for Prolog-style logic programming.
julia prolog first-order-logic logic logic-programming fol
Language:Julia 168
FLHonker / Awesome-Neural-Logic
Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。
neural-network logic-programming inductive-logic-programming logic markov first-order-logic causal causal-inference causality
127
evhub / pyprover
Resolution theorem proving for predicate logic in pure Python.
prover theorem-proving theorem-prover first-order-logic python coconut
Language:Python 89
MarisaKirisame / first_order_logic_prover
theorem-proving first-order-logic
Language:C++ 59
aig-upf / tarski
Tarski - An AI Planning Modeling Framework
automated-planning first-order-logic functional-strips python3 strips
Language:Python 56
layer_augmentation
utahnlp / layer_augmentation
Implementation of the NLI model in our ACL 2019 paper: Augmenting Neural Networks with First-order Logic.
acl2019 nli logic attention-mechanism attention pytorch first-order-logic decomposable-attention snli
Language:Python 41
cheuktingli / psitip
Python Symbolic Information Theoretic Inequality Prover
python information-theory theorem-proving first-order-logic prover theorem-prover optimization
Language:Python 32
ai4reason / Prover9
Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
theorem-prover theorem-proving logic model-checking mathematics computer-science first-order-logic
Language:C 31
consistency
utahnlp / consistency
Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models
emnlp2019 nli snli mnli consistency pytorch bert mscoco logic first-order-logic loss-functions regularization
Language:Python 29
gilith / metis
An automatic theorem prover for first order logic with equality
theorem-prover first-order-logic sml
Language:Standard ML 28
alanruttenberg / lsw2
OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data
common-lisp semantic-web ontology reasoning owl owl-api sparql first-order-logic
Language:JavaScript 25
knowsys / TheoLog
Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
teaching teaching-materials german theoretical-computer-science turing-machine complexity first-order-logic
Language:TeX 22
LHRLAB / NQE
[AAAI 2023] Official resources of "NQE: N-ary Query Embedding for Complex Query Answering over Hyper-relational Knowledge Graphs".
first-order-logic pytorch multi-hop-reasoning logical-reasoning transformer knowledge-graph hyper-relational fuzzy-logic query-embedding
Language:Python 19
roberthoenig / FirstOrderLogic.jl
Julia package for parsing, manipulating and evaluating formulas in first-order logic.
julia first-order-logic logic satisfiability-solver
Language:Julia 19
smaranjitghose / ParulUniversityAI
Artificial Intelligence Course at Parul University taught in Spring 2023 by Mr Smaranjit Ghose
convolutional-neural-networks exploratory-data-analysis first-order-logic fuzzy-logic keras machinelearning matplotlib natural-language-processing neural-network numpy pandas plotly python python3 pytorch recurrent-neural-networks scikit-learn seaborn state-space-search streamlit
Language:Jupyter Notebook 19
nclarius / pyPL
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
logic propositional-logic predicate-logic first-order-logic classical-logic intuitionistic-logic proof model-checking model-checker model-generation model-extraction analytic-tableaux modal-logic theorem-prover
Language:Python 18
RichardMoot / LinearOne
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
displacement-calculus-grammars first-order-logic latex linear-logic logic-programming proof-net swi-prolog theorem-proving
Language:Prolog 18
first-order-predicate-logic-theorem-prover
yakuza8 / first-order-predicate-logic-theorem-prover
Autonomous Theorem Prover for First Order Predicate Logic
theorem-proving theorem-prover first-order-logic first-order-substitution first-order-unification most-general-unifier tautology tautology-checking subsumption subsumption-elimination ai artificial-intelligence
Language:Python 10
jgordon / boxer
C&C parser & Boxer
dependency-parser semantic-parser first-order-logic
Language:C 9
Keerthivasan13 / CSCI561_Artificial_Intelligence
Programs developed for CSCI561 Foundations of Artificial Intelligence course
unification game-playing minimax halma agent language python search bfs-algorithm uniform-cost-search astar-algorithm alpha-beta-pruning first-order-logic backward-chaining unification-algorithm resolution-algorithm
Language:Python 9
chanind / amr-logic-converter
Convert Abstract Meaning Representation (AMR) into first-order logic
abstract-meaning-representation amr first-order-logic logic
Language:Python 8
logic-learning-assistance-tool
joshuacrotts / logic-learning-assistance-tool
This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.
logic teaching computer-science philosophy formal-logic propositional-logic predicate-logic java gui first-order-logic logic-proofs
Language:Java 8
chanind / tensor-theorem-prover
First-order logic theorem prover supporting unification with approximate vector similarity
first-order-logic logic reasoning symbolic-logic theorem-proving
Language:Rust 7
giovanniberti / logicamente
A first-order logic theorem prover with SLD resolution.
python prolog logic first-order-logic sld
Language:Python 7
livrelogique / pravda
Pravda is a tool for teaching formal logic.
educational-project first-order-logic hilbert logic natural-deduction propositional-logic sequent-calculus educational-software proof-systems
Language:TypeScript 7
ozekik / mathesis
Python library for computational formal logic, formal semantics, and theorem proving
logic philosophy proof semantics prover mathematical-logic philosophical-logic formal-logic first-order-logic propositional-logic
Language:Python 7
potassco / anthem
🎼 Translate answer set programs to first-order theorem prover language
asp theorem-proving verification first-order-logic
Language:Rust 7
aztek / atp
Haskell interface to automated theorem provers
atp automated-theorem-provers first-order-logic formal-methods haskell logic prover theorem-proving tptp
Language:Haskell 6
DerYeger / apollo-frontend
A web application for first-order model checking in graph structures.
angular d3 modelchecking first-order-logic graph typescript
Language:TypeScript 5
ad-caspar
fabiuslongo / ad-caspar
Python implementation of AD-Caspar (Abductive-Deductive Cognitive Architecture System Planned and Reactive)
cognitive-architecture natural-language-processing first-order-logic chatbots chatbots-framework
Language:Python 5
Hsankesara / The-Buendia-Tree
Apply First order logic on extended kinship domain problem.
artificial-intelligence first-order-logic pydatalog kinship-domain
Language:Python 5
marcofavorito / pythogic
A Python package for deal with logical formulas and formal systems (e.g. FOL)
logic formal-logic formal-languages ltl first-order-logic propositional-logic linear-temporal-logic logic-formalisms formal-methods ldlf ltlf
Language:Python 5
metalaman / NL2SQL
Natural Language to SQL: A Natual Language Interface for querying SQL tables via FOL generation and grammar parsing.
nli parsing cfg nltk-grammar sql first-order-logic
Language:Python 5
layer_augmentation_qa
utahnlp / layer_augmentation_qa
Implementation of the machine comprehension model in our ACL 2019 paper: Augmenting Neural Networks with First-order Logic.
acl2019 qa machine-comprehension attention-mechanism attention pytorch first-order-logic bidaf bidaf-pytorch elmo squad
Language:Python 5

first-order-logic

acl2 / acl2

ccclyu / awesome-deeplogic

ztangent / Julog.jl

FLHonker / Awesome-Neural-Logic

evhub / pyprover

MarisaKirisame / first_order_logic_prover

aig-upf / tarski

utahnlp / layer_augmentation

cheuktingli / psitip

ai4reason / Prover9

utahnlp / consistency

gilith / metis

alanruttenberg / lsw2

knowsys / TheoLog

LHRLAB / NQE

roberthoenig / FirstOrderLogic.jl

smaranjitghose / ParulUniversityAI

nclarius / pyPL

RichardMoot / LinearOne

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

jgordon / boxer

Keerthivasan13 / CSCI561_Artificial_Intelligence

chanind / amr-logic-converter

joshuacrotts / logic-learning-assistance-tool

chanind / tensor-theorem-prover

giovanniberti / logicamente

livrelogique / pravda

ozekik / mathesis

potassco / anthem

aztek / atp

DerYeger / apollo-frontend

fabiuslongo / ad-caspar

Hsankesara / The-Buendia-Tree

marcofavorito / pythogic

metalaman / NL2SQL

utahnlp / layer_augmentation_qa