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:
- Export Jupyter Notebooks to (Xe)LaTeX with Greek Support☆12Updated 6 years ago
- This repository expects to be a place to find code/resources/examples and more, related to the NTUA lambda flow.☆10Updated 6 years ago
- DrillSat 2018☆16Updated 6 years ago
- Ground Station for the CanSat in Greece competition☆30Updated 6 years ago
- Simplistic Gomory-Hu Tree Data Structure implementation in Python☆13Updated 6 years ago
- Sign Language Translator for ASL with a gesture glove built for ECESCON9 contest☆8Updated 6 years ago
- Web-app of a Thesis management system☆17Updated 2 years ago
- An Epidemic Simulator with real time charts and statistics using a modified SIR model☆10Updated 5 years ago
- Python implementation of the main algorithms of the Learning From Interpretation Transitions (LFIT) framework☆13Updated 2 weeks ago
- Clio, a web-based system for maintaining (meta-)information on software components☆7Updated 6 years ago
- Geometric operations on polytopes of any dimension☆79Updated last month
- Function to produce Bezier curves for the edges in a NetworkX graph☆61Updated 5 years ago
- ☆38Updated 2 years ago
- Top-down induction of first-order logical decision trees: master AI thesis implementation☆25Updated 4 years ago
- A heuristic PDDL+ planner based on the Discretise & Validate approach.☆14Updated 7 years ago
- OWL specification of the Core Ontology for Robotics and Automation (CORA) and other IEEE 1872-2015 ontologies☆31Updated 4 years ago
- PDDL4J is an open source library under LGPL license whose purpose of PDDL4J is to facilitate the development of JAVA tools for Automated …☆154Updated 9 months ago
- PLanning and Acting with TImeliNes under Uncertainty☆18Updated 5 months ago
- FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.☆31Updated 3 years ago
- The plan validation system.☆128Updated 3 years ago
- Performance tests for performance evaluation of various middleware implementations (OPC UA, MQTT, DDS, ROS)☆22Updated 6 years ago
- SAT-based miner of smallest size decision sets☆11Updated 4 years ago
- ☆14Updated 7 years ago
- Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provi…☆19Updated 3 years ago
- Unofficial template for the PhD thesis at EPFL maintained by PolyDoc☆110Updated last year
- IntRoLab's ROS packages☆30Updated 8 years ago
- Animal Social Networks Repository☆69Updated 3 weeks ago
- POPF2 planner from IPC 2011☆9Updated 8 years ago
- Qualitative Spatial Relations library☆18Updated 4 years ago
- Public wiki for the Human-Centered Robotics Lab.☆44Updated 6 years ago