reasoning topic

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

schwering

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

newca12

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

ccclyu

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

rowanz

Multi-Hop Logical Reasoning in Knowledge Graphs

snap-stanford

msra-nlc

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

declare-lab

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

INK-USC

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

INK-USC

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 objec...

RDFLib