5 results found Sort:

opennars
opennars opennars
84
386
mit
48
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
100
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 4 months ago
opennars
OpenNARS-for-Applications opennars
40
91
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,698 commits to master branch, last one 21 days ago
eyereasoner
eye-js eyereasoner
5
39
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,561 commits to main branch, last one 20 hours ago
ErgoAI
ErgoEngine ErgoAI
2
28
apache-2.0
4
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 18 days ago