Logic Language for LLMs 🌱🐋🌍 Build Neuro-Symbolic AI for Learning and Reasoning

Microsoft/InKnowWorks Graph Engine

Simplified semantic reasoning in Python

Requirements Ontology

System Architecture Proposal for Semantic Reasoning and Agentic Explainability

AI-native knowledge graph that continuously learns and discovers hidden relationships across multimodal knowledge.

Rust systemd daemon for distributed semantic reasoning with Anthropic LLM integration

A synthetic physical inconsistency detector using DINOv2 residual probes, multi-view validation, temporal sync drift checks, semantic mismatch detection, and counterfactual intervention generation.

HCIP is a formal cognitive architecture for human–machine reasoning, built around the idea that meaning becomes richer, more stable, and more structurally coherent when interactions unfold across time with shared context.

This is an example of shelf state estimation in ROS using reasoning over the available knowledge. GRAKN.AI is used for Knowledge base and semantic modelling.