5 results found Sort:

opennars
opennars opennars
83
388
mit
49
OpenNARS for Research 3.0+
ai rl agi nal aikr java nars agent graph logic solver database learning realtime reasoner semantic inference reasoning reinforcement artificial-general-intelligence
Created 2014-07-18
3,944 commits to master branch, last one 4 years ago
Galigator
openllet Galigator
26
102
other
13
Openllet is an OWL 2 reasoner in Java, build on top of Pellet.
owl java jena owl2 logic owl-api reasoner semantic inference
Created 2016-01-21
668 commits to integration branch, last one 6 months ago
opennars
OpenNARS-for-Applications opennars
40
93
mit
21
General reasoning component for applications based on NARS theory.
ai nal nars procedu reasoner reasoning non-axiomatic-logic artificial-intelligence non-axiomatic-reasoning
Created 2020-02-16
1,702 commits to master branch, last one 11 days ago
eyereasoner
eye-js eyereasoner
5
42
mit
2
A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.
owl rdf web proof solid reasoner semantic surfaces javascript typescript webassembly
Created 2022-12-24
1,642 commits to main branch, last one 2 days ago
ErgoAI
ErgoEngine ErgoAI
3
32
apache-2.0
5
The ErgoAI reasoning engine, an advanced object-oriented knowledge management system
ergo reasoner ergo-engine ergoreasoner ergo-reasoner logic-programming knowledge-reasoning object-oriented-programming knowledge-representation-reasoning
Created 2023-03-10
110 commits to main-github branch, last one 3 months ago