tdiam / belief-revision-engine
A Python implementation of a belief revision engine that uses entrenchment-based ranking.
☆9Updated 2 years ago
Related projects: ⓘ
- This repository expects to be a place to find code/resources/examples and more, related to the NTUA lambda flow.☆10Updated 5 years ago
- Export Jupyter Notebooks to (Xe)LaTeX with Greek Support☆12Updated 5 years ago
- Simplistic Gomory-Hu Tree Data Structure implementation in Python☆13Updated 6 years ago
- GSoC 2019: Development of a Tool for Extracting Quantitative Text Profiles☆11Updated 4 years ago
- Human-Agent Teaming Rapid Experimentation Software☆10Updated 6 months ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆184Updated last month
- Creation of an online Greek mail dictation system, using Sphinx and personalized acoustic/language model training☆19Updated 2 weeks 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 last year
- A DIY robot kit for educators☆21Updated 3 years ago
- Geometric operations on polytopes of any dimension☆74Updated 2 months ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆305Updated 3 months ago
- IEEEXtreme 11.0 Solutions by PComplete Team (48th Rank Worldwide)☆25Updated 5 years ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆269Updated 5 months ago
- A tiny python2.7 script which converts LaTex projects into arxiv-format. Suggestions are welcome.☆10Updated 8 years ago
- Python Bindings for the Probabilistic Model Checker Storm☆29Updated this week
- Temporal networks in Python. Provides fast tools to analyze temporal contact networks and simulate dynamic processes on them using Gilles…☆105Updated 4 years ago
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆173Updated this week
- A description logic reasoner for python.☆14Updated 6 years ago
- A simple sudoku solver☆17Updated 6 years ago
- Sign Language Translator for ASL with a gesture glove built for ECESCON9 contest☆9Updated 6 years ago
- A largely incomplete but hopefully useful list of links to datasets for relational learning and inductive logic programming. No guarantee…☆48Updated 4 years ago
- Lab exercises of Speech and Language Processing course in NTUA☆11Updated 7 months ago
- Python package for Sentential Decision Diagrams (SDD)☆53Updated 2 months ago
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11Updated last year
- arched links in networkx drawing☆12Updated 5 years ago
- Minimal template for a Python library project☆11Updated last year
- Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.☆58Updated 6 years ago
- Comparative metrics for dynamic networks in Python☆66Updated last year
- Diavgeia Redefined: Redefined functionality of Diavgeia using RDF and Blockchain (GSOC 2017 GFOSS Project).☆13Updated 6 years ago