tdiam / belief-revision-engineLinks
A Python implementation of a belief revision engine that uses entrenchment-based ranking.
☆11Updated 3 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
Sorting:
- This repository expects to be a place to find code/resources/examples and more, related to the NTUA lambda flow.☆10Updated 6 years ago
- Export Jupyter Notebooks to (Xe)LaTeX with Greek Support☆12Updated 6 years ago
- OOP examples in Java☆11Updated last year
- Python implementation of the main algorithms of the Learning From Interpretation Transitions (LFIT) framework☆13Updated 3 months ago
- A toolkit for SAT-based prototyping in Python☆432Updated this week
- Algorithms inspired by graph Laplacians: linear equation solvers, sparsification, clustering, optimization, etc.☆236Updated 4 months ago
- C++ framework for rigorous computation on cyber-physical systems☆29Updated 2 months ago
- Multi-terminal and Edge-valued Decision Diagram LibrarY☆15Updated 2 months ago
- Simplistic Gomory-Hu Tree Data Structure implementation in Python☆13Updated 7 years ago
- Python implementations of approval-based committee (multi-winner) voting rules☆41Updated 2 weeks ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated 4 months ago
- Network Diffusion Library - (for NetworkX and iGraph)☆292Updated last year
- ☆20Updated 7 years ago
- Code accompanying the paper "Three hypergraph eigenvector centralities."☆10Updated 6 years ago
- An open-source course on constraint solving☆24Updated 2 months ago
- A benchmark library for constraints☆97Updated last month
- An Epidemic Simulator with real time charts and statistics using a modified SIR model☆10Updated 5 years ago
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆203Updated last week
- Gen learning material as Jupyter notebooks☆127Updated last year
- ☆12Updated last month
- ☆13Updated 3 years ago
- Methods to soundly verify deep neural networks☆232Updated 4 months ago
- A package for compositional system analysis and design☆25Updated 2 months ago
- Geometric operations on polytopes of any dimension☆79Updated 4 months ago
- Data and analysis for 'Machine Bias'☆661Updated 8 years ago
- LaTeX samples for NSF Research.gov Proposal Submission. For more information about Research.gov Proposal Submission visit https://www.re…☆275Updated last year
- Web-app of a Thesis management system☆17Updated 2 years ago
- A suite of MiniZinc benchmarks.☆86Updated 4 years ago
- PLANET: a Piece-wise LineAr feed-forward NEural network verification Tool☆43Updated 6 years ago
- Combinatorial Matrix Recognition☆11Updated 2 months ago