marcincuber / modal_logic
Final Year Masters Project: modal logic solver tableaux
☆21Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for modal_logic
- A rule engine based on Attempto Controlled English☆18Updated 3 weeks ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆69Updated this week
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆42Updated last month
- Python term rewriting☆27Updated 11 years ago
- ProbLog 2 is now at https://github.com/ML-KULeuven/problog☆10Updated 5 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆33Updated 11 years ago
- Incremental Learning Event Definitions☆14Updated 9 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- Lambda Notebook: Formal Semantics in Jupyter☆26Updated 3 weeks ago
- A heuristic procedure for proving inequalities☆32Updated 6 years ago
- Port of Aleph to SWI-Prolog☆44Updated 9 months ago
- GOPHI: an AMR-to-English Verbalizer☆11Updated 4 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 4 months ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- Relational data mining in python☆31Updated 2 years ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- deep learning for math☆29Updated 5 years ago
- ☆13Updated 3 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 11 months ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- An interface to SAT solver tools (like minisat)☆58Updated 2 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 3 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆54Updated 3 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆21Updated 2 months ago
- The Boole Interactive Reasoning Assistant☆27Updated 10 years ago
- Primary implementation of the Venture probabilistic programming system☆28Updated 5 years ago
- SIGPLAN website☆10Updated this week
- System for eXtended Hybrid Abductive Inductive Learning☆24Updated 3 years ago
- ☆27Updated last year