ml-research / alphailpLinks
☆17Updated 2 years ago
Alternatives and similar repositories for alphailp
Users that are interested in alphailp are comparing it to the libraries listed below
Sorting:
- The Neuro-Symbolic Forward Reasoner☆26Updated 2 years ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆56Updated 4 months ago
- Experimentation framework for Popper☆25Updated 6 months ago
- Port of Aleph to SWI-Prolog☆52Updated 2 years ago
- Demo for Neuro-Symbolic Agent (LOA)☆17Updated 3 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 3 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆295Updated last year
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Updated 3 years ago
- Logic Reinforcement Learning☆18Updated 3 months ago
- ☆49Updated 2 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Updated 2 years ago
- Neuro-Symbolic Hierarchical Rule Induction☆14Updated 3 years ago
- ☆82Updated 4 years ago
- ☆44Updated 2 years ago
- ☆10Updated 4 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Updated 5 years ago
- A neurosymbolic T5 agent for playing text games, from the EACL 2023 paper "Behavior Cloned Transformers are Neurosymbolic Reasoners"☆20Updated 2 years ago
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Updated 2 years ago
- Knowledge-Aware RL agents with Commonsense Reasoning☆79Updated 3 years ago
- Python interface for SWI-Prolog☆49Updated 2 weeks ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆23Updated last year
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆17Updated 4 years ago
- Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch☆60Updated 4 years ago
- ☆39Updated last year
- ☆20Updated 2 years ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆342Updated last year
- Python and TensorFlow implementation of the paper "Learning Explanatory Rules from Noisy Data." Evans Richard and Edward Grefenstette. Jo…☆53Updated 4 years ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆148Updated last year
- ☆21Updated 2 weeks ago