RAIRLab / lazyslate

Related projects ⓘ

Alternatives and complementary repositories for lazyslate

• RAIRLab / Peirce-My-Heart
  A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
  ☆11Updated last week
• 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
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆64Updated 8 months ago
• ctpelok77 / kstar
  ☆9Updated last year
• aig-upf / automated-programming-framework
  Automated Programming Framework
  ☆14Updated 4 years ago
• IBM / kstar
  K* search based implementation of top-k and top-quality planners
  ☆15Updated last month
• thiagopbueno / tf-plan
  Planning through backpropagation using TensorFlow.
  ☆16Updated 4 years ago
• leaderfrank / Custom-Corona-Tracker-using-PHP
  ☆9Updated 3 months ago
• aig-upf / universal-pddl-parser
  An algorithm for parsing any planning problem in PDDL format
  ☆19Updated last year
• andrewcropper / iggp
  A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.
  ☆12Updated last year
• xamidi / pmGenerator
  An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
  ☆13Updated 3 weeks ago
• aibasel / downward-benchmarks
  ☆32Updated last week
• JoseCSantos / GILPS
  General Inductive Logic Programming System
  ☆17Updated 2 years ago
• bralani / icon22-23
  Software di gestione degli incroci semaforici sfruttando tecnologie di intelligenza artificiale per il corso di ingegneria della conoscen…
  ☆12Updated last year
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆42Updated last week
• ilaspltd / ILASP-releases
  ☆35Updated 2 weeks ago
• IBM / forbiditerative
  ForbidIterative planners for top-k, top-quality, and diverse planning problems
  ☆16Updated 2 months ago
• 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
• 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
• aig-upf / universal-pddl-parser-multiagent
  The multiagent extension for the PDDL parser
  ☆33Updated 5 years ago
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆29Updated last month
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆42Updated last month
• filoscoder / react-hls-video-player
  Custom Hls Video Player for m3u8 streaming.
  ☆11Updated this week
• Ehtijad-Ali / PYTHON_DATA_TYPE_BASIC
  ☆13Updated 3 months ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆54Updated 3 weeks ago
• stolba / MADLAPlanner
  Multiagent Distributed and Local Asynchronous Planner. A deterministic domain-independent multi-agent planner based on the MA-STRIPS form…
  ☆12Updated 7 years ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆58Updated 3 weeks ago
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆206Updated last week
• sinhp / groupoid_model_in_lean4
  ☆11Updated this week
• thiagopbueno / pddlparser-pp
  Domain and problem PDDL parser in C/C++ using Flex & Bison.
  ☆12Updated 5 years ago