bigraphs / jlibbig
A Java library for bigraphical reactive systems.
☆11Updated 2 years ago
Alternatives and similar repositories for jlibbig:
Users that are interested in jlibbig are comparing it to the libraries listed below
- Visual graph rewriting platform☆10Updated this week
- The main repository integrating the LaTeX beamer-based slides☆24Updated 2 weeks ago
- Datalog that's as easy as ABC.☆59Updated 5 months ago
- 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
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated last month
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Updated last year
- The Heterogeneous Tool Set☆58Updated 2 months ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆79Updated last month
- Pfc: adding forward chaining and truth maintenance to Prolog☆11Updated 2 years ago
- Maude Formal Environment☆17Updated 5 years ago
- 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 10 years ago
- 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
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- The Flix Programming Book☆17Updated last week
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- A General Multi-agent Epistemic Planner Based on Higher-order Belief Change☆10Updated 2 months ago
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆27Updated 6 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆10Updated last year
- CLP(BNR) module for SWI-Prolog☆42Updated last month
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 3 years ago
- A lazy-grounding Answer-Set Programming system☆60Updated 2 months ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Updated 5 months ago
- Online repository for the IJCAI 2017 paper "Purely Declarative Action Representations are Overrated: Classical Planning with Simulators"☆10Updated 7 years ago
- FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.☆31Updated 3 years ago
- top-down interpreter for ASP programs with constraints☆17Updated 2 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 2 years ago
- Synthesis Format Conversion Tool☆24Updated 8 months ago
- ☆71Updated 4 years ago
- Online BDD Simulation Tool☆18Updated 2 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago