reasoner

Star

Here are 33 public repositories matching this topic...

Language:All

Filter by language

All33 Java10 Python7 C2 Clojure2 F#2 TypeScript2 C#1 Common Lisp1 D1 HTML1

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

opennars /opennars

Star394

OpenNARS for Research 3.0+

java agent learning semantic database ai graph realtime solver logic inference agi rl artificial-general-intelligence reinforcement aikr nars reasoner nal reasoning

UpdatedMar 31, 2021
Java

pdsuwwz /chatgpt-vue3-light-mvp

Star245

💭 一个可二次开发 Chat Bot 单轮对话 Web 端 MVP 原型模板, 基于 Vue 3, Vite 6, TypeScript, Naive UI, Pinia(v3), UnoCSS 等主流技术构建, 🧤简单集成大模型 API, 采用单轮 AI 问答对话模式, 每次提问独立响应, 无需上下文, 支持打字机效果流式输出, 集成 markdown-it 公式高亮预览, Deepseek V3/R1 深度思考推理模型预览, 兼容 <think> 标签, 💼 易于定制和快速搭建 Chat 类大语言模型产品 (附示例截图)

chat ai spark stream chatbot event ts source openai glm gpt reasoner kimi moonshot llm ollama qwen deepseek siliconcloud siliconflow

UpdatedMar 12, 2025
TypeScript

Galigator /openllet

Star105

Openllet is an OWL 2 reasoner in Java, build on top of Pellet.

java semantic logic inference owl jena reasoner owl-api owl2

UpdatedOct 14, 2024
Java

opennars /OpenNARS-for-Applications

Star97

General reasoning component for applications based on NARS theory.

ai artificial-intelligence nars reasoner nal reasoning non-axiomatic-logic non-axiomatic-reasoning procedu

UpdatedMar 17, 2025
C

eyereasoner /eye-js

Star46

A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.

javascript semantic typescript web solid rdf proof webassembly owl surfaces reasoner

UpdatedMar 18, 2025
TypeScript

opennars /Narjure

Star43

A Clojure implementation of the Non-Axiomatic Reasoning System proposed by Pei Wang.

agi nars reasoner nal

UpdatedFeb 24, 2017
Clojure

ErgoAI /ErgoEngine

Star35

The ErgoAI reasoning engine, an advanced object-oriented knowledge management system

logic-programming reasoner object-oriented-programming knowledge-representation-reasoning ergo knowledge-reasoning ergoreasoner ergo-reasoner ergo-engine

UpdatedMar 9, 2025
OpenEdge ABL

opennars /ALANN2018

Star27

Adaptive Logic and Neural Network (ALANN) version of NARS style General Machine Intelligence (GMI)

agi nars reasoner nal

UpdatedNov 30, 2022
F#

tilde-lab /pyfactxx

Star24

Python bindings for upgraded FaCT++ description logic reasoner

semantic-web owl ontology rdflib ontologies reasoner description-logics owl2 owlapi reasoner-benchmark

UpdatedSep 3, 2024
Java

mdesalvo /OWLSharp

Star11

Lightweight and friendly .NET library for realizing intelligent Semantic Web applications

inference owl ontology skos rdfs reasoner swrl skos-xl owl2 geosparql owl-time

UpdatedMar 15, 2025
C#

ErgoAI /Studio_fidji

Star8

ErgoAI's Java IDE

integrated-development-environment logic-programming reasoner knowledge-representation-reasoning ergo ergoreasoner ergo-reasoner ergoengine ergo-engine

UpdatedOct 1, 2023
Java

wolpertinger-reasoner /Wolpertinger

Star7

Wolpertinger: A Fixed-Domain Reasoner for OWL

semantic-web ontology reasoner owl-dl

UpdatedOct 13, 2020
Java

sisinflab-swot /evowluator

Star6

📊 A cross-platform, energy-aware evaluation tool for OWL reasoners

energy evaluation semantic-web owl test-framework reasoner

UpdatedSep 24, 2024
Python

smessie /reasoner-app

Star5

Notation3 reasoning application using EYE in the browser and remotely on a server. Input data from your solid pod, a generic location on the web or directly as text

vuejs linked-data solid n3 eye reasoner reasoning notation3