python based framework for imperative representation of knowledge
Search & KRR & Planning
Experimental symbolic reasoning infrastructure focused on transparent defeasible reasoning, replayable proof traces, and split evaluation of parsing, grounding, and reasoning failures.
哈尔滨工业大学 KRR（知识表示与推理，Knowledge Representation and Reasoning）课程实验代码及报告
High-Level Events with ASP
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."