Alternatives and similar repositories for symbolic-rl

Users that are interested in symbolic-rl are comparing it to the libraries listed below

• ai-systems / DILP-Core
  Python and TensorFlow implementation of the paper "Learning Explanatory Rules from Noisy Data." Evans Richard and Edward Grefenstette. Jo…
  ☆52Updated 4 years ago
• ilaspltd / ILASP-releases
  ☆37Updated 8 months ago
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆67Updated last year
• joschout / tilde
  Top-down induction of first-order logical decision trees: master AI thesis implementation
  ☆26Updated 4 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆63Updated 5 months ago
• mtensor / rulesynthesis
  Code for "Learning Compositional Rules via Neural Program Synthesis"
  ☆60Updated 4 years ago
• RichardEvans / apperception
  ☆80Updated 4 years ago
• crunchiness / lernd
  Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.
  ☆24Updated 2 years ago
• tomsilver / policies_logic_programs
  Few-shot Bayesian Imitation Learning with Policies as Logic over Programs
  ☆19Updated 5 months ago
• davidenitti / DC
  Probabilistic logic language for inference, planning and learning in static and dynamic domains
  ☆15Updated 8 years ago
• ZhengyaoJiang / NLRL
  Source code of Neural Logic Reinforcement Learning (https://arxiv.org/abs/1904.10729)
  ☆76Updated 5 years ago
• ml-research / NeSyConceptLearner
  ☆19Updated 2 years ago
• trishullab / houdini
  HOUDINI: Lifelong Learning as Program Synthesis
  ☆48Updated 4 months ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆18Updated 2 years ago
• IBM / LOA
  Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games
  ☆47Updated 3 months ago
• IBM / commonsense-rl
  Knowledge-Aware RL agents with Commonsense Reasoning
  ☆78Updated 3 years ago
• azreasoners / NeurASP
  ☆46Updated last year
• claireaoi / hierarchical-rule-induction
  Neuro-Symbolic Hierarchical Rule Induction
  ☆14Updated 2 years ago
• siddk / npi
  Neural Programmer-Interpreter Implementation (Reed, de Freitas: https://arxiv.org/abs/1511.06279), in Tensorflow
  ☆41Updated 6 years ago
• whitemech / Plan4Past
  Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals
  ☆19Updated 11 months ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆23Updated 2 weeks ago
• instadeepai / AlphaNPI
  Adapting the AlphaZero algorithm to remove the need of execution traces to train NPI.
  ☆79Updated last year
• minqi / wordcraft
  An environment for benchmarking commonsense agents
  ☆29Updated 4 years ago
• rfeinman / pyBPL
  Python implementation of Bayesian Program Learning tools (with PyTorch)
  ☆74Updated 3 years ago
• GustikS / NeuraLogic
  Deep relational learning through differentiable logic programming.
  ☆106Updated last year
• taylorwwebb / emergent_symbols
  Code for 'Emergent Symbols through Binding in External Memory'.
  ☆20Updated 2 years ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆75Updated 3 years ago
• aibasel / pyperplan
  A lightweight STRIPS planner written in Python.
  ☆116Updated 9 months ago
• google / neural-logic-machines
  Implementation for the Neural Logic Machines (NLM).
  ☆289Updated 6 years ago
• cognitiveailab / neurosymbolic
  A neurosymbolic T5 agent for playing text games, from the EACL 2023 paper "Behavior Cloned Transformers are Neurosymbolic Reasoners"
  ☆19Updated 2 years ago