tdiam / belief-revision-engine
A Python implementation of a belief revision engine that uses entrenchment-based ranking.
☆9Updated 2 years ago
Alternatives and similar repositories for belief-revision-engine:
Users that are interested in belief-revision-engine are comparing it to the libraries listed below
- This repository expects to be a place to find code/resources/examples and more, related to the NTUA lambda flow.☆10Updated 5 years ago
- Ground Station for the CanSat in Greece competition☆28Updated 5 years ago
- DrillSat 2018☆16Updated 6 years ago
- An Epidemic Simulator with real time charts and statistics using a modified SIR model☆10Updated 4 years ago
- Web-app of a Thesis management system☆17Updated 2 years ago
- Simplistic Gomory-Hu Tree Data Structure implementation in Python☆13Updated 6 years ago
- Extracts the historic word occurrence of a search term in academic papers☆305Updated 11 months ago
- A description logic reasoner for python.☆15Updated 7 years ago
- Top-down induction of first-order logical decision trees: master AI thesis implementation☆23Updated 4 years ago
- This package aims to provide a way to easily move LaTeX proofs in appendix.☆25Updated last year
- Notes from the Computational Mathematics course held by professor Antonio Frangioni and professor Federico Poloni at University of Pisa☆12Updated 3 years ago
- Research code for "Choosing to grow a graph" project. Contains code for network generation and model estimation.☆26Updated 4 years ago
- ☆26Updated 11 months ago
- Geometric operations on polytopes of any dimension☆77Updated 3 months ago
- A DIY robot kit for educators☆21Updated 3 years ago
- Python implementation of the main algorithms of the Learning From Interpretation Transitions (LFIT) framework☆13Updated 6 months ago
- Code accompanying the paper "Three hypergraph eigenvector centralities."☆10Updated 5 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 3 years ago
- Sum Product Flow: An Easy and Extensible Library for Sum-Product Networks☆291Updated last week
- This is a rule-based logic system that uses forward- and backward-chaining algorithms to do two things: 1.) learn new rules and variable …☆33Updated 6 years ago
- PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or c…☆29Updated 2 months ago
- A template for two-column scientific preprints☆162Updated 3 years ago
- Fast prototyping of epidemiological models based on reaction equations. Analyze the ODEs analytically or numerically, or run stochastic s…☆32Updated last year
- ROS driver for the Evologics Underwater Modems☆11Updated 4 years ago
- Fast & scalable MCMC for all your exoplanet needs!☆209Updated 3 weeks ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆281Updated 2 months ago
- Pandora is an Agent-Based Modelling framework for large-scale simulations☆86Updated 6 years ago
- A HOL-based framework for reasoning over knowledge graphs☆24Updated 3 months ago
- Constraint Solving Problem resolver for Python☆451Updated 2 months ago
- AgentPy is an open-source framework for the development and analysis of agent-based models in Python.☆333Updated 2 years ago