Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 First Order Logic Open Source Projects

Open source projects categorized as First Order Logic
Categories > First Order Logic
Acl2 ⭐ 326
ACL2 System and Books as Maintained by the Community
most recent commit 3 months ago
Awesome Deeplogic ⭐ 160
A collection of papers of neural-symbolic AI (mainly focus on NLP applications)
most recent commit a year ago
Julog.jl ⭐ 146
A Julia package for Prolog-style logic programming.
most recent commit a year ago
Pyprover ⭐ 79
Resolution theorem proving for predicate logic in pure Python.
total releases 26most recent commit 6 months ago
Tarski ⭐ 43
Tarski - An AI Planning Modeling Framework
dependent packages 3total releases 11most recent commit a year agopypi tarski} Downloads
Layer_augmentation ⭐ 23
Implementation of the NLI model in our ACL 2019 paper: Augmenting Neural Networks with First-order Logic.
most recent commit 4 years ago
Lsw2 ⭐ 22
OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data
most recent commit 5 months ago
Theolog ⭐ 20
Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
most recent commit 2 years ago
Consistency ⭐ 19
Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models
most recent commit 3 years ago
Paruluniversityai ⭐ 18
Artificial Intelligence Course at Parul University taught in Spring 2023 by Mr Smaranjit Ghose
most recent commit 5 months ago
Awesome Neural Logic ⭐ 17
Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。
most recent commit 4 years ago
Metis ⭐ 16
Metis is an automatic theorem prover for first order logic with equality
most recent commit 4 years ago
Linearone ⭐ 12
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
most recent commit 3 years ago
Pypl ⭐ 12
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
most recent commit a year ago
Psitip ⭐ 12
Python Symbolic Information Theoretic Inequality Prover
total releases 2most recent commit 2 years ago
Firstorderlogic.jl ⭐ 11
Julia package for parsing, manipulating and evaluating formulas in first-order logic.
most recent commit 4 years ago
Nqe ⭐ 11
Official resources of "NQE: N-ary Query Embedding for Complex Query Answering over Hyper-relational Knowledge Graphs" (AAAI 2023).
most recent commit 8 months ago
Boxer ⭐ 7
C&C parser & Boxer
most recent commit 9 months ago
Ad Caspar ⭐ 6
Python implementation of AD-Caspar (Abductive-Deductive Cognitive Architecture System Planned and Reactive)
most recent commit 4 months ago
The Buendia Tree ⭐ 5
Apply First order logic on extended kinship domain problem.
most recent commit 5 years ago
Apollo Frontend ⭐ 5
A web application for first-order model checking in graph structures.
most recent commit 4 months ago
Amr Logic Converter ⭐ 5
Convert Abstract Meaning Representation (AMR) into first-order logic
most recent commit a year ago
Atp ⭐ 5
Haskell interface to automated theorem provers
most recent commit 2 years ago
The 4 Latest Releases In First Order Logic Open Source Projects
Psitip ⭐ 12
Python Symbolic Information Theoretic Inequality Prover
total releases 2latest release September 20, 2022most recent commit 2 years ago
Tarski ⭐ 43
Tarski - An AI Planning Modeling Framework
dependent packages 3total releases 11latest release April 07, 2022most recent commit a year agopypi tarski} Downloads
Pyprover ⭐ 79
Resolution theorem proving for predicate logic in pure Python.
total releases 26latest release March 02, 2022most recent commit 6 months ago
Atp ⭐ 5
Haskell interface to automated theorem provers
latest release January 27, 2021most recent commit 2 years ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.