bigraphs / jlibbig

Related projects ⓘ

Alternatives and complementary repositories for jlibbig

• mm-adt / vm
  The mm-ADT Virtual Machine
  ☆34Updated 3 years ago
• bpinaud / Porgy
  Visual graph rewriting platform
  ☆10Updated 7 months ago
• potassco-asp-course / course
  The main repository integrating the LaTeX beamer-based slides
  ☆22Updated last month
• domschrei / aquaplanning
  Aquaplanning QUick Automated Planning.
  ☆13Updated 4 years ago
• aig-upf / automated-programming-framework
  Automated Programming Framework
  ☆14Updated 4 years ago
• Shufang-Zhu / Syft
  Synthesizer of LTLf formula
  ☆9Updated last year
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆13Updated this week
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆76Updated last month
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆33Updated 4 months ago
• vardigroup / lisa
  Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…
  ☆12Updated 3 years ago
• cesaro / cunf
  A model checker for safe Petri nets based on partial-order semantics
  ☆13Updated 3 years ago
• whitemech / Plan4Past
  Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals
  ☆16Updated 2 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
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆55Updated this week
• DeMaCS-UNICAL / I-DLV
  The new intelligent grounder of the logic-based Artificial Intelligence system DLV
  ☆22Updated 11 months ago
• graphik-team / graal
  Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
  ☆45Updated 2 years ago
• sysulic / MEPK
  A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
  ☆10Updated 3 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 4 months ago
• choral-lang / choral
  A compiler, testing bed, and standard library for the Choral programming language.
  ☆25Updated last week
• Mortimerp9 / Prolog-Graphplan
  The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…
  ☆36Updated 9 years ago
• jrbn / vlog
  VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.
  ☆17Updated 6 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• maude-team / MFE
  Maude Formal Environment
  ☆17Updated 4 years ago
• maxeeem / NARS-Swift
  Swift implementation of Pei Wang's Non-Axiomatic Logic
  ☆13Updated 4 months ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆15Updated last week
• nickmain / cchr
  Copy of the CCHR Constraint Handling Rules implementation in C
  ☆20Updated 2 years ago
• UoYCS-plasma / GP2
  The rule-based graph programming language GP 2
  ☆66Updated 4 months ago
• patham9 / ANSNA
  Adaptive Neuro-Symbolic Network Agent
  ☆35Updated 2 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• hbeck / ticker
  A rule-based stream reasoning engine utilizing sliding windows
  ☆10Updated 2 years ago