A collection of research on knowledge graphs

HyLAR reasoner

Desktop App with Built-In LLM for Removing Personal Identifiable Information in Documents

OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data

Evaluating Large Language Models with Grid-Based Game Competitions: An Extensible LLM Benchmark and Leaderboard

API framework for rapid contract rules modeling.

An application for reasoning about future events from user-provided possibly partially contradictory situation calculus. BSD-2-Clause license.

A simple AI source code that includes chat, reasoning and image features using public APIs like xAI, OpenAI, HuggingFace and Flux.

Allows AI to perform advanced reasoning, store the reasoning automatically, and can create system prompts or domain knowledge as libraries.

A test of spatial memory span

Implementing empathic agents in JavaScript

Web version of TuxMathScrable (without actual Tux)

A simple AI source code that includes chat, reasoning and image features using public APIs like xAI, OpenAI, HuggingFace and Flux.

AI Tutor is a chatbot-based web app that answers syllabus-specific queries using Google Gemini API. It integrates Google Drive for eBook storage, MongoDB for chat history, and Clerk for user authentication, ensuring accurate, secure, and curriculum-aligned responses to students.

An interactive web-based learning platform designed to help students master quantitative, verbal, logical reasoning, and data interpretation skills. Features include practice questions, structured tests, instant feedback, motivational rewards, and performance analytics.

A server-side component providing an HTTP API for RDF data processing and SPARQL querying via the Corese engine.

EYE mock solving your n3 reasoning on a server instead of client side Prolog execution

This repository contains the code for training and deploying the GenZ model. The process is fully automated using GitHub Actions.

TreeJack is a web-based interactive tool for visualizing, simulating, and debugging decision trees. It helps developers and product owners understand logic flows, identify unreachable paths, and test various input scenarios through a clean, minimalistic interface.

TreeJack is a web-based interactive tool for visualizing, simulating, and debugging decision trees. It helps developers and product owners understand logic flows, identify unreachable paths, and test various input scenarios through a clean, minimalistic interface.