reasoning

TypeDB: a strongly-typed database

A collection of research on knowledge graphs

Resources to learn more about Machine Learning and Artificial Intelligence

Protege Desktop

code and docs for my EMNLP paper "DeepPath: A Reinforcement Learning Method for Knowledge Graph Reasoning"

Recognition to Cognition Networks (code for the model in "From Recognition to Cognition: Visual Commonsense Reasoning", CVPR 2019)

Recurrent Event Network: Autoregressive Structure Inference over Temporal Knowledge Graphs (EMNLP 2020)

Semantic filesystem for Linux, with relation reasoner, autotagging plugins and a deduplication service

A Reasoning System for a First-Order Logic of Limited Belief, written in C++

Knowledge-Aware Graph Networks for Commonsense Reasoning (EMNLP-IJCNLP 19)

The MATH Dataset (NeurIPS 2021)

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

Multi-Hop Logical Reasoning in Knowledge Graphs

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

A collection of papers of neural-symbolic AI (mainly focus on NLP applications)

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.

A qualitative probabilistic programming language based on ranking theory

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

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

General reasoning component for applications based on NARS theory.

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

A collection of multimodal datasets, and visual features for VQA and captionning in pytorch. Just run "pip install multimodal"

An implementation of Probabilistic Soft Logic Engine using Python/Gurobi

HyLAR reasoner

[CVPR2020] A Dataset for SPAtial REasoning on Three-View Line Drawings