first-order-logic

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

acl2 / acl2
ACL2 System and Books as Maintained by the Community
acl2 theorem-prover theorem-proving common-lisp rewriting formal-verification formal-methods first-order-logic logic
Language:Common Lisp 352
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
209
ztangent / Julog.jl
A Julia package for Prolog-style logic programming.
julia prolog first-order-logic logic logic-programming fol
Language:Julia 170
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
128
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
first-order-logic automated-planning python3 strips functional-strips
Language:Python 58
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 42
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 34
cheuktingli / psitip
Python Symbolic Information Theoretic Inequality Prover
python information-theory theorem-proving first-order-logic prover theorem-prover optimization
Language:Python 33
gilith / metis
An automatic theorem prover for first order logic with equality
theorem-prover first-order-logic sml
Language:Standard ML 30
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 30
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 26
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
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 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
RichardMoot / LinearOne
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
linear-logic first-order-logic theorem-proving proof-net displacement-calculus-grammars swi-prolog logic-programming latex
Language:Prolog 18
drdo / logic-translation
Translation from FOL to LTL+Past and LTL, via separation of LTL+Past
first-order-logic ltl separation temporal-logic translation
Language:Haskell 10
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 10
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
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 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
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
haskell atp theorem-proving tptp first-order-logic logic prover formal-methods automated-theorem-provers
Language:Haskell 6
lambduli / plover
An implementation of Minilog (my other) toy language with a complete search strategy making it a simple, naive, toy theorem prover with Prolog syntax.
first-order-logic interpreter language logic logic-programming theorem-prover toy-language automated-theorem-provers horn-clauses
Language:Haskell 6
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 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
rudi-cilibrasi / vitefolts
vitefolts First Order Logic Typescript theorem prover
clausal-normal-form first-order-logic javascript peano-axioms typescript
Language:TypeScript 5