Projects with CITATION.cff

Updated 4 months ago

Julog • Rank 9.7 • Science 54%

A Julia package for Prolog-style logic programming.

first-order-logic fol julia logic logic-programming prolog

Updated 4 months ago

@tuprolog/2p • Rank 15.5 • Science 44%

A Kotlin Multi-Platform ecosystem for symbolic AI

2p java javascript js jvm kotlin kotlin-multi-platform kotlin-multiplatform logic-programming prolog simbolic-ai symbolic tuprolog

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.（规则驱动式的综合性人工智能工具库，强调同时支持多模态机器学习和利用逻辑构建跨平台机器人的能力）

ai artificial-intelligence bot flow flowchart gpt logic logic-programming machine-learning ml python rasa rete rules whl

Updated 4 months ago

alpha • Science 75%

A lazy-grounding Answer-Set Programming system

answer-set-programming lazy-grounding logic-programming solver

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).

contract-knowledge contracts knowledge knowledge-base knowledge-graph license logic-programming reasoning-machine semantic-web streamlit-webapp zincbase

Updated 4 months ago

@ratiosolver/solver • Science 44%

oRatio is an Integrated Logic and Constraint based solver

automated-planning constraint-logic-programming constraint-programming logic-programming timeline-based-planning

Updated 4 months ago

nemo • Science 52%

A fast in-memory rule engine

datalog knowledge-graph language logic logic-programming rdf rule-engine

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Open Source Science

Julog • Rank 9.7 • Science 54%

@tuprolog/2p • Rank 15.5 • Science 44%

iamai • Rank 13.6 • Science 44%

alpha • Science 75%

contract-knowledge-base • Science 18%

@ratiosolver/solver • Science 44%

nemo • Science 52%