RAIRLab / Peirce-My-HeartLinks
A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
☆13Updated 7 months ago
Alternatives and similar repositories for Peirce-My-Heart
Users that are interested in Peirce-My-Heart are comparing it to the libraries listed below
Sorting:
- An open source graphical proof construction assistant for the creation of Natural Deduction proofs.☆19Updated last year
- Online repository for the IJCAI 2017 paper "Purely Declarative Action Representations are Overrated: Classical Planning with Simulators"☆10Updated 7 years ago
- ☆10Updated 3 years ago
- A curated list of Q# code and resources.☆171Updated 3 years ago
- Tarski - An AI Planning Modeling Framework☆67Updated last year
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Updated last year
- Graph Learning for PDDL Planning☆16Updated last week
- ☆15Updated last year
- 🥰 List of awesome GitHub organizations☆24Updated last year
- An awesome list of complex systems science resources☆224Updated 4 months ago
- Large Scale Type Systems (programming language)☆126Updated last week
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆359Updated 7 months ago
- A curated list of algorithms and papers for auditing black-box algorithms.☆102Updated last month
- Verified decision procedures for modal logics in Lean☆12Updated 5 years ago
- Automated Programming Framework☆15Updated 5 years ago
- Differentiable probabilistic answer set programming☆26Updated last month
- 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner☆57Updated last week
- A curated list of awesome TypeDB frameworks libraries, software and resources.☆68Updated 8 months ago
- Domain and problem PDDL parser in C/C++ using Flex & Bison.☆16Updated 6 years ago
- This ontology is a Linked Data Hub for mathematics☆61Updated last year
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆362Updated 3 weeks ago
- A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.☆53Updated this week
- A general framework for embedding Logic Programming in complex systems☆30Updated last year
- Python interface for SWI-Prolog☆49Updated this week
- A Python package for automata theory.☆56Updated last year
- An inductive logic programming system☆234Updated this week
- A curated list of awesome inspectIT documentations and resources.☆24Updated 4 years ago
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- B-OCL is a tool designed to parse and evaluate the OCL constraints designed on BESSER models. It is a python based implementation that ut…☆22Updated last month
- A curated list of ontology things☆400Updated 3 months ago