Updated 4 months ago

Julog • Rank 9.7 • Science 54%

A Julia package for Prolog-style logic programming.

Updated 4 months ago

iamai • Rank 13.6 • Science 44%

A rule-driven comprehensive AI toolkit emphasizing simultaneous support for multimodal machine learning and the ability to construct cross-platform robots using logic.(规则驱动式的综合性人工智能工具库,强调同时支持多模态机器学习和利用逻辑构建跨平台机器人的能力)

Updated 4 months ago

alpha • Science 75%

A lazy-grounding Answer-Set Programming system

Updated 4 months ago

contract-knowledge-base • Science 18%

A functional knowledge base of popular contracts utilized in GitHub. Built for a class project in Knowledge Reasoning and Representation (KRR).