marcincuber / modal_logic
Final Year Masters Project: modal logic solver tableaux
☆21Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for modal_logic
- The Boole Interactive Reasoning Assistant☆27Updated 10 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆33Updated 11 years ago
- CHR: Leuven Constraint Handling Rules☆24Updated last week
- Metamath verifier in Python☆34Updated 6 months ago
- Primary implementation of the Venture probabilistic programming system☆28Updated 4 years ago
- A rule engine based on Attempto Controlled English☆18Updated last week
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆42Updated last month
- Lambda Notebook: Formal Semantics in Jupyter☆26Updated last week
- DeepAlgebra☆25Updated 7 years ago
- Classical CHAT80 NLP system for Prolog☆21Updated last year
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- deep learning for math☆29Updated 5 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆69Updated 9 months ago
- The Trill probabilistic ontology reasoner on SWISH☆12Updated 2 months 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
- ☆13Updated 3 years ago
- Paradox model finder and equinox theorem prover for first-order logic.☆20Updated 11 months ago
- Community contributions to the Grammatical Framework☆60Updated 3 months ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 2 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆17Updated 10 months ago
- Chatbot impls in Prolog☆15Updated 2 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆53Updated 10 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- ☆15Updated 3 years ago
- modal logic library for LEAN theorem prover☆10Updated 7 years ago