Awesome Open Source
Awesome Open Source
Combined Topics
reasoning
x
Advertising
📦 9
All Projects
Application Programming Interfaces
📦 120
Applications
📦 181
Artificial Intelligence
📦 72
Blockchain
📦 70
Build Tools
📦 111
Cloud Computing
📦 79
Code Quality
📦 28
Collaboration
📦 30
Command Line Interface
📦 48
Community
📦 81
Companies
📦 60
Compilers
📦 60
Computer Science
📦 74
Configuration Management
📦 39
Content Management
📦 167
Control Flow
📦 197
Data Formats
📦 77
Data Processing
📦 266
Data Storage
📦 132
Economics
📦 60
Frameworks
📦 198
Games
📦 122
Graphics
📦 103
Hardware
📦 148
Integrated Development Environments
📦 47
Learning Resources
📦 147
Legal
📦 28
Libraries
📦 119
Lists Of Projects
📦 21
Machine Learning
📦 336
Mapping
📦 61
Marketing
📦 15
Mathematics
📦 55
Media
📦 228
Messaging
📦 97
Networking
📦 304
Operating Systems
📦 84
Operations
📦 120
Package Managers
📦 52
Programming Languages
📦 229
Runtime Environments
📦 96
Science
📦 42
Security
📦 375
Social Media
📦 26
Software Architecture
📦 70
Software Development
📦 68
Software Performance
📦 57
Software Quality
📦 127
Text Editors
📦 45
Text Processing
📦 131
User Interface
📦 310
User Interface Components
📦 465
Version Control
📦 29
Virtualization
📦 68
Web Browsers
📦 38
Web Servers
📦 25
Web User Interface
📦 194
The Top 91 Reasoning Open Source Projects on Github
Categories
>
Machine Learning
>
Reasoning
Typedb
⭐
2,938
TypeDB: a strongly-typed database
Knowledge Graphs
⭐
1,000
A collection of research on knowledge graphs
Protege
⭐
664
Protege Desktop
Deeppath
⭐
341
code and docs for my EMNLP paper "DeepPath: A Reinforcement Learning Method for Knowledge Graph Reasoning"
R2c
⭐
336
Recognition to Cognition Networks (code for the model in "From Recognition to Cognition: Visual Commonsense Reasoning", CVPR 2019)
Re Net
⭐
275
Recurrent Event Network: Autoregressive Structure Inference over Temporal Knowledge Graphs (EMNLP 2020)
Opennars
⭐
252
OpenNARS for Research 3.0+
Limbo
⭐
232
A Reasoning System for a First-Order Logic of Limited Belief, written in C++
Tagsistant
⭐
231
Semantic filesystem for Linux, with relation reasoner, autotagging plugins and a deduplication service
Mspars
⭐
176
Kagnet
⭐
158
Knowledge-Aware Graph Networks for Commonsense Reasoning (EMNLP-IJCNLP 19)
Math
⭐
155
The MATH Dataset (NeurIPS 2021)
Typeql
⭐
148
TypeQL: the query language of TypeDB - a strongly-typed database
Owl Rl
⭐
98
A simple implementation of the OWL2 RL Profile on top of RDFLib: it expands the graph with all possible triples that OWL RL defines. It can be used together with RDFLib to expand an RDFLib Graph object, or as a stand alone service with its own serialization.
Rankpl
⭐
98
A qualitative probabilistic programming language based on ranking theory
Kgreasoning
⭐
96
Multi-Hop Logical Reasoning in Knowledge Graphs
Reccon
⭐
81
This repository contains the dataset and the PyTorch implementations of the models from the paper Recognizing Emotion Cause in Conversations.
Eprover
⭐
74
Awesome Deeplogic
⭐
63
A collection of papers of neural-symbolic AI (mainly focus on NLP applications)
Awesome Rust Formalized Reasoning
⭐
54
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
App
⭐
50
Monorepo for the client, server, etc. of the Debate Map website.
Opennars For Applications
⭐
49
General reasoning component for applications based on NARS theory.
Multimodal
⭐
42
A collection of multimodal datasets, and visual features for VQA and captionning in pytorch. Just run "pip install multimodal"
Pslqa
⭐
38
An implementation of Probabilistic Soft Logic Engine using Python/Gurobi
Hylar Reasoner
⭐
37
HyLAR reasoner
Iperceive
⭐
36
Applying Common-Sense Reasoning to Multi-Modal Dense Video Captioning and Video Question Answering | Python3 | PyTorch | CNNs | Causality | Reasoning | LSTMs | Transformers | Multi-Head Self Attention | Published in IEEE Winter Conference on Applications of Computer Vision (WACV) 2021
Nlr
⭐
36
Code for paper: Neural Logic Reasoning
Biohacker
⭐
33
debugging biological networks to reach coherence, completeness and consistency
Protege Tutorial
⭐
28
Material for GO OWL/Protege Tutorial
Archived Sansa Inference
⭐
27
A general Inference API based on two of the most popular Big Data processing engines: Apache Spark and Apache Flink
Spare3d
⭐
26
A Dataset for SPAtial REasoning on Three-View Line Drawings
Leo Iii
⭐
24
An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
Multirc
⭐
20
Reasoning over Multiple Sentences (Multi-RC)
Lsw2
⭐
19
OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data
Kg Ruleguider
⭐
19
Learning Collaborative Agents with Rule Guidance for Knowledge Graph Reasoning (EMNLP 2020)
Nbfnet
⭐
18
Official implementation of Neural Bellman-Ford Networks (NeurIPS 2021)
Neuro Symbolic Ai Soc
⭐
16
Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch
Sen Making And Explanation
⭐
16
For <Does It Make Sense? And Why? A Pilot Study for Sense Making and Explanation>. Accepted by ACL2019
Sciqa Arcade198 Dataset
⭐
14
ARCADE198 Dataset from the ACL 2018 MRQA Workshop
Reason Scan
⭐
13
ReaSCAN is a synthetic navigation task that requires models to reason about surroundings over syntactically difficult languages.
Neurallogicreasoning
⭐
12
An Implementation of NLR: Neural Collaborative Reasoning, paper: https://arxiv.org/abs/2005.08129
Chainer Saliency
⭐
11
Saliency calculation module for Chainer
Konclude
⭐
10
Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL
Boomer
⭐
9
Bayesian OWL ontology merging
Cider
⭐
8
This repository contains the dataset and the pytorch implementations of the models from the paper CIDER: Commonsense Inference for Dialogue Explanation and Reasoning. CIDER has been accepted to appear at SIGDIAL 2021.
Eba Example Agents
⭐
7
Explore a new way to craft A.I. solutions using a modern approach to machine reasoning.
Nmt4rdfs
⭐
7
Neural Machine Translation for RDFS reasoning: code and datasets for "Deep learning for noise-tolerant RDFS reasoning" http://www.semantic-web-journal.net/content/deep-learning-noise-tolerant-rdfs-reasoning-4
Owloop
⭐
6
An Object Oriented Programming (OOP) interface for Ontology Web language (OWL) ontologies.
Psoatransruncomponents
⭐
5
Components of PSOATransRun system
Phyloref Ontology
⭐
5
Phyloreferencing Ontology and OWL DL reasoning with phyloreferences
Documentation
⭐
5
Ukgse
⭐
4
Fast Predicting Uceertainty over Knowledge Graph Embedding
Modularnorms
⭐
4
This is a repository for code and data to produce modular norm models from legal text
Contrastive Spare3d
⭐
4
https://ai4ce.github.io/Contrastive-SPARE3D/
Yasper
⭐
4
Dlmaps
⭐
3
DLMAPS = Description Logic Maps: Ontology-Based Spatial Queries to Digital City Maps
Utilityai
⭐
3
Utility-based AI plugin for UE4
Quick Sparql Endpoint
⭐
3
A quick SPARQL endpoint with reasoning.
Theorem Prover
⭐
3
A simple theorem prover made for a university programming assignment
Java Reasoning
⭐
3
A Java project exploiting Java Debug Interface and OWL API to reason on active instances of a running java application.
Eso Ontology
⭐
3
This repository contains the Event and implied Situation Ontology (ESO.owl), the documentation, all additional manual mappings to various (lexical) resources and the manually annotated evaluation corpus
Reasoning Api Framework
⭐
3
API framework for rapid contract rules modeling.
Eventcalculuswebapp
⭐
3
An application for reasoning about future events from user-provided possibly partially contradictory situation calculus. BSD-2-Clause license.
Robustness Introduction
⭐
3
Article: How to make Machine Learning safer and more stable? Introduction to ML Robustness
Ercompletionreasoninglstm
⭐
2
Random syntax generator with reasoner and LSTM
Pro
⭐
2
A Preferential Reasoner for Ontologies
Equate
⭐
2
EQUATE (Evaluating Quantitative Understanding Aptitude in Textual Entailment), framework for evaluating quantitative reasoning ability in textual entailment.
Semantic Web Reasoning
⭐
2
Slides for a mini-lecture on “Rule-based reasoning on the Semantic Web”
Spatial Span
⭐
2
A test of spatial memory span
Cyclists Monitoring
⭐
2
Code and data related to the research on how to give personalized real-time feedback to amateur cyclists on low-end devices, using Semantic Web technologies.
Empathic Jason
⭐
2
Implementing empathic agents with Jason
Federated Events Attributes Reasoning Alpha
⭐
2
Federated event based attribute assurance and reasoning OIX Alpha
Energyarc
⭐
2
Combining Energy-Based Modeling and RL to solve the challenging Abstract Reasoning Corpus[1] tasks.
Scattering Compositional Learner
⭐
2
Implementation of Scattering Compositional Learner in Pytorch
Diarg
⭐
2
Argumentation-based Dialog Reasoner
Brain_food_reference
⭐
2
Curated list of mental gems and streams to fuel your cognition
Zen
⭐
2
lessons worth sharing, the wisdom repo.
Lonli
⭐
2
Testing Diverse Reasoning of NLI Systems
Prolog
⭐
1
Automate building and maintaining custom operating systems using declarative reasoning.
Logmap Conservativity
⭐
1
LogMap extension for conservativity principle
Fridge Demo
⭐
1
Fridge demo main repository
Splot Crawler
⭐
1
This is a simple crawler for the SPLOT repository of feature models http://www.splot-research.org/
Pararule Plus
⭐
1
PARARULE Plus: A Larger Deep Multi-Step Reasoning Dataset over Natural Language
Empathic Agents Js
⭐
1
Implementing empathic agents in JavaScript
Automatedreasoning
⭐
1
In this bachelor thesis, we developed a toolkit for automated reasoning and interpolation with ordered resolution.
Ml_reasoning
⭐
1
Replicate Reasoning Papers
Memorynetwork
⭐
1
Implementation of Facebook AI Memory Networks
Cfr_vqa
⭐
1
Coarse-to-Fine Reasoning for Visual Question Answering
Critical Thinking Facepalms
⭐
1
A curated collection of embarrassingly bad and face palm inducing reasoning
Robot Waiter Planning Pddl
⭐
1
Pycaspar
⭐
0
Python implementation of CASPAR (Cognitive Architecture System Planned and Reactive)
1-91 of 91 projects
Related Projects
Python Reasoning Projects (30)
Java Reasoning Projects (17)
Logic Reasoning Projects (14)
Owl Reasoning Projects (13)
Knowledge Graph Reasoning Projects (12)
Inference Reasoning Projects (10)
Advertising
📦 9
All Projects
Application Programming Interfaces
📦 120
Applications
📦 181
Artificial Intelligence
📦 72
Blockchain
📦 70
Build Tools
📦 111
Cloud Computing
📦 79
Code Quality
📦 28
Collaboration
📦 30
Command Line Interface
📦 48
Community
📦 81
Companies
📦 60
Compilers
📦 60
Computer Science
📦 74
Configuration Management
📦 39
Content Management
📦 167
Control Flow
📦 197
Data Formats
📦 77
Data Processing
📦 266
Data Storage
📦 132
Economics
📦 60
Frameworks
📦 198
Games
📦 122
Graphics
📦 103
Hardware
📦 148
Integrated Development Environments
📦 47
Learning Resources
📦 147
Legal
📦 28
Libraries
📦 119
Lists Of Projects
📦 21
Machine Learning
📦 336
Mapping
📦 61
Marketing
📦 15
Mathematics
📦 55
Media
📦 228
Messaging
📦 97
Networking
📦 304
Operating Systems
📦 84
Operations
📦 120
Package Managers
📦 52
Programming Languages
📦 229
Runtime Environments
📦 96
Science
📦 42
Security
📦 375
Social Media
📦 26
Software Architecture
📦 70
Software Development
📦 68
Software Performance
📦 57
Software Quality
📦 127
Text Editors
📦 45
Text Processing
📦 131
User Interface
📦 310
User Interface Components
📦 465
Version Control
📦 29
Virtualization
📦 68
Web Browsers
📦 38
Web Servers
📦 25
Web User Interface
📦 194
Privacy policy
"GitHub" is a registered trademark of GitHub, Inc. Awesome Open Source is not affiliated with GitHub.
