python based framework for imperative representation of knowledge
Experimental symbolic reasoning infrastructure focused on transparent defeasible reasoning, replayable proof traces, and split evaluation of parsing, grounding, and reasoning failures.
Search & KRR & Planning
哈尔滨工业大学 KRR（知识表示与推理，Knowledge Representation and Reasoning）课程实验代码及报告
High-Level Events with ASP
The operational interface between LLMs and verifiable knowledge — MCP tools, autonomous agents, CRDT replication, and a visual studio.
The single source of canonical truth — immutable, verifiable knowledge for humans and AI.
Sessions, transactions, and version history for your knowledge graph. Operate without becoming the authority.
Theories and algorithms that capture (or approximate) some of the core elements of computational intelligence. Topics include: search; logical representations and reasoning, classical automated planning, representing and reasoning with uncertainty, learning, decision making (planning) under uncertainty.
Add a description, image, and links to the knowledge-representation-and-reasoning topic page so that developers can more easily learn about it.
To associate your repository with the knowledge-representation-and-reasoning topic, visit your repo's landing page and select "manage topics."