4 results found Sort:

opennars
opennars opennars
86
378
mit
46
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 3 years ago
Galigator
openllet Galigator
26
96
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
664 commits to integration branch, last one about a year ago
opennars
OpenNARS-for-Applications opennars
40
87
mit
19
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,622 commits to master branch, last one a day ago
eyereasoner
eye-js eyereasoner
5
33
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,363 commits to main branch, last one 23 hours ago