GitHub topics: reasoner
pdsuwwz/chatgpt-vue3-light-mvp
💭 一个可二次开发 Chat Bot 单轮对话 Web 端 MVP 原型模板, 基于 Vue 3, Vite 6, TypeScript, Naive UI, Pinia(v3), UnoCSS 等主流技术构建, 🧤简单集成大模型 API, 采用单轮 AI 问答对话模式, 每次提问独立响应, 无需上下文, 支持打字机效果流式输出, 集成 markdown-it Mermaid/KaTex/LaTex 公式高亮预览, Deepseek V3/R1 深度思考推理模型预览, 兼容 <think> 标签, 💼 易于定制和快速搭建 Chat 类大语言模型产品 (附示例截图)
Language: TypeScript - Size: 16 MB - Last synced at: about 9 hours ago - Pushed at: 5 days ago - Stars: 351 - Forks: 59
eyereasoner/eye-js
A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.
Language: TypeScript - Size: 484 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 49 - Forks: 5
opennars/OpenNARS-for-Applications
General reasoning component for applications based on NARS theory.
Language: C - Size: 2.48 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 99 - Forks: 42
mdesalvo/OWLSharp
Lightweight and friendly .NET library for working with OWL2 ontologies
Language: C# - Size: 5.49 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 12 - Forks: 0
Galigator/openllet
Openllet is an OWL 2 reasoner in Java, build on top of Pellet.
Language: Java - Size: 59.5 MB - Last synced at: 5 days ago - Pushed at: 7 months ago - Stars: 106 - Forks: 27
ErgoAI/ErgoEngine
The ErgoAI reasoning engine, an advanced object-oriented knowledge management system
Language: OpenEdge ABL - Size: 40.7 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 34 - Forks: 3
tilde-lab/pyfactxx
Python bindings for upgraded FaCT++ description logic reasoner
Language: Java - Size: 6.6 MB - Last synced at: about 1 month ago - Pushed at: 9 months ago - Stars: 24 - Forks: 3
opennars/Narjure
A Clojure implementation of the Non-Axiomatic Reasoning System proposed by Pei Wang.
Language: Clojure - Size: 2.4 MB - Last synced at: 5 months ago - Pushed at: about 8 years ago - Stars: 43 - Forks: 11
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
Language: Vue - Size: 2.74 MB - Last synced at: about 1 month ago - Pushed at: 10 months ago - Stars: 5 - Forks: 1
PtrMan/NaExp19-2
2nd Non-Axiomatic Experiment in 2019
Language: D - Size: 285 KB - Last synced at: about 1 year ago - Pushed at: about 6 years ago - Stars: 3 - Forks: 0
PtrMan/19NAR2
NAL based reasoner
Language: Haxe - Size: 1.07 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0
opennars/opennars
OpenNARS for Research 3.0+
Language: Java - Size: 55.1 MB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 372 - Forks: 86
opennars/ALANN2015
Adaptive Logic And Neural Net version of NARS
Language: F# - Size: 425 KB - Last synced at: about 1 year ago - Pushed at: over 9 years ago - Stars: 3 - Forks: 1
opennars/ALANN2018
Adaptive Logic and Neural Network (ALANN) version of NARS style General Machine Intelligence (GMI)
Language: F# - Size: 19 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 26 - Forks: 11
ErgoAI/Studio_fidji
ErgoAI's Java IDE
Language: Java - Size: 8.47 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0
lifr-reasoner/lifr
LiFR, the Lighweight Fuzzy semantic Reasoner.
Language: Java - Size: 484 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 1
IshanMehta115/Semantic-Web-Project
Semantic Web college project files.
Language: Python - Size: 23.4 KB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0
georgewangchn/Owlready2-Chinese Fork of pwin/owlready2
owlready2 Chinese支持实体中文，适用于医学类疾病、症状等名词较多，不易英文或拼音区分的情况
Language: Python - Size: 33.1 MB - Last synced at: 10 months ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 1
sisinflab-swot/evowluator
📊 A cross-platform, energy-aware evaluation tool for OWL reasoners
Language: Python - Size: 494 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 5 - Forks: 0
sisinflab-swot/owl-reasoner-test-framework 📦
This framework has been superseded by evOWLuator (https://github.com/sisinflab-swot/evowluator)
Language: Python - Size: 310 KB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
relikd/QCSP-Reasoner 📦
Nothing fancy, nothing special, just a python reasoner for the spatio-temporal reasoning lecture
Language: Python - Size: 15.6 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0
redwanwalid/EHRSearchableEnc
Implementation of our novel EHR framework using python Django.
Language: HTML - Size: 2.75 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 1
lambdamikel/MiDeLoRa
Michael's Description Logic Reasoner Framework
Language: Common Lisp - Size: 30.9 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0
Display-Lab/think-pudding
Ontology and reasoner proof of concept
Language: Ruby - Size: 6.8 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
wolpertinger-reasoner/Wolpertinger
Wolpertinger: A Fixed-Domain Reasoner for OWL
Language: Java - Size: 297 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 8 - Forks: 1
MindfulMichaelJames/PRO
A Preferential Reasoner for Ontologies
Language: Java - Size: 57.4 MB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 0
Jean-Francois-Baget/pytimedb
Management of temporal information.
Language: Python - Size: 77.1 KB - Last synced at: 8 months ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0
lifr-reasoner/owl2lifrkrss
Semantic notation translator of OWL ontologies to a variant of the KRSS ontological notation.
Language: Java - Size: 1.62 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
aaronEberhart/Dapylog
Python datalog-style reasoner
Language: Python - Size: 63.5 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0
aaronEberhart/Reason.er
ALC reasoner experiment with syntax generator
Language: Java - Size: 1.45 MB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
WIZARDELF/umi
a clojure lib for reasoning about semantic web owl, based on hermit
Language: Clojure - Size: 23.4 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
