IBM / ULKB
A HOL-based framework for reasoning over knowledge graphs
☆24Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for ULKB
- Demo for Neuro-Symbolic Agent (LOA)☆14Updated 2 years ago
- A service that parses a sentence using AMR and returns a set of Verbnet logic predicates grounded with the roles of the input sentence.☆12Updated 2 years ago
- Neuro-Symbolic AI Toolkit☆78Updated last year
- Experimentation framework for Popper☆20Updated 6 months ago
- ☆26Updated 9 months ago
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆233Updated 11 months ago
- Python interface for SWI-Prolog☆41Updated last week
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆39Updated last year
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Updated last year
- The main repository integrating the LaTeX beamer-based slides☆22Updated last month
- Rational OpenCog Controlled Agent (ROCCA). Use OpenCog to control a rational agent in OpenAI Gym and Malmo environments.☆32Updated last year
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆181Updated this week
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆195Updated 3 months ago
- ☆35Updated last year
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated 5 months ago
- ☆16Updated 2 years ago
- Conditional Theorem Proving☆51Updated 3 years ago
- Extracting action sequences and generating domain models.☆15Updated last year
- An inductive logic programming system☆205Updated 3 months ago
- AutoMATES: Automated Model Assembly from Text, Equations, and Software☆24Updated last year
- RuDaS: Synthetic Datasets for Rule Learning☆18Updated 2 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 3 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆14Updated last year
- Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch☆53Updated 3 years ago
- ☆41Updated 3 years ago
- Soar Agent (and SML code) that learns through situated interactive instruction in a robotic environment☆32Updated last year
- ☆25Updated last month
- A collection of papers of neural-symbolic AI (mainly focus on NLP applications)☆241Updated 2 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆87Updated last month