Alternatives and similar repositories for belief-revision-engine:

Users that are interested in belief-revision-engine are comparing it to the libraries listed below

• giannisdaras / ntua-lambda
  This repository expects to be a place to find code/resources/examples and more, related to the NTUA lambda flow.
  ☆10Updated 6 years ago
• eellak / gsoc17-diavgeia
  Diavgeia Redefined: Redefined functionality of Diavgeia using RDF and Blockchain (GSOC 2017 GFOSS Project).
  ☆13Updated 6 years ago
• papachristoumarios / SignGlove
  Sign Language Translator for ASL with a gesture glove built for ECESCON9 contest
  ☆9Updated 6 years ago
• infinity4471 / Epidemic-Simulator
  An Epidemic Simulator with real time charts and statistics using a modified SIR model
  ☆10Updated 5 years ago
• gradescope / autograder_samples
  Examples of autograders for running on Gradescope
  ☆84Updated 3 months ago
• fbuetler / asvz-bot
  ASVZ Bot to enroll to lessons. Get a place when the registration opens or when a place gets free. Works for ETH, UZH and ZHAW students.
  ☆71Updated last year
• aiplan4eu / unified-planning
  The AIPlan4EU Unified Planning Library
  ☆233Updated last week
• eellak / gsoc2019-diyrobot
  A DIY robot kit for educators
  ☆21Updated 3 years ago
• GarenSidonius / ASU-Dissertation-Template
  LaTeX Template for Typesetting Arizona State University Dissertations and Theses
  ☆73Updated 2 years ago
• EmbodiedCognition / py-c3d
  Read & write C3D mocap files
  ☆107Updated last year
• kamel-usp / dpasp
  Differentiable probabilistic answer set programming
  ☆20Updated 5 months ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆46Updated last week
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆122Updated 2 years ago
• pellierd / pddl4j
  PDDL4J is an open source library under LGPL license whose purpose of PDDL4J is to facilitate the development of JAVA tools for Automated …
  ☆151Updated 7 months ago
• tulip-control / polytope
  Geometric operations on polytopes of any dimension
  ☆78Updated 6 months ago
• gbiggs / hokuyoaist
  Hokuyo range sensor driver
  ☆17Updated 7 years ago
• weighted-model-integration / pywmi
  ☆19Updated 2 years ago
• siva82kb / smoothness
  This repository contains the functions for calculating movement smoothness using different metrics.
  ☆18Updated 6 years ago
• AI-Planning / l2p
  Library for LLM-driven action model acquisition via natural language
  ☆17Updated 2 weeks ago
• gamleksi / TrajectoryVAE
  Affordance Learning for End-to-End Visuomotor Robot Control
  ☆9Updated 6 years ago
• agentcontest / massim_2019
  The MASSim server 2019 edition
  ☆16Updated 5 years ago
• djsutherland / arxiv-collector
  A little Python script to collect LaTeX sources for upload to the arXiv.
  ☆353Updated 8 months ago
• EU-EMERGE / archetype-computing-adaptive-system
  Archetype Computing / Adapting System for the EMERGE project.
  ☆13Updated 2 months ago
• bansallab / asnr
  Animal Social Networks Repository
  ☆68Updated 2 months ago
• MichaelStott / SimplexSolver
  Python script that solves standard linear programs with the Simplex algorithm and outputs step-by-step LaTeX instructions.
  ☆79Updated 7 months ago
• 921kiyo / symbolic-rl
  Symbolic Reinforcement Learning using Inductive Logic Programming
  ☆62Updated 2 years ago
• MaximeBataille / tennis_tracking
  ☆106Updated 3 years ago
• fpom / snakes
  SNAKES is the Net Algebra Kit for Editors and Simulators
  ☆91Updated 10 months ago
• fabian-beck / survis
  Visual Literature Database
  ☆178Updated 8 months ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆238Updated 3 years ago