4 results found Sort:

opencog
atomspace opencog
241
862
other
83
The OpenCog (hyper-)graph database and graph rewriting system
atomspace rewriting query-engine graph-database knowledge-base query-language rewrite-system graph-rewriting knowledge-graph logic-programming relational-algebra relational-database knowledge-representation
Created 2015-04-27
34,108 commits to master branch, last one about a month ago
maxitg
SetReplace maxitg
47
226
mit
17
C++/Wolfram Language package for exploring set and graph rewriting systems
nks set graph physics hypergraph wolfram-model graph-rewriting set-substitution wolfram-language
Created 2018-10-07
352 commits to master branch, last one about a month ago
met4citizen
Hypergraph met4citizen
7
70
mit
4
Hypergraph Rewriting System
hypergraph graph-rewriting
Created 2020-12-27
288 commits to main branch, last one 11 months ago
opencog
ure opencog
31
56
other
11
[NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpace. Used as reasoning engine for OpenCog.
chainer inference rule-engine rules-engine graph-rewriting inference-rules forward-chaining inference-engine backward-chaining backward-induction
Created 2019-07-08
18,076 commits to master branch, last one 18 days ago