RAIRLab / Peirce-My-Heart

Related projects ⓘ

Alternatives and complementary repositories for Peirce-My-Heart

• RAIRLab / lazyslate
  An open source graphical proof construction assistant for the creation of Natural Deduction proofs.
  ☆16Updated 9 months ago
• aig-upf / 2017-planning-with-simulators
  Online repository for the IJCAI 2017 paper "Purely Declarative Action Representations are Overrated: Classical Planning with Simulators"
  ☆10Updated 6 years ago
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆29Updated last month
• andrewcropper / iggp
  A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.
  ☆12Updated last year
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆64Updated 8 months ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆42Updated last week
• bralani / icon22-23
  Software di gestione degli incroci semaforici sfruttando tecnologie di intelligenza artificiale per il corso di ingegneria della conoscen…
  ☆12Updated last year
• ctpelok77 / kstar
  ☆9Updated last year
• ai4reason / Prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆41Updated 9 months ago
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆247Updated this week
• ciaranm / glasgow-subgraph-solver
  A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.
  ☆70Updated 4 months ago
• konclude / Konclude
  Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL
  ☆36Updated 2 years ago
• ML-KULeuven / deepproblog
  DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…
  ☆198Updated 3 months ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆58Updated 3 weeks ago
• JoseCSantos / GILPS
  General Inductive Logic Programming System
  ☆17Updated 2 years ago
• dityas / Athene
  A description logic reasoner for python.
  ☆14Updated 6 years ago
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆206Updated last week
• MassimoLauria / cnfgen
  CNF generator in DIMACS format. It produces common families of CNFs.
  ☆63Updated 6 months ago
• thiagopbueno / tf-plan
  Planning through backpropagation using TensorFlow.
  ☆16Updated 4 years ago
• ML-KULeuven / deepstochlog
  ☆26Updated 9 months ago
• ilaspltd / ILASP-releases
  ☆35Updated 2 weeks ago
• vprover / vampire
  The Vampire Theorem Prover
  ☆301Updated this week
• coq-community / awesome-coq
  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
  ☆319Updated 3 months ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆79Updated 3 months ago
• potassco / guide
  🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
  ☆75Updated last year
• ncatlab / nlab
  Source code for the nLab
  ☆149Updated 2 months ago
• aig-upf / automated-programming-framework
  Automated Programming Framework
  ☆14Updated 4 years ago
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆113Updated this week
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆316Updated 3 weeks ago
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆138Updated this week