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
• eellak / gsoc2019-diyrobot
  A DIY robot kit for educators
  ☆21Updated 3 years ago
• eellak / gsoc2019-text-extraction
  GSoC 2019: Development of a Tool for Extracting Quantitative Text Profiles
  ☆11Updated 4 years ago
• papachristoumarios / jupyter-greek-latex
  Export Jupyter Notebooks to (Xe)LaTeX with Greek Support
  ☆12Updated 6 years ago
• papachristoumarios / IEEEXtreme11.0
  IEEEXtreme 11.0 Solutions by PComplete Team (48th Rank Worldwide)
  ☆25Updated 6 years ago
• mstou / sudoku-solver
  A simple sudoku solver
  ☆17Updated 6 years ago
• papachristoumarios / python-GomoryHu
  Simplistic Gomory-Hu Tree Data Structure implementation in Python
  ☆13Updated 6 years ago
• mstou / White-Noise-CanSat2018
  DrillSat 2018
  ☆16Updated 6 years ago
• Tony-sama / pylfit
  Python implementation of the main algorithms of the Learning From Interpretation Transitions (LFIT) framework
  ☆13Updated 9 months ago
• infinity4471 / Epidemic-Simulator
  An Epidemic Simulator with real time charts and statistics using a modified SIR model
  ☆10Updated 4 years ago
• eellak / gsoc2019-tms
  Web-app of a Thesis management system
  ☆17Updated 2 years ago
• strands-project / strands_qsr_lib
  Qualitative Spatial Relations library
  ☆18Updated 4 years ago
• mstou / CanSat2018-Ground-Station
  Ground Station for the CanSat in Greece competition
  ☆29Updated 5 years ago
• arbenson / Hyper-Evec-Centrality
  Code accompanying the paper "Three hypergraph eigenvector centralities."
  ☆10Updated 6 years ago
• danielnyga / pracmln
  Markov Logic Networks in Python
  ☆136Updated 3 years ago
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆195Updated last week
• ML-KULeuven / deepproblog
  DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…
  ☆226Updated 7 months ago
• kallinikos / kallinikos.github.io
  Ο Καλλίνικος είναι μία πλατφόρμα εκμάθησης αλγορίθμων για διαγωνισμούς πληροφορικής.
  ☆23Updated 5 years ago
• floriangeigl / arxiv_converter
  A tiny python2.7 script which converts LaTex projects into arxiv-format. Suggestions are welcome.
  ☆10Updated 9 years ago
• papachristoumarios / dnd.py
  Do not get distracted with social media by blockading them via /etc/hosts
  ☆21Updated 2 years ago
• knowrob / knowrob
  A Knowledge Base System for Cognition-enabled Robots
  ☆142Updated 2 weeks ago
• ML-KULeuven / deepstochlog
  ☆30Updated last year
• srfiorini / IEEE1872-owl
  OWL specification of the Core Ontology for Robotics and Automation (CORA) and other IEEE 1872-2015 ontologies
  ☆30Updated 4 years ago
• janovergoor / choose2grow
  Research code for "Choosing to grow a graph" project. Contains code for network generation and model estimation.
  ☆26Updated 4 years ago
• tulip-control / gr1c
  a collection of tools for GR(1) synthesis and related activities
  ☆17Updated 3 months ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆22Updated 11 months ago
• ciaranm / glasgow-subgraph-solver
  A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.
  ☆74Updated last month
• hexhex / hexlite
  Python-based HEX implementation for a fragment of the HEX language and a subset of features.
  ☆14Updated 3 years ago
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago