ml-research / alphailp
☆12Updated 2 years ago
Alternatives and similar repositories for alphailp:
Users that are interested in alphailp are comparing it to the libraries listed below
- Logic Reinforcement Learning☆15Updated 7 months ago
- Experimentation framework for Popper☆21Updated 10 months ago
- Scalable Training of Propositional Logical Neural Networks.☆13Updated 3 years ago
- The Neuro-Symbolic Forward Reasoner☆22Updated last year
- ☆36Updated 4 months ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Updated 2 years ago
- Neuro-Symbolic Hierarchical Rule Induction☆12Updated 2 years ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆41Updated last year
- ☆43Updated last year
- Python interface for SWI-Prolog☆45Updated last month
- Port of Aleph to SWI-Prolog☆44Updated last year
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆16Updated 8 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆13Updated last month
- ☆27Updated last year
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated 2 years ago
- ☆10Updated 5 years ago
- Top-down induction of first-order logical decision trees: master AI thesis implementation☆23Updated 4 years ago
- ☆19Updated last month
- Python and TensorFlow implementation of the paper "Learning Explanatory Rules from Noisy Data." Evans Richard and Edward Grefenstette. Jo…☆50Updated 3 years ago
- Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provi…☆18Updated 3 years ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆20Updated last year
- Deep relational learning through differentiable logic programming.☆102Updated 7 months ago
- Scalar feature extractor for AI planning problems and domains in PDDL format☆15Updated 4 years ago
- LatPlan : A domain-independent, image-based classical planner☆85Updated 2 years ago
- ☆15Updated last year
- Generative Neuro-Symbolic (GNS) Modeling (Feinman & Lake, 2021)☆26Updated 3 years ago
- Code that translates grammar into PDDL, runs a planner to produce multiple plans, translates plans into trainable lale pipelines and trai…☆18Updated last year
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆102Updated 5 months ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago