Projects in Awesome Lists tagged with reasoner

https://github.com/opennars/opennars

OpenNARS for Research 3.0+

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

Last synced: 17 Dec 2025

https://github.com/pdsuwwz/chatgpt-vue3-light-mvp

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

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

Last synced: 04 Apr 2025

https://github.com/Galigator/openllet

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

inference java jena logic owl owl-api owl2 reasoner semantic

Last synced: 16 Nov 2025

https://github.com/opennars/OpenNARS-for-Applications

General reasoning component for applications based on NARS theory.

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

Last synced: 18 Mar 2025

https://github.com/eyereasoner/eye-js

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

javascript owl proof rdf reasoner semantic solid surfaces typescript web webassembly

Last synced: 15 Apr 2026

https://github.com/tilde-lab/pyfactxx

Python bindings for upgraded FaCT++ description logic reasoner

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

Last synced: 21 Aug 2025

https://github.com/mdesalvo/owlsharp

Lightweight and friendly .NET library for realizing Semantic Web applications (OWL2, SWRL)

inference ontology owl owl2 owl2-xml rdfs reasoner swrl

Last synced: 18 Oct 2025

https://github.com/aclai-lab/solereasoners.jl

This package provides algorithms for reasoning, namely including a sat solver and an automatic theorem prover both based on analytic tableau technique.

logic reasoner tableau

Last synced: 05 Apr 2025

https://github.com/smessie/reasoner-app

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

eye linked-data n3 notation3 reasoner reasoning solid vuejs