Alternatives and similar repositories for ProMis:

Users that are interested in ProMis are comparing it to the libraries listed below

• ml-research / pix2code
  The Pix2Code framework: generalizable, interpretable and revisable visual concept learning
  ☆14Updated 3 months ago
• tommasocarraro / LTNtorch
  PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.
  ☆104Updated 6 months ago
• ml-research / nsfr
  The Neuro-Symbolic Forward Reasoner
  ☆22Updated last year
• aiplan4eu / unified-planning
  The AIPlan4EU Unified Planning Library
  ☆231Updated this week
• AI-Planning / pddl
  Unquestionable PDDL 3.1 parser
  ☆119Updated 2 weeks ago
• nuric / pix2rule
  From pixels to symbolic rule learning
  ☆12Updated 3 years ago
• aldukeman / popf2
  POPF2 planner from IPC 2011
  ☆9Updated 7 years ago
• kavigupta / neurosym-lib
  Neurosymbolic Library
  ☆24Updated last week
• KareemYousrii / SPL
  This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers
  ☆27Updated last year
• ml-research / SLASH
  Scalable Neural-Probabilistic Answer Set Programming
  ☆17Updated 10 months ago
• braun-steven / simple-einet
  An implementation of EinsumNetworks in PyTorch.
  ☆21Updated 2 months ago
• spike-imperial / FastLAS
  ☆19Updated last month
• aibasel / downward-benchmarks
  ☆37Updated 4 months ago
• utiasDSL / code-release
  A repository analyzing the impact of open-source code in machine learning, robotics, and controls research
  ☆10Updated 6 months ago
• mvcisback / py-metric-temporal-logic
  Python library for working with Metric Temporal Logic (MTL)
  ☆97Updated 2 years ago
• AI-Planning / planutils
  General library for setting up linux-based environments for developing, running, and evaluating planners.
  ☆114Updated 3 months ago
• Kurorororo / numeric-fast-downward
  ☆14Updated last year
• aig-upf / temporal-planning
  Algorithms for solving temporal planning problems
  ☆27Updated 2 years ago
• simon-stahlberg / mimir
  ☆16Updated this week
• edouardrolland / vscode_ros2_px4_workspace
  A template for generating a docker development environment suited for PX4, Gazebo and ROS2.
  ☆16Updated last month
• neurosymbolic-learning / Neurosymbolic_Tutorial
  Python notebooks for a tutorial on neurosymbolic programming
  ☆68Updated 11 months ago
• QuMuLab / planner-for-relevant-policies
  ☆30Updated last year
• GabMartino / TransformerForDummies
  Annotated implementation of vanilla Transformers to guide through all the ambiguities.
  ☆10Updated 5 months ago
• prost-planner / prost
  probabilistic planning system for tasks encoded in RDDL
  ☆43Updated 2 years ago
• DillonZChen / goose
  Graph Learning for Planning [AAAI-24, ICAPS-24, NeurIPS-24]
  ☆13Updated 3 weeks ago
• pyrddlgym-project / pyRDDLGym
  A toolkit for auto-generation of OpenAI Gym environments from RDDL description files.
  ☆79Updated last week
• aibasel / pyperplan
  A lightweight STRIPS planner written in Python.
  ☆107Updated 5 months ago
• ilaspltd / ILASP-releases
  ☆36Updated 4 months ago
• deeprob-org / deeprob-kit
  A Python Library for Deep Probabilistic Modeling
  ☆60Updated 5 months ago
• aibasel / lab
  Lab is a framework for evaluating planners and other solvers.
  ☆33Updated last week