Alternatives and similar repositories for ProMis:

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

• aiplan4eu / unified-planning
  The AIPlan4EU Unified Planning Library
  ☆233Updated last week
• ml-research / pix2code
  The Pix2Code framework: generalizable, interpretable and revisable visual concept learning
  ☆14Updated 3 weeks ago
• tommasocarraro / LTNtorch
  PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.
  ☆108Updated 6 months ago
• AI-Planning / pddl
  Unquestionable PDDL 3.1 parser
  ☆120Updated last week
• ml-research / nsfr
  The Neuro-Symbolic Forward Reasoner
  ☆22Updated last year
• AI-Planning / planutils
  General library for setting up linux-based environments for developing, running, and evaluating planners.
  ☆117Updated 4 months ago
• ml-research / SLASH
  Scalable Neural-Probabilistic Answer Set Programming
  ☆17Updated 11 months ago
• KareemYousrii / SPL
  This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers
  ☆27Updated last year
• kavigupta / neurosym-lib
  Neurosymbolic Library
  ☆24Updated 2 weeks ago
• DillonZChen / wlplan
  Relational Features for PDDL Planning
  ☆11Updated last month
• braun-steven / simple-einet
  An implementation of EinsumNetworks in PyTorch.
  ☆21Updated 3 months ago
• Tractables / pyjuice
  Scalable training and inference for Probabilistic Circuits
  ☆59Updated this week
• ML-KULeuven / deepproblog
  DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…
  ☆231Updated 8 months ago
• AI-Planning / pddl-generators
  A collection of PDDL generators, some of which have been used to generate benchmarks for the International Planning Competition (IPC).
  ☆109Updated 4 months ago
• williamshen-nz / STRIPS-HGN
  Learning Domain-Independent Planning Heuristics over Hypergraphs (ICAPS'20)
  ☆13Updated last month
• aibasel / downward
  The Fast Downward domain-independent classical planning system
  ☆315Updated this week
• logictensornetworks / logictensornetworks
  Deep Learning and Logical Reasoning from Data and Knowledge
  ☆294Updated 5 months ago
• ML-KULeuven / deepstochlog
  ☆31Updated last year
• aiplan4eu / up-fast-downward
  Integration of the planning system Fast Downward with the unified-planning framework.
  ☆11Updated 4 months ago
• april-tools / cirkit
  a python framework to build, learn and reason about probabilistic circuits and tensor networks
  ☆93Updated this week
• neurosymbolic-learning / Neurosymbolic_Tutorial
  Python notebooks for a tutorial on neurosymbolic programming
  ☆71Updated last year
• aibasel / pyperplan
  A lightweight STRIPS planner written in Python.
  ☆109Updated 6 months ago
• QuMuLab / planner-for-relevant-policies
  ☆30Updated last year
• Kurorororo / numeric-fast-downward
  ☆14Updated last year
• panda-planner-dev / ipc2020-domains
  ☆19Updated last year
• speckdavid / symk
  Symk is a state-of-the-art classical optimal and top-k planner.
  ☆40Updated last month
• abcorrea / powerlifted
  Powerlifted Planner
  ☆30Updated 4 months ago
• IBM / nl2ltl
  Natural Language (NL) to Linear Temporal Logic (LTL)
  ☆73Updated 7 months ago
• pyrddlgym-project / pyRDDLGym
  A toolkit for auto-generation of OpenAI Gym environments from RDDL description files.
  ☆79Updated last week
• simon-stahlberg / mimir
  ☆18Updated this week