Top 14 reasoning open source projects

TypeDB: a strongly-typed database

TypeQL: the query language of TypeDB - a strongly-typed database

Monorepo for the client, server, etc. of the Debate Map website.

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

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

TypeDB: a strongly-typed database

Official implementation of Neural Bellman-Ford Networks (NeurIPS 2021)

ReaSCAN is a synthetic navigation task that requires models to reason about surroundings over syntactically difficult languages.

This repository contains the dataset and the PyTorch implementations of the models from the paper Recognizing Emotion Cause in Conversations.

Multi-Hop Logical Reasoning in Knowledge Graphs

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

General reasoning component for applications based on NARS theory.

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch