Semantic filesystem for Linux, with relation reasoner, autotagging plugi...
[NeurIPS 2022] DRAGON 🐲: Deep Bidirectional Language-Knowledge Graph Pr...
An exhaustive list of all Rust resources regarding automated or semi-aut...
Papers and resources on Controllable Generation using Diffusion Models, ...
Official implementation of BGPT @ ICLR 2024 paper "Cumulative Reasoning ...
A Reasoning System for a First-Order Logic of Limited Belief, written in...
Knowledge-Aware Graph Networks for Commonsense Reasoning (EMNLP-IJCNLP 19)
A `Neural = Symbolic` framework for sound and complete weighted real-val...
TypeQL: the polymorphic query language of TypeDB
A collection of papers of neural-symbolic AI (mainly focus on NLP applic...
Official implementation of Neural Bellman-Ford Networks (NeurIPS 2021)
This repository contains the dataset and the PyTorch implementations of ...
Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural ...
A simple implementation of the OWL2 RL Profile on top of RDFLib: it expa...