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)

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

The MATH Dataset

Multi-Hop Logical Reasoning in Knowledge Graphs

A qualitative probabilistic programming language based on ranking theory

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.

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)

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

General reasoning component for applications based on NARS theory.

An implementation of Probabilistic Soft Logic Engine using Python/Gurobi

HyLAR reasoner

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

Code for paper: Neural Logic Reasoning

Material for GO OWL/Protege Tutorial

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

debugging biological networks to reach coherence, completeness and consistency

A general Inference API based on two of the most popular Big Data processing engines: Apache Spark and Apache Flink