dwolter / SparQLinks
qualitative spatio-temporal reasoning toolbox
☆22Updated last year
Alternatives and similar repositories for SparQ
Users that are interested in SparQ are comparing it to the libraries listed below
Sorting:
- A visual Mandelbrot set explorer written in J☆11Updated 4 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆77Updated 2 months ago
- Port of Aleph to SWI-Prolog☆49Updated last year
- Sequitur and RePair grammar induction algorithms implementation☆26Updated last year
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 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…☆37Updated 10 years ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 11 years ago
- Write LaTeX-formatted documents using J evaluation☆18Updated 9 years ago
- NetLogo model simulation visualizer (Beak) and the netlogoweb.org website 🐢☆62Updated last week
- Distributed constraint satisfaction with recursive message-passing agents☆16Updated 7 years ago
- Vega scenegraph and renderers.☆33Updated 6 years ago
- An implementation of the clustering algorithm k-means in J.☆13Updated 10 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 3 years ago
- Lean ported to Javascript with Emscripten☆26Updated 8 years ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Updated last year
- RTEC is an Event Calculus implementation optimised for stream reasoning☆94Updated last month
- CHR: Leuven Constraint Handling Rules☆26Updated 3 weeks ago
- ☆10Updated 7 years ago
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- Community contributions to the Grammatical Framework☆61Updated last year
- Python term rewriting☆30Updated 12 years ago
- Evolutionary Algorithms Library☆63Updated 5 years ago
- Compiler and runtime engine for NetLogo models that runs in JavaScript 🐢☆55Updated this week
- Simulating Knowledge Dynamics in Innovation Networks☆15Updated last year
- ☆52Updated 8 years ago
- a syntax directed editor☆17Updated last year
- Evolutionary feature synthesis☆17Updated 9 years ago
- Write TAP tests with SWI-Prolog☆12Updated 2 years ago
- MiniZinc documentation☆16Updated 2 years ago
- Parser for Attempto Controlled English (ACE)☆197Updated last year